[−][src]Trait bellman::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<Scalar>>(
self,
cs: &mut CS
) -> Result<(), SynthesisError>
[src]
self,
cs: &mut CS
) -> Result<(), SynthesisError>
Synthesize the circuit into a rank-1 quadratic constraint system