Module verifier
bulletproofs::r1cs
Verifier in the randomizing phase.
A ConstraintSystem implementation for use by the verifier.
ConstraintSystem