https://eprint.iacr.org/2022/1530.pdf

Essentially it allows us to turn a statement about “multiplications” into a statement about “additions”. Which reduces the algebraic degree of the statement