Trait ark_relations::r1cs::ConstraintSynthesizer

pub trait ConstraintSynthesizer<F: Field> {
    fn generate_constraints(self, cs: ConstraintSystemRef<F>) -> Result<()>;
}

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(self, cs: ConstraintSystemRef<F>) -> Result<()>

Drives generation of new constraints inside cs.

Implementors