Trait bellperson::Circuit
source · [−]pub trait Circuit<Scalar: PrimeField> {
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
fn synthesize<CS: ConstraintSystem<Scalar>>(
self,
cs: &mut CS
) -> Result<(), SynthesisError>
fn synthesize<CS: ConstraintSystem<Scalar>>(
self,
cs: &mut CS
) -> Result<(), SynthesisError>
Synthesize the circuit into a rank-1 quadratic constraint system.