Module prover
bulletproofs::r1cs
A ConstraintSystem implementation for use by the prover.
ConstraintSystem
Prover in the randomizing phase.