Skip to main content

QAP Construction

Definition

QAP construction, or Quadratic Arithmetic Program construction, is a mathematical method used to represent a computation in a form suitable for generating zero-knowledge proofs. It translates a given program or circuit into a set of polynomials, where the roots of these polynomials correspond to the correct execution of the computation. This transformation is a fundamental step in building efficient ZK-SNARKs. The process ensures that verifying the computation becomes a simple check of polynomial identities.