Struct CircuitProgram 

pub struct CircuitProgram<F: TowerField> { /* private fields */ }

A Circuit’s compiled program.

Trait Implementations

impl<F: TowerField> Air<F> for CircuitProgram<F>

fn name(&self) -> String

fn num_columns(&self) -> usize

fn boundary_constraints(&self) -> Vec<BoundaryConstraint<F>>

Returns the list of boundary constraints. Each constraint ties a specific trace cell to a public input value. By default, returns an empty list.

fn column_layout(&self) -> &[ColumnType]

Returns the physical layout of the columns in the trace.

fn virtual_column_layout(&self) -> &[ColumnType]

Returns the virtual layout of the columns (after unpacking). Defaults to the expander’s layout if present, else the physical layout.

fn permutation_checks(&self) -> Vec<(String, PermutationCheckSpec)>

Returns the permutation check specifications for this AIR table.

fn fixed_columns(&self) -> Vec<FixedColumn<F>>

Columns pinned to a fixed shape, bound by MLE equality at r_final. Each shape must be a pure function of the row index, not the witness.

fn virtual_expander(&self) -> Option<&VirtualExpander>

Returns the VirtualExpander for chiplets with physical to virtual column expansion. Non-reuse entries must tile column_layout() exactly; an uncovered column is bound by nothing.

fn constraint_ast(&self) -> ConstraintAst<F>

Returns the constraint system as an AST-DAG.

fn inline_chiplets(&self) -> Result<Vec<ChipletDef<F>>>

Chiplet defs used only for kernel dispatch.

fn inline_chiplet_kernels(&self) -> Vec<InlineKernelHint>

Each hint’s chiplet_idx indexes into inline_chiplets().

fn constraints(&self) -> Vec<Constraint<F>>

Flat expansion of constraint_ast().

fn parse_virtual_row(&self, bytes: &[u8], res: &mut Vec<Flat<F>>)

where F: TraceCompatibleField,

Parses a raw physical row (bytes) into the full Virtual Row (fields). Used by the Verifier to reconstruct the virtual trace from committed data.

impl<F: Clone + TowerField> Clone for CircuitProgram<F>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: TowerField> Program<F> for CircuitProgram<F>

fn num_public_inputs(&self) -> usize

Number of public inputs for this program.

fn chiplet_defs(&self) -> Result<Vec<ChipletDef<F>>>

Returns independent AIR chiplet definitions. Each chiplet gets its own trace, commitment, ZeroCheck, and evaluation argument. Connected to the main trace via GPA bus.