Struct RingSwitchPlan 

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

Maps the claimed virtual evals and the committed columns onto ring-switch binding units. eta^k runs once per unit (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>

Implementations

impl RingSwitchPlan

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

pub fn has_ring(&self) -> bool

pub fn total_claims(&self) -> usize

pub fn column_coeffs<F>( &self, eta: Flat<F>, ) -> (Vec<Flat<F>>, Vec<Flat<F>>, Flat<F>)

where F: HardwareField,

Per committed column: its base eta coefficients in the ring and whole masters, plus eta^U (the next-row shift multiplier).