Trait snarkos_models::gadgets::r1cs::ConstraintSynthesizer

pub trait ConstraintSynthesizer<F: Field> {
    fn generate_constraints<CS: ConstraintSystem<F>>(
        self, 
        cs: &mut CS
    ) -> Result<(), SynthesisError>;
}

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

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

Drives generation of new constraints inside CS.

Loading content...

Implementors

Loading content...