Module r1cs_to_qap

Reduce an R1CS instance to a Quadratic Arithmetic Program instance.

Structs

• LibsnarkReduction
  Computes the R1CS-to-QAP reduction defined in libsnark.

Traits

• R1CSToQAP
  Computes instance and witness reductions from R1CS to Quadratic Arithmetic Programs (QAPs).

Functions

• evaluate_constraint
  Computes the inner product of terms with assignment.