-Oct 18, 20239 minHow arithmetic circuits are used to verify zero knowledge proofsZk circuits form a set of constraints that if satisfied, prove a computation was carried out correctly. Zk circuits are sometimes called...
-Oct 13, 20238 minWhat are Pedersen Commitments and How They WorkPedersen commitments allow us to represent arbitrarily large vectors with a single elliptic curve point, while optionally hiding any...
Jeffrey ScholzAug 31, 20238 minGroth16 ExplainedThe groth16 algorithm enables a quadratic arithmetic program to be computed by a prover over elliptic curve points derived in a trusted...
-Aug 28, 20234 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...