Struct ControllerCols 

#[repr(C)]
pub struct ControllerCols<T> {
    pub s0: T,
    pub s1: T,
    pub s2: T,
    pub state: [T; 12],
    pub node_index: T,
    pub mrupdate_id: T,
    pub is_boundary: T,
    pub direction_bit: T,
}

Controller chiplet columns (19 columns), viewed from chiplets[0..19].

Logical overlay for controller rows (s_01 = 1). s0 distinguishes input rows (s0 = 1) from output/padding rows (s0 = 0). The physical layout mirrors PermutationCols, but column names reflect the controller/permutation split.

s_00 and s_01 (= ChipletCols::s_00 and ChipletCols::s_01) are consumed by the chiplet selector system and are NOT part of this overlay. Because the chiplet-level non-hasher selector is only ever a virtual expression (1 - s_00 - s_01) and is never a named column or struct field, there is no name collision with the controller-internal s0 defined here.

The state holds a Poseidon2 sponge in [RATE0, RATE1, CAPACITY] layout. Helper methods rate0(), rate1(), capacity(), and digest() provide sub-views into the state array.

Layout

| s0 s1 s2 | state[12]                                    | extra cols      |
|          | rate0[4] (= digest) | rate1[4] | capacity[4] |                 |
|          | h0..h3              | h4..h7   | h8..h11     | i  mr  bnd  dir |

Fields

s0: T

Hasher-internal sub-selector: s0 = 1 on controller input rows, 0 on output/padding.

s1: T

Operation sub-selector s1.

s2: T

Operation sub-selector s2.

state: [T; 12]

Poseidon2 state (12 field elements: 8 rate + 4 capacity).

node_index: T

Merkle tree node index.

mrupdate_id: T

Domain separator for sibling table across MRUPDATE ops.

is_boundary: T

1 on boundary rows (first input or last output of each permutation).

direction_bit: T

Direction bit for Merkle path verification.

Implementations

impl<T: Copy> ControllerCols<T>

pub fn rate(&self) -> [T; 8]

Returns the rate portion of the state (state[0..8]).

pub fn capacity(&self) -> [T; 4]

Returns the capacity portion of the state (state[8..12]).

pub fn digest(&self) -> [T; 4]

Returns the digest portion of the state (state[0..4]).

pub fn rate0(&self) -> [T; 4]

Returns rate0 (state[0..4]).

pub fn rate1(&self) -> [T; 4]

Returns rate1 (state[4..8]).

pub fn f_mu<E: PrimeCharacteristicRing>(&self) -> E

where T: Into<E>,

Merkle-update new-path flag: s0 * s1 * s2.

Active on controller input rows that insert the new Merkle path into the sibling table (request/remove side of the sibling bus).

pub fn f_mv<E: PrimeCharacteristicRing>(&self) -> E

where T: Into<E>,

Merkle-verify / old-path flag: s0 * s1 * (1 - s2).

Active on controller input rows that extract the old Merkle path from the sibling table (response/add side of the sibling bus).

Trait Implementations

impl<T> Borrow<ControllerCols<T>> for [T]

fn borrow(&self) -> &ControllerCols<T>

Immutably borrows from an owned value.

impl<T> BorrowMut<ControllerCols<T>> for [T]

fn borrow_mut(&mut self) -> &mut ControllerCols<T>

Mutably borrows from an owned value.

impl<T: Clone> Clone for ControllerCols<T>

fn clone(&self) -> ControllerCols<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for ControllerCols<T>

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

Formats the value using the given formatter.