Trait bellman::Circuit [] [src]

pub trait Circuit<E: Engine> {
    fn synthesize<CS: ConstraintSystem<E>>(
        cs: &mut CS
    ) -> Result<(), SynthesisError>; }

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

Synthesize the circuit into a rank-1 quadratic constraint system