Struct RingSwitchPlan 

pub struct RingSwitchPlan {
    pub num_units: usize,
    pub units: Vec<(bool, usize)>,
    pub phys_rs: Vec<ColumnType>,
    pub blind_cols: usize,
    pub h_cols: usize,
    /* private fields */
}

Maps the claimed virtual evals and the committed columns onto ring-switch binding units, in claim order; a bit-expanded physical column is one Ring unit consuming its bits claims.

Fields

num_units: usize

units: Vec<(bool, usize)>

phys_rs: Vec<ColumnType>

blind_cols: usize

h_cols: usize

Implementations

impl RingSwitchPlan

pub fn new( layout: &[ColumnType], entries: Option<&[ExpansionEntry]>, num_blind: usize, num_h: usize, ) -> Result<Self, Error>

pub fn has_ring(&self) -> bool

pub fn has_ring_blind(&self) -> bool

pub fn whole_blinds(&self) -> usize

pub fn total_claims(&self) -> usize

pub fn total_claims_at(&self, num_vars: usize, split_vars: usize) -> usize

pub fn opened_row_bytes(&self) -> usize

pub fn at_split(&self, num_vars: usize, split_vars: usize) -> SlotLayout

Committed columns in codeword slots at split_vars; past num_vars a slot packs 2^(split - num_vars) columns of one class, zero blocks closing a class’s last slot.

Trait Implementations

impl Clone for RingSwitchPlan

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.