Struct VirtualExpander 

pub struct VirtualExpander { /* private fields */ }

Declarative physical->virtual column expander for chiplets.

Built once per chiplet, generates virtual_layout(), parse_row(), and expand_variants() from the same packing specification.

Implementations

impl VirtualExpander

pub fn new() -> Self

pub fn build(self) -> Result<Self, Error>

Finalize the builder. Returns Err if any builder step recorded a validation error.

pub fn expand_bits(self, count: usize, storage: ColumnType) -> Self

N physical columns of storage type to N × bit_width virtual Bit columns.

pub fn pass_through(self, count: usize, storage: ColumnType) -> Self

N physical columns pass through 1:1 as virtual columns.

pub fn control_bits(self, count: usize) -> Self

N physical Bit columns pass through 1:1.

pub fn reuse_pass_through(self, phy_col_start: usize, count: usize) -> Self

Emit pass-through for columns already declared by a prior fresh entry. Does not advance the physical cursor.

pub fn num_virtual_columns(&self) -> usize

pub fn num_physical_columns(&self) -> usize

pub fn physical_row_bytes(&self) -> usize

pub fn virtual_layout(&self) -> &[ColumnType]

pub fn parse_row<F: TraceCompatibleField>( &self, bytes: &[u8], res: &mut Vec<Flat<F>>, ) -> Result<(), Error>

Verifier-side: parse committed physical row bytes into virtual field elements.

pub fn expand_variants<'a, F, T: Trace + ?Sized>( &self, trace: &'a T, phy_start_idx: usize, ) -> Result<Vec<PolyVariant<'a, F>>, Error>

where F: TraceCompatibleField + 'static,

Prover-side: expand physical ColumnTrace into virtual PolyVariants.

pub fn expansion_entries(&self) -> Vec<ExpansionEntry>

Wire-format serialization descriptor.

Trait Implementations

impl Clone for VirtualExpander

fn clone(&self) -> VirtualExpander

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VirtualExpander

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

Formats the value using the given formatter.

impl Default for VirtualExpander

fn default() -> Self

Returns the “default value” for a type.