Jeffrey ScholzAug 284 minEncrypted Evaluation of a Quadratic Arithmetic ProgramWe start with a quadratic arithmetic program which was derived from an Rank 1 Constraint System (R1CS) of the form Ls ⊙ Rs = Os where...
Jeffrey ScholzAug 263 minBuilding a Zero Knowledge Proof from an R1CSGiven a circuit encoded as a rank 1 constraint system, it is possible to create a zk-proof of having a witness, albeit not a succinct...
Jeffrey ScholzAug 2320 minQuadratic Arithmetic ProgramsA Quadratic Arithmetic Program (QAP) is a system of equations where the coefficients are monovariate polynomials and a valid solution...
