Struct bulletproofs::r1cs::verifier::RandomizingVerifier

pub struct RandomizingVerifier<'t> {
    verifier: Verifier<'t>,
}

Verifier 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

verifier: Verifier<'t>

Trait Implementations

impl<'t> ConstraintSystem for RandomizingVerifier<'t>

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> RandomizedConstraintSystem for RandomizingVerifier<'t>

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

Generates a challenge scalar.