Struct VerifierTranscript 

pub struct VerifierTranscript<'a, F, C, Ch> { /* private fields */ }

Verifier channel that reads transcript data and observes into the challenger.

Implementations

impl<'a, F, C, Ch> VerifierTranscript<'a, F, C, Ch>

pub fn new(challenger: Ch, fields: &'a [F], commitments: &'a [C]) -> Self

Creates a new verifier transcript backed by the provided challenger.

pub fn from_data(challenger: Ch, data: &'a TranscriptData<F, C>) -> Self

Creates a verifier transcript backed by a TranscriptData container.

pub fn finalize(self) -> Result<Ch::Digest, TranscriptError>

where F: Field, C: Clone, Ch: TranscriptChallenger<F, C>,

Finalize the transcript, checking emptiness and producing a binding digest.

Returns TranscriptError::TrailingData if any unread fields or commitments remain. On success, delegates to CanFinalizeDigest::finalize on the inner challenger — the digest must match the prover’s digest for the proof to be valid.

pub fn size_in_bytes(&self) -> usize

Returns the total byte size of the remaining unconsumed transcript data.

Trait Implementations

impl<'a, F, C, Ch, T> CanSample<T> for VerifierTranscript<'a, F, C, Ch>

where Ch: CanSample<T>,

fn sample(&mut self) -> T

Sample a single challenge value from the transcript.

fn sample_array<const N: usize>(&mut self) -> [T; N]

Sample an array of N challenge values from the transcript.

fn sample_vec(&mut self, n: usize) -> Vec<T>

Sample a Vec of n challenge values from the transcript.

impl<'a, F, C, Ch> CanSampleBits<usize> for VerifierTranscript<'a, F, C, Ch>

where Ch: CanSampleBits<usize>,

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

Sample a random bits-bit integer from the transcript.

impl<'a, F, C, Ch> CanSampleUniformBits<F> for VerifierTranscript<'a, F, C, Ch>

where Ch: CanSampleUniformBits<F>,

fn sample_uniform_bits<const RESAMPLE: bool>( &mut self, bits: usize, ) -> Result<usize, ResamplingError>

Sample a random bits-bit integer from the transcript with a guarantee of uniformly sampled bits.

impl<'a, F, C, Ch> Channel for VerifierTranscript<'a, F, C, Ch>

where F: Field, C: Clone, Ch: TranscriptChallenger<F, C>,

type F = F

type Commitment = C

type Challenger = Ch

fn sample(&mut self) -> F

Sample a random field element from the challenger.

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

Sample a random bits-bit integer from the challenger.

fn sample_algebra_element<A: BasedVectorSpace<Self::F>>(&mut self) -> A

Sample a random algebra element (e.g. extension field) from the challenger.

impl<'a, F: Clone, C: Clone, Ch: Clone> Clone for VerifierTranscript<'a, F, C, Ch>

fn clone(&self) -> VerifierTranscript<'a, F, C, Ch>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, F: Debug, C: Debug, Ch: Debug> Debug for VerifierTranscript<'a, F, C, Ch>

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

Formats the value using the given formatter.

impl<'a, F, C, Ch> VerifierChannel for VerifierTranscript<'a, F, C, Ch>

where F: Field, C: Clone, Ch: TranscriptChallenger<F, C>,

fn receive_field_slice( &mut self, count: usize, ) -> Result<&'a [Self::F], TranscriptError>

fn receive_commitment_slice( &mut self, count: usize, ) -> Result<&'a [Self::Commitment], TranscriptError>

fn receive_hint_field_slice( &mut self, count: usize, ) -> Result<&'a [Self::F], TranscriptError>

fn receive_hint_commitment_slice( &mut self, count: usize, ) -> Result<&'a [Self::Commitment], TranscriptError>

fn grind(&mut self, bits: usize) -> Result<Self::F, TranscriptError>

fn is_empty(&self) -> bool

fn receive_field(&mut self) -> Result<&Self::F, TranscriptError>

fn receive_algebra_element<A>(&mut self) -> Result<A, TranscriptError>

where Self::F: Field, A: BasedVectorSpace<Self::F>,

fn receive_algebra_slice<A>( &mut self, count: usize, ) -> Result<Vec<A>, TranscriptError>

where Self::F: Field, A: BasedVectorSpace<Self::F>,

fn receive_commitment(&mut self) -> Result<&Self::Commitment, TranscriptError>

fn receive_hint_field(&mut self) -> Result<&Self::F, TranscriptError>

fn receive_hint_field_array<const N: usize>( &mut self, ) -> Result<[Self::F; N], TranscriptError>

where Self::F: Copy,

Read exactly N hint field elements as a fixed-size array.

fn receive_hint_commitment( &mut self, ) -> Result<&Self::Commitment, TranscriptError>