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