ark_relations::r1cs

Trait ConstraintSynthesizer

Source 
pub trait ConstraintSynthesizer<F: Field> {
    // Required method
    fn generate_constraints(self, cs: ConstraintSystemRef<F>) -> Result<()>;
}
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(self, cs: ConstraintSystemRef<F>) -> Result<()>

Drives generation of new constraints inside cs.

Implementors§