Struct SerializingStatefulSponge 

pub struct SerializingStatefulSponge<Inner> { /* private fields */ }

An adapter that serializes field elements to binary and delegates to an inner StatefulHasher.

This mirrors SerializingHasher’s conversions from fields to bytes/u32/u64 streams, but implements the StatefulHasher interface by delegating to an inner stateful hasher that operates on binary data.

Unlike ChainingHasher (which uses chaining mode H(state || input)), this adapter preserves proper sponge absorption semantics by directly calling the inner hasher’s absorb_into method.

Implementations

impl<Inner> SerializingStatefulSponge<Inner>

pub const fn new(inner: Inner) -> SerializingStatefulSponge<Inner>

Trait Implementations

impl<F, Inner, T> Alignable<F, T> for SerializingStatefulSponge<Inner>

where F: Field, Inner: Alignable<T, T>,

const ALIGNMENT: usize

The alignment width in units of Input.

impl<Inner> Clone for SerializingStatefulSponge<Inner>

where Inner: Clone,

fn clone(&self) -> SerializingStatefulSponge<Inner>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Inner> Debug for SerializingStatefulSponge<Inner>

where Inner: Debug,

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

Formats the value using the given formatter.

impl<F, Inner, const M: usize, const OUT: usize> StatefulHasher<[F; M], [[u32; M]; OUT]> for SerializingStatefulSponge<Inner>

where F: Field, Inner: StatefulHasher<[u32; M], [[u32; M]; OUT]>,

type State = <Inner as StatefulHasher<[u32; M], [[u32; M]; OUT]>>::State

The internal state type that evolves during absorption.

fn absorb_into( &self, state: &mut <SerializingStatefulSponge<Inner> as StatefulHasher<[F; M], [[u32; M]; OUT]>>::State, input: impl IntoIterator<Item = [F; M]>, )

Absorb elements into the state with overwrite-mode and zero-padding semantics if applicable.

fn squeeze( &self, state: &<SerializingStatefulSponge<Inner> as StatefulHasher<[F; M], [[u32; M]; OUT]>>::State, ) -> [[u32; M]; OUT]

Squeeze an output from the current state.

fn hash_rows<'a>(&self, rows: impl IntoIterator<Item = &'a [Item]>) -> Out

where Item: Copy + 'a, Self::State: Default,

One-shot hash of multiple row slices.

impl<F, Inner, const M: usize, const OUT: usize> StatefulHasher<[F; M], [[u64; M]; OUT]> for SerializingStatefulSponge<Inner>

where F: Field, Inner: StatefulHasher<[u64; M], [[u64; M]; OUT]>,

type State = <Inner as StatefulHasher<[u64; M], [[u64; M]; OUT]>>::State

The internal state type that evolves during absorption.

fn absorb_into( &self, state: &mut <SerializingStatefulSponge<Inner> as StatefulHasher<[F; M], [[u64; M]; OUT]>>::State, input: impl IntoIterator<Item = [F; M]>, )

Absorb elements into the state with overwrite-mode and zero-padding semantics if applicable.

fn squeeze( &self, state: &<SerializingStatefulSponge<Inner> as StatefulHasher<[F; M], [[u64; M]; OUT]>>::State, ) -> [[u64; M]; OUT]

Squeeze an output from the current state.

fn hash_rows<'a>(&self, rows: impl IntoIterator<Item = &'a [Item]>) -> Out

where Item: Copy + 'a, Self::State: Default,

One-shot hash of multiple row slices.

impl<F, Inner, const M: usize, const OUT: usize> StatefulHasher<[F; M], [[u8; M]; OUT]> for SerializingStatefulSponge<Inner>

where F: Field, Inner: StatefulHasher<[u8; M], [[u8; M]; OUT]>,

type State = <Inner as StatefulHasher<[u8; M], [[u8; M]; OUT]>>::State

The internal state type that evolves during absorption.

fn absorb_into( &self, state: &mut <SerializingStatefulSponge<Inner> as StatefulHasher<[F; M], [[u8; M]; OUT]>>::State, input: impl IntoIterator<Item = [F; M]>, )

Absorb elements into the state with overwrite-mode and zero-padding semantics if applicable.

fn squeeze( &self, state: &<SerializingStatefulSponge<Inner> as StatefulHasher<[F; M], [[u8; M]; OUT]>>::State, ) -> [[u8; M]; OUT]

Squeeze an output from the current state.

fn hash_rows<'a>(&self, rows: impl IntoIterator<Item = &'a [Item]>) -> Out

where Item: Copy + 'a, Self::State: Default,

One-shot hash of multiple row slices.

impl<F, Inner, const OUT: usize> StatefulHasher<F, [u32; OUT]> for SerializingStatefulSponge<Inner>

where F: Field, Inner: StatefulHasher<u32, [u32; OUT]>,

type State = <Inner as StatefulHasher<u32, [u32; OUT]>>::State

The internal state type that evolves during absorption.

fn absorb_into( &self, state: &mut <SerializingStatefulSponge<Inner> as StatefulHasher<F, [u32; OUT]>>::State, input: impl IntoIterator<Item = F>, )

Absorb elements into the state with overwrite-mode and zero-padding semantics if applicable.

fn squeeze( &self, state: &<SerializingStatefulSponge<Inner> as StatefulHasher<F, [u32; OUT]>>::State, ) -> [u32; OUT]

Squeeze an output from the current state.

fn hash_rows<'a>(&self, rows: impl IntoIterator<Item = &'a [Item]>) -> Out

where Item: Copy + 'a, Self::State: Default,

One-shot hash of multiple row slices.

impl<F, Inner, const OUT: usize> StatefulHasher<F, [u64; OUT]> for SerializingStatefulSponge<Inner>

where F: Field, Inner: StatefulHasher<u64, [u64; OUT]>,

type State = <Inner as StatefulHasher<u64, [u64; OUT]>>::State

The internal state type that evolves during absorption.

fn absorb_into( &self, state: &mut <SerializingStatefulSponge<Inner> as StatefulHasher<F, [u64; OUT]>>::State, input: impl IntoIterator<Item = F>, )

Absorb elements into the state with overwrite-mode and zero-padding semantics if applicable.

fn squeeze( &self, state: &<SerializingStatefulSponge<Inner> as StatefulHasher<F, [u64; OUT]>>::State, ) -> [u64; OUT]

Squeeze an output from the current state.

fn hash_rows<'a>(&self, rows: impl IntoIterator<Item = &'a [Item]>) -> Out

where Item: Copy + 'a, Self::State: Default,

One-shot hash of multiple row slices.

impl<F, Inner, const OUT: usize> StatefulHasher<F, [u8; OUT]> for SerializingStatefulSponge<Inner>

where F: Field, Inner: StatefulHasher<u8, [u8; OUT]>,

type State = <Inner as StatefulHasher<u8, [u8; OUT]>>::State

The internal state type that evolves during absorption.

fn absorb_into( &self, state: &mut <SerializingStatefulSponge<Inner> as StatefulHasher<F, [u8; OUT]>>::State, input: impl IntoIterator<Item = F>, )

Absorb elements into the state with overwrite-mode and zero-padding semantics if applicable.

fn squeeze( &self, state: &<SerializingStatefulSponge<Inner> as StatefulHasher<F, [u8; OUT]>>::State, ) -> [u8; OUT]

Squeeze an output from the current state.

fn hash_rows<'a>(&self, rows: impl IntoIterator<Item = &'a [Item]>) -> Out

where Item: Copy + 'a, Self::State: Default,

One-shot hash of multiple row slices.

impl<Inner> Copy for SerializingStatefulSponge<Inner>

where Inner: Copy,