Trait bellperson::Circuit

pub trait Circuit<E: Engine> {
    fn synthesize<CS: ConstraintSystem<E>>(
        self, 
        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

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

Synthesize the circuit into a rank-1 quadratic constraint system

Loading content...

Implementors

Loading content...