[][src]Trait bulletproofs::r1cs::constraint_system::RandomizedConstraintSystem

pub trait RandomizedConstraintSystem: ConstraintSystem {
    fn challenge_scalar(&mut self, label: &'static [u8]) -> Scalar;
}

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

Note: this trait also includes ConstraintSystem trait in order to allow composition of gadgets: e.g. a shuffle gadget can be used in both phases.

Required methods

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

Generates a challenge scalar.

Usage

This method is available only within the scope of a closure provided to specify_randomized_constraints, which implements the "randomization" phase of the protocol.

Arbitrary number of challenges can be generated with additional calls.

cs.specify_randomized_constraints(move |cs| {
    let z = cs.challenge_scalar(b"some challenge");
    // ...
})
Loading content...

Implementors

impl<'t> RandomizedConstraintSystem for RandomizingVerifier<'t>[src]

impl<'t, 'g> RandomizedConstraintSystem for RandomizingProver<'t, 'g>[src]

Loading content...