Struct DuplexSpongeValidator 

pub struct DuplexSpongeValidator<F, P, const WIDTH: usize, const RATE: usize> {
    pub inner: DuplexSpongeRecorder<F, P, WIDTH, RATE>,
    pub idx: usize,
    /* private fields */
}

DuplexSpongeRecorder that checks the live transcript logs against a provided transcript log. For testing usage.

Fields

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

idx: usize

Implementations

impl<F: Default + Copy, P, const WIDTH: usize, const RATE: usize> DuplexSpongeValidator<F, P, WIDTH, RATE>

pub fn new(perm: P, log: TranscriptLog<F, [F; WIDTH]>) -> Self

Trait Implementations

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

fn clone(&self) -> DuplexSpongeValidator<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 DuplexSpongeValidator<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, P, const WIDTH: usize, const RATE: usize> TranscriptHistory for DuplexSpongeValidator<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