Struct CircuitAir 

pub struct CircuitAir<F>
where
    F: Field,
{ /* private fields */ }

AIR implementation for an arithmetic circuit

This converts a circuit into an AIR that can be used with STARK proving. The trace represents all wire values, with one row containing all wire values.

Implementations

impl<F> CircuitAir<F>

where F: Field,

pub fn new(circuit: ArithmeticCircuit<F>) -> CircuitAir<F>

Create a new CircuitAir from an ArithmeticCircuit

pub fn circuit(&self) -> &ArithmeticCircuit<F>

Get a reference to the underlying circuit

pub fn generate_trace( &self, witness: &[F], public: &[F], ) -> Result<DenseMatrix<F>, Error>

Generate an execution trace from witness values

The witness values should include all wire values in the circuit. Wire indices 0..witness_size are witness wires, indices witness_size..witness_size+public_input_size are public inputs, and remaining indices are intermediate wires.

Arguments

• witness - Private witness values (witness wires)
• public - Public input values

Returns

A RowMajorMatrix containing the trace, or an error if validation fails

Trait Implementations

impl<F, AB> Air<AB> for CircuitAir<F>

where F: Field, AB: AirBuilder<F = F>,

fn eval(&self, builder: &mut AB)

impl<F> BaseAir<F> for CircuitAir<F>

where F: Field,

fn width(&self) -> usize

The number of columns (a.k.a. registers) in this AIR.

fn preprocessed_trace(&self) -> Option<DenseMatrix<F>>

Return an optional preprocessed trace matrix to be included in the prover’s trace.

fn main_next_row_columns(&self) -> Vec<usize>

Which main trace columns have their next row accessed by this AIR’s constraints.

fn preprocessed_next_row_columns(&self) -> Vec<usize>

Which preprocessed trace columns have their next row accessed.

fn num_constraints(&self) -> Option<usize>

Optional hint for the number of constraints, letting the prover skip symbolic evaluation. Must exactly match the actual count.

fn max_constraint_degree(&self) -> Option<usize>

Optional upper bound on constraint degree multiple, letting both prover and verifier skip symbolic degree inference.

fn num_public_values(&self) -> usize

Return the number of expected public values.