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

Definition of the constraint system trait.



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


An extension to the constraint system trait that permits randomized constraints. Gadgets that do not use randomization should use trait bound CS: ConstraintSystem, while gadgets that need randomization should use trait bound CS: RandomizedConstraintSystem. Gadgets generally should not use this trait as a bound on the CS argument: it should be used by the higher-order protocol that composes gadgets together.


Represents a constraint system in the second phase: when the challenges can be sampled to create randomized constraints.