Trait bellman::Circuit

source · 
pub trait Circuit<Scalar: PrimeField> {
    // Required method
    fn synthesize<CS: ConstraintSystem<Scalar>>(
        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§

source

fn synthesize<CS: ConstraintSystem<Scalar>>( self, cs: &mut CS ) -> Result<(), SynthesisError>

Synthesize the circuit into a rank-1 quadratic constraint system

Implementors§