Struct ReadOnlyTranscript 

pub struct ReadOnlyTranscript<'a, F, State> { /* private fields */ }

Read-only transcript that replays a recorded log.

Implementations

impl<'a, F, State> ReadOnlyTranscript<'a, F, State>

pub fn new(log: &'a TranscriptLog<F, State>, start_idx: usize) -> Self

Trait Implementations

impl<'a, F: Clone, State: Clone> Clone for ReadOnlyTranscript<'a, F, State>

fn clone(&self) -> ReadOnlyTranscript<'a, F, State>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, F: Debug, State: Debug> Debug for ReadOnlyTranscript<'a, F, State>

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

Formats the value using the given formatter.

impl<SC, F, const WIDTH: usize, const RATE: usize> FiatShamirTranscript<SC> for ReadOnlyTranscript<'_, F, [F; WIDTH]>

where F: PrimeField, SC: StarkProtocolConfig<F = F, Digest = [F; RATE]>,

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, State> TranscriptHistory for ReadOnlyTranscript<'_, F, State>

where F: Clone, State: Clone,

type F = F

type State = State

fn len(&self) -> usize

fn into_log(self) -> TranscriptLog<F, State>

fn is_empty(&self) -> bool