Struct Poseidon2State 

pub struct Poseidon2State(/* private fields */);

Implementations

impl Poseidon2State

pub fn permute(&mut self)

pub fn as_mut_ptr(&mut self) -> *mut u32

pub fn absorb_field_block_unchecked(&mut self, block: &[u32; 8])

Absorb a RATE size block of field elements

Safety

This function assumes that the elements are within the SP1Field range. Breaking this constraint will lead to prover failure (the proof will not verify).

pub fn absorb_byte_block(&mut self, block: &[u8; 24])

Absorb a single byte block into the sponge state (raw, no padding).

Encodes BYTE_BLOCK_SIZE (24) bytes into RATE (8) field elements using a little-endian 3-bytes-per-element packing (max 24 bits per element), then overwrites the rate portion of the state and permutes.

No padding is applied. If you are hashing a variable-length message, use Poseidon2ByteHash::hash which handles padding, or apply your own padding scheme before calling this method.

pub fn output(self) -> [u32; 8]

Returns the rate portion of the current sponge state as the hash output.

Warning

This method does not apply any finalization padding. It returns the raw state after the last permutation. If you are hashing variable-length input, you must ensure that a padding-safe protocol was followed (e.g., by prefixing the message length). Consider using Poseidon2ByteHash::hash which handles this automatically.

Trait Implementations

impl Default for Poseidon2State

fn default() -> Self

Returns the “default value” for a type.