Struct ProverTranscript

pub struct ProverTranscript<Challenger> { /* private fields */ }

Prover transcript over some Challenger that writes to the internal tape and CanSample<F: TowerField>

A Transcript is an abstraction over Fiat-Shamir so the prover and verifier can send and receive data.

Implementations

impl<Challenger_: Default + Challenger> ProverTranscript<Challenger_>

pub fn new() -> Self

Creates a new prover transcript.

By default debug assertions are set to the feature flag debug_assertions. You may also change the debug flag with Self::set_debug.

pub fn into_verifier(self) -> VerifierTranscript<Challenger_>

impl<Challenger_: Challenger> ProverTranscript<Challenger_>

pub fn finalize(self) -> Vec<u8>

pub fn set_debug(&mut self, debug: bool)

Sets the debug flag.

This flag is used to enable debug assertions in the TranscriptReader and TranscriptWriter methods.

pub fn observe<'a, 'b>(&'a mut self) -> TranscriptWriter<'b, impl BufMut + 'b>

where 'a: 'b,

Returns a writeable buffer that only observes the data written, without writing it to the proof tape.

This method should be used to observe the input statement.

pub fn decommitment(&mut self) -> TranscriptWriter<'_, impl BufMut>

Returns a writeable buffer that only writes the data to the proof tape, without observing it.

This method should only be used to write openings of commitments that were already written to the transcript as an observed message. For example, in the FRI protocol, the prover sends a Merkle tree root as a commitment, and later sends leaf openings. The leaf openings should be written using Self::decommitment because they are verified with respect to the previously sent Merkle root.

pub fn message<'a, 'b>(&'a mut self) -> TranscriptWriter<'b, impl BufMut>

where 'a: 'b,

Returns a writeable buffer that observes the data written and writes it to the proof tape.

This method should be used by default to write prover messages in an interactive protocol.

Trait Implementations

impl<F, Challenger_> CanSample<F> for ProverTranscript<Challenger_>

where F: TowerField, Challenger_: Challenger,

fn sample(&mut self) -> F

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

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

impl<Challenger_> CanSampleBits<usize> for ProverTranscript<Challenger_>

where Challenger_: Challenger,

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

impl<Challenger: Debug> Debug for ProverTranscript<Challenger>

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

Formats the value using the given formatter.

impl<Challenger_: Default + Challenger> Default for ProverTranscript<Challenger_>

fn default() -> Self

Returns the “default value” for a type.