Struct ArithmeticCircuit 

pub struct ArithmeticCircuit<F>
where
    F: Field,
{
    pub constraints: Vec<Constraint<F>>,
    pub witness_size: usize,
    pub public_input_size: usize,
}

An arithmetic circuit containing constraints and metadata

Fields

constraints: Vec<Constraint<F>>

The constraints in the circuit

witness_size: usize

The number of witness wires (excluding public inputs)

public_input_size: usize

The number of public input wires

Implementations

impl<F> ArithmeticCircuit<F>

where F: Field,

pub fn new( witness_size: usize, public_input_size: usize, ) -> ArithmeticCircuit<F>

Create a new empty circuit

pub fn total_wires(&self) -> usize

Get the total number of wires (witness + public inputs)

pub fn add_constraint(&mut self, constraint: Constraint<F>)

Add a constraint to the circuit

pub fn validate(&self, width: usize) -> Result<(), Error>

Validate the circuit against a concrete trace width.

Rejects circuits whose constraints reference a wire index >= width. Such indices were previously silently skipped during trace generation and constraint evaluation, which dropped the constraint entirely and broke soundness (a prover could omit any constraint by giving its output wire an out-of-range index). Returning an error makes the failure explicit instead.

Trait Implementations

impl<F> Clone for ArithmeticCircuit<F>

where F: Clone + Field,

fn clone(&self) -> ArithmeticCircuit<F>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F> Debug for ArithmeticCircuit<F>

where F: Debug + Field,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.