Struct HasherMsg 

pub struct HasherMsg<E> {
    pub kind: BusId,
    pub addr: E,
    pub node_index: E,
    pub payload: HasherPayload<E>,
}

Hasher chiplet message: a BusId tag plus a variable-width payload.

All hasher messages encode as bus_prefix[kind] + [addr, node_index, ...payload]; only the payload width differs between variants.

Fields

kind: BusId

addr: E

node_index: E

payload: HasherPayload<E>

Implementations

impl<E: PrimeCharacteristicRing + Clone> HasherMsg<E>

pub fn linear_hash_init(addr: E, state: [E; 12]) -> Self

Linear hash / control block init: full 12-lane sponge state.

Used by: HPERM input, LOGPRECOMPILE input.

pub fn control_block(addr: E, rate: &[E; 8], opcode: u8) -> Self

Control block init: 8 rate lanes + opcode at capacity[1], zeros elsewhere.

Used by: JOIN, SPLIT, LOOP, SPAN, CALL, SYSCALL, DYN, DYNCALL.

pub fn return_state(addr: E, state: [E; 12]) -> Self

Return full sponge state after permutation.

Used by: HPERM output, LOGPRECOMPILE output.

pub fn absorption(addr: E, rate: [E; 8]) -> Self

Absorb new rate into running hash.

Used by: RESPAN.

pub fn return_hash(addr: E, word: [E; 4]) -> Self

Return digest only (node_index = 0).

Used by: END, MPVERIFY output, MRUPDATE output.

pub fn merkle_verify_init(addr: E, node_index: E, word: [E; 4]) -> Self

Start Merkle path verification (with explicit node_index).

Used by: MPVERIFY input.

pub fn merkle_old_init(addr: E, node_index: E, word: [E; 4]) -> Self

Start Merkle update, old path (with explicit node_index).

Used by: MRUPDATE old input.

pub fn merkle_new_init(addr: E, node_index: E, word: [E; 4]) -> Self

Start Merkle update, new path (with explicit node_index).

Used by: MRUPDATE new input.

Trait Implementations

impl<E: Clone> Clone for HasherMsg<E>

fn clone(&self) -> HasherMsg<E>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<E: Debug> Debug for HasherMsg<E>

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

Formats the value using the given formatter.

impl<E, EF> LookupMessage<E, EF> for HasherMsg<E>

where E: PrimeCharacteristicRing + Clone, EF: PrimeCharacteristicRing + Clone + Algebra<E>,

fn encode(&self, challenges: &Challenges<EF>) -> EF

Encode this message as a LogUp denominator. See module docs for the encoding contract.