[−][src]Trait bellperson::Circuit
Computations are expressed in terms of arithmetic circuits, in particular
rank-1 quadratic constraint systems. The Circuit
trait represents a
circuit that can be synthesized. The synthesize
method is called during
CRS generation and during proving.
Required methods
fn synthesize<CS: ConstraintSystem<E>>(
self,
cs: &mut CS
) -> Result<(), SynthesisError>
self,
cs: &mut CS
) -> Result<(), SynthesisError>
Synthesize the circuit into a rank-1 quadratic constraint system