Struct PermutationCols 

pub struct PermutationCols<T> {
    pub witnesses: [T; 3],
    pub state: [T; 12],
    pub multiplicity: T,
    /* private fields */
}

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

Logical overlay for permutation segment rows (s_00 = 1). The 3 witness columns w0..w2 share the same physical columns as the controller’s s0/s1/s2 selectors, and multiplicity shares the same physical column as the controller’s node_index.

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.

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

| witnesses[3] | state[12]                                    | extra cols      |
|              | rate0[4] (= digest) | rate1[4] | capacity[4] |                 |
| w0, w1, w2   | h0..h3              | h4..h7   | h8..h11     | m  --  --  --   |

Fields

witnesses: [T; 3]

S-box witness columns (same physical columns as hasher selectors).

state: [T; 12]

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

multiplicity: T

Request multiplicity (same physical column as node_index).

Implementations

impl<T: Copy> PermutationCols<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 unused_padding(&self) -> [T; 3]

Returns the 3 padding columns (mrupdate_id, is_boundary, direction_bit) that must be zero on permutation rows.

pub fn set_unused_padding(&mut self, value: T)

Sets the 3 padding columns (mrupdate_id, is_boundary, direction_bit) to the given value.

Trait Implementations

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

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

Immutably borrows from an owned value.

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

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

Mutably borrows from an owned value.

impl<T: Clone> Clone for PermutationCols<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for PermutationCols<T>

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

Formats the value using the given formatter.