Struct UairSignature 

pub struct UairSignature { /* private fields */ }

The signature of a UAIR.

Public columns precede witness columns within each type group. The flattened trace ordering is: [pub_bin, wit_bin, pub_arb, wit_arb, pub_int, wit_int].

Implementations

impl UairSignature

pub fn new( total_cols: TotalColumnLayout, public_cols: PublicColumnLayout, shifts: Vec<ShiftSpec>, lookup_specs: Vec<LookupColumnSpec>, ) -> Self

Create a new signature, sorting shifts by source_col.

pub fn with_bit_op_specs( self, cell_width: usize, bit_op_specs: Vec<BitOpSpec>, ) -> Self

Attach bit-op virtual column specs to the signature.

Each spec must reference a binary_poly source column; bit-ops are only defined on bit-polynomial cells. cell_width is the shared coefficient width W of those cells, and every bit-op count must satisfy 0 < count < W.

Down-row ordering invariant

Bit-op virtuals slot into the binary_poly slice of the down TraceRow, after the shifted-binary entries and before any non-binary entries. The full ordering of the down row is:

[shifted_binary_poly..., bit_op_binary_poly..., shifted_arbitrary_poly..., shifted_int...]

This keeps down consistent with ColumnLayout’s binary_poly || arbitrary_poly || int partitioning. Materialization code in CPR / mp_eval must respect this order; appending bit-op evals at the tail of down_evals would silently misalign constraint indices on mixed-type shift UAIRs.

Insertion order of bit_op_specs determines the position of each bit-op virtual within its sub-slice.

pub fn lookup_specs(&self) -> &[LookupColumnSpec]

pub fn total_cols(&self) -> &TotalColumnLayout

pub fn public_cols(&self) -> &PublicColumnLayout

pub fn witness_cols(&self) -> &WitnessColumnLayout

Witness column counts (total minus public) per type.

pub fn shifts(&self) -> &[ShiftSpec]

pub fn bit_op_specs(&self) -> &[BitOpSpec]

Bit-op virtual column specs, in insertion order. Each spec contributes one binary_poly entry to the down row, appended after the shifted entries.

pub fn down_cols(&self) -> &VirtualColumnLayout

Column-type layout of the down row (shifted virtuals + bit-op virtuals).

pub fn dummy_rows<T: Clone>(&self, val: T) -> (Vec<T>, Vec<T>)

Build correctly-sized dummy up and down TraceRows for static analysis (constraint counting, degree counting, scalar/ideal collection).

Trait Implementations

impl Clone for UairSignature

fn clone(&self) -> UairSignature

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UairSignature

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

Formats the value using the given formatter.