Struct ChipletDef 

pub struct ChipletDef<F: TowerField> {
    pub permutation_checks: Vec<(String, PermutationCheckSpec)>,
    /* private fields */
}

Pre-computed chiplet AIR definition.

Fields

permutation_checks: Vec<(String, PermutationCheckSpec)>

Implementations

impl<F: TowerField> ChipletDef<F>

pub fn from_air<P: Air<F> + Send + 'static>(p: &P) -> Result<Self>

where F: TraceCompatibleField + PackableField + HardwareField + 'static, <F as PackableField>::Packed: Copy + Send + Sync,

Snapshot a chiplet’s full AIR definition. Call once at setup; the source chiplet can be dropped after.

pub fn prefix_bus_ids(&mut self, prefix: &str, exempt: &[String])

Prefixes internal bus_ids with a namespace. Bus_ids listed in exempt are left unchanged.

pub fn expand_variants<'a>( &self, trace: &'a ColumnTrace, ) -> Result<Vec<PolyVariant<'a, F>>>

where F: TraceCompatibleField + 'static,

Expand physical ColumnTrace into virtual PolyVariants. Uses embedded expander if present, else 1:1 mapping.

pub fn from_wire( name: String, num_columns: usize, constraint_ast: ConstraintAst<F>, column_layout: Vec<ColumnType>, virtual_column_layout: Vec<ColumnType>, boundary_constraints: Vec<BoundaryConstraint<F>>, lagrange_pins: Vec<LagrangePin>, expander: Option<VirtualExpander>, permutation_checks: Vec<(String, PermutationCheckSpec)>, ) -> Result<Self>

Reconstruct from deserialized wire data. Validates every embedded PermutationCheckSpec.

Trait Implementations

impl<F: TowerField> Air<F> for ChipletDef<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 lagrange_pinned_columns(&self) -> Vec<LagrangePin>

Columns whose MLE evaluation must equal a fixed Lagrange kernel at the verifier’s r_final.

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

Returns the VirtualExpander for chiplets with physical to virtual column expansion.

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.

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

Returns the constraint system as an AST-DAG.

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

Flat expansion of constraint_ast().

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().

impl<F: TowerField> Clone for ChipletDef<F>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.