Trait snarkvm_algorithms::r1cs::ConstraintSynthesizer

source · 
pub trait ConstraintSynthesizer<F: Field>: Sync {
    // Required method
    fn generate_constraints<CS: ConstraintSystem<F>>(
        &self,
        cs: &mut CS
    ) -> Result<(), SynthesisError>;
}
Expand description

Computations are expressed in terms of rank-1 constraint systems (R1CS). The generate_constraints method is called to generate constraints for both CRS generation and for proving.

Required Methods§

source

fn generate_constraints<CS: ConstraintSystem<F>>( &self, cs: &mut CS ) -> Result<(), SynthesisError>

Drives generation of new constraints inside CS.

Implementors§