Trait snarkvm_wasm::ConstraintSynthesizer

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

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>(&self, cs: &mut CS) -> Result<(), SynthesisError> where
    CS: ConstraintSystem<F>, 

Drives generation of new constraints inside CS.

Implementors