[][src]Module bulletproofs::r1cs::constraint_system

Definition of the constraint system trait.

Traits

ConstraintSystem

The interface for a constraint system, abstracting over the prover and verifier's roles.