Trait snarkvm_r1cs::ConstraintSynthesizer [−][src]
pub trait ConstraintSynthesizer<F: Field> { 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
fn generate_constraints<CS: ConstraintSystem<F>>(
&self,
cs: &mut CS
) -> Result<(), SynthesisError>
fn generate_constraints<CS: ConstraintSystem<F>>(
&self,
cs: &mut CS
) -> Result<(), SynthesisError>
Drives generation of new constraints inside CS
.