Trait bellperson::Circuit

source · 
pub trait Circuit<Scalar>
where
    Scalar: PrimeField,
{
    // Required method
    fn synthesize<CS>(self, cs: &mut CS) -> Result<(), SynthesisError>
       where CS: ConstraintSystem<Scalar>;
}
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>(self, cs: &mut CS) -> Result<(), SynthesisError>
where CS: ConstraintSystem<Scalar>,

Synthesize the circuit into a rank-1 quadratic constraint system.

Object Safety§

This trait is not object safe.

Implementors§