Module bellpepper::util_cs::witness_cs

source ·
Expand description

Support for efficiently generating R1CS witness using bellperson.

Structs§

  • WitnessCS
    A ConstraintSystem which calculates witness values for a concrete instance of an R1CS circuit.

Traits§