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 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 down_cols(&self) -> &VirtualColumnLayout

Column-type layout of the shifted (down) row.

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.