Struct ProverTranscript 

pub struct ProverTranscript<F, C, Ch> { /* private fields */ }

Prover channel that records transcript data and observes into the challenger.

Implementations

impl<F, C, Ch> ProverTranscript<F, C, Ch>

pub fn new(challenger: Ch) -> Self

Creates a new prover transcript backed by the provided challenger.

pub fn finalize(self) -> (Ch::Digest, TranscriptData<F, C>)

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

Finalize the transcript, producing a binding digest and returning the proof data.

Delegates to CanFinalizeDigest::finalize on the inner challenger, which unconditionally applies a final state transition before extracting the digest. The digest commits to the entire transcript interaction.

pub fn size_in_bytes(&self) -> usize

Returns the total byte size of the recorded transcript data.

Trait Implementations

impl<F, C, Ch, T> CanSample<T> for ProverTranscript<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<F, C, Ch> CanSampleBits<usize> for ProverTranscript<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<F, C, Ch> CanSampleUniformBits<F> for ProverTranscript<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<F, C, Ch> Channel for ProverTranscript<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<F: Clone, C: Clone, Ch: Clone> Clone for ProverTranscript<F, C, Ch>

fn clone(&self) -> ProverTranscript<F, C, Ch>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug, C: Debug, Ch: Debug> Debug for ProverTranscript<F, C, Ch>

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

Formats the value using the given formatter.

impl<F, C, Ch> ProverChannel for ProverTranscript<F, C, Ch>

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

fn send_field_slice(&mut self, values: &[Self::F])

fn send_commitment_slice(&mut self, values: &[Self::Commitment])

fn hint_field_slice(&mut self, values: &[Self::F])

fn hint_commitment_slice(&mut self, values: &[Self::Commitment])

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

fn send_field_element(&mut self, value: Self::F)

fn send_algebra_element<A>(&mut self, value: A)

where A: BasedVectorSpace<Self::F>,

fn send_algebra_slice<A>(&mut self, values: &[A])

where A: BasedVectorSpace<Self::F>,

fn send_commitment(&mut self, value: Self::Commitment)

fn hint_field_element(&mut self, value: Self::F)

fn hint_commitment(&mut self, value: Self::Commitment)