Struct DuplexSponge 

pub struct DuplexSponge<F, P, const WIDTH: usize, const RATE: usize> { /* private fields */ }

Permutation-based duplex sponge in overwrite mode.

“Duplex” refers to being able to alternately absorb (observe) and squeeze (sample), rather than a single absorb phase followed by a single squeeze phase.

This variant operates in overwrite mode, meaning new inputs overwrite state elements directly (instead of, e.g., being added in).

Implementations

impl<F, P, const WIDTH: usize, const RATE: usize> DuplexSponge<F, P, WIDTH, RATE>

pub fn state(&self) -> &[F; WIDTH]

pub fn absorb_idx(&self) -> usize

pub fn sample_idx(&self) -> usize

impl<F, P, const WIDTH: usize, const RATE: usize> DuplexSponge<F, P, WIDTH, RATE>

where F: Copy, P: CryptographicPermutation<[F; WIDTH]>,

pub fn absorb(&mut self, value: F)

Absorb a single value (overwrite mode).

pub fn squeeze(&mut self) -> F

Squeeze a single value. Permutes if there are pending absorbs.

Trait Implementations

impl<F, P, const WIDTH: usize, const RATE: usize> CanObserve<F> for DuplexSponge<F, P, WIDTH, RATE>

where F: Copy, P: CryptographicPermutation<[F; WIDTH]>,

fn observe(&mut self, value: F)

Absorb a single value into the transcript.

fn observe_slice(&mut self, values: &[T])

where T: Clone,

Absorb a slice of values into the transcript.

impl<F, P, const WIDTH: usize, const RATE: usize, const N: usize> CanObserve<[F; N]> for DuplexSponge<F, P, WIDTH, RATE>

where F: Copy, P: CryptographicPermutation<[F; WIDTH]>,

fn observe(&mut self, values: [F; N])

Absorb a single value into the transcript.

fn observe_slice(&mut self, values: &[T])

where T: Clone,

Absorb a slice of values into the transcript.

impl<F: Clone, P: Clone, const WIDTH: usize, const RATE: usize> Clone for DuplexSponge<F, P, WIDTH, RATE>

fn clone(&self) -> DuplexSponge<F, P, WIDTH, RATE>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug, P: Debug, const WIDTH: usize, const RATE: usize> Debug for DuplexSponge<F, P, WIDTH, RATE>

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

Formats the value using the given formatter.

impl<SC, F, P, const WIDTH: usize, const RATE: usize> FiatShamirTranscript<SC> for DuplexSponge<F, P, WIDTH, RATE>

where F: PrimeField, SC: StarkProtocolConfig<Digest = [F; RATE], F = F>, P: CryptographicPermutation<[F; WIDTH]> + Send + Sync,

fn observe(&mut self, value: F)

fn sample(&mut self) -> F

fn observe_commit(&mut self, digest: [F; RATE])

Implementations should pass through to Self::observe, but no default implementation is provided since an explicit conversion from Digest to array of F is required.

fn observe_ext(&mut self, value: SC::EF)

fn sample_ext(&mut self) -> SC::EF

fn sample_bits(&mut self, bits: usize) -> u64

Samples and returns an integer in the range [0, 2^bits).

fn check_witness(&mut self, bits: usize, witness: SC::F) -> bool

Checks a proof-of-work witness: observes witness into the transcript and accepts iff the next Self::sample_bits is zero (probability ≈ 2^{-bits} for a random witness, so Self::grind tries ≈ 2^bits witnesses to find one).

fn grind(&mut self, bits: usize) -> SC::F

Finds a proof-of-work witness w such that Self::check_witness(bits, w) holds, by brute force over the base field.

impl<F: Default + Copy, P, const WIDTH: usize, const RATE: usize> From<P> for DuplexSponge<F, P, WIDTH, RATE>

fn from(perm: P) -> Self

Converts to this type from the input type.