Module ark_groth16::r1cs_to_qap

source ·
Expand description

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.