Computations to Polynomials

From Computations to Polynomials
Quadratic Arithmetic Program (QAP). QAPs have become the basis for modern zk-SNARK constructions, in particular those used by SmashCash.
Suppose Jennifer wants to prove to Ted she knows c 1 , c 2 , c 3 ∈ F p such that ( c 1 ⋅ c 2 ) ⋅ ( c 1 + c 3 ) = 7 . The first step is to present the expression computed from c 1 , c 2 , c 3 as an arithmetic circuit.