Trait bellperson::Circuit [−][src]
pub trait Circuit<E: ScalarEngine> { fn synthesize<CS: ConstraintSystem<E>>(
self,
cs: &mut CS
) -> Result<(), SynthesisError>; }
Expand description
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>
fn synthesize<CS: ConstraintSystem<E>>(
self,
cs: &mut CS
) -> Result<(), SynthesisError>
Synthesize the circuit into a rank-1 quadratic constraint system.