How to Build a Quadratic Arithmetic Program
In a previous post I explained how one can express a provable function for a ZK-SNARK in a Rank-1 Constraint System. These constrains have to be transformed into a Quadratic Arithmetic Program before being usable to produce the Zero-Knowledge Proof. This post is the second post in a mini-series about Quadratic Arithmetic Programs, and explains …
