Struct bulletproofs::r1cs::prover::RandomizingProver

pub struct RandomizingProver<'t, 'g> {
    prover: Prover<'t, 'g>,
}

Prover in the randomizing phase.

Note: this type is exported because it is used to specify the associated type in the public impl of a trait ConstraintSystem, which boils down to allowing compiler to monomorphize the closures for the proving and verifying code. However, this type cannot be instantiated by the user and therefore can only be used within the callback provided to specify_randomized_constraints.

Fields

prover: Prover<'t, 'g>

Trait Implementations

impl<'t, 'g> ConstraintSystem for RandomizingProver<'t, 'g>

fn transcript(&mut self) -> &mut Transcript

Leases the proof transcript to the user, so they can add extra data to which the proof must be bound, but which is not available before creation of the constraint system.

fn multiply(
    &mut self,
    left: LinearCombination,
    right: LinearCombination
) -> (Variable, Variable, Variable)

Allocate and constrain multiplication variables.

fn allocate(
    &mut self,
    assignment: Option<Scalar>
) -> Result<Variable, R1CSError>

Allocate a single variable.

fn allocate_multiplier(
    &mut self,
    input_assignments: Option<(Scalar, Scalar)>
) -> Result<(Variable, Variable, Variable), R1CSError>

Allocate variables left, right, and out with the implicit constraint that text left * right = out

fn multipliers_len(&self) -> usize

Counts the amount of allocated multipliers.

fn constrain(&mut self, lc: LinearCombination)

Enforce the explicit constraint that text lc = 0

impl<'t, 'g> RandomizedConstraintSystem for RandomizingProver<'t, 'g>

fn challenge_scalar(&mut self, label: &'static [u8]) -> Scalar

Generates a challenge scalar.