Struct DuplexSpongeRecorder 

pub struct DuplexSpongeRecorder<F, P, const WIDTH: usize, const RATE: usize> {
    pub inner: DuplexSponge<F, P, WIDTH, RATE>,
    pub log: TranscriptLog<F, [F; WIDTH]>,
}

Fields

inner: DuplexSponge<F, P, WIDTH, RATE>

log: TranscriptLog<F, [F; WIDTH]>

Trait Implementations

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

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

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

fn observe(&mut self, x: 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 DuplexSpongeRecorder<F, P, WIDTH, RATE>

fn from(perm: P) -> Self

Converts to this type from the input type.

impl<F, P, const WIDTH: usize, const RATE: usize> TranscriptHistory for DuplexSpongeRecorder<F, P, WIDTH, RATE>

type F = F

type State = [F; WIDTH]

fn len(&self) -> usize

fn into_log(self) -> TranscriptLog<F, [F; WIDTH]>

fn is_empty(&self) -> bool