Struct VerifierTranscript

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

Verifier transcript over some Challenger that reads from the internal tape and CanSample<F: TowerField>

You must manually call the destructor with finalize() to check anything that’s written is fully read out

Implementations

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

pub fn new(vec: Vec<u8>) -> Self

impl<Challenger_: Challenger> VerifierTranscript<Challenger_>

pub fn finalize(self) -> Result<(), Error>

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

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

where 'a: 'b,

Returns a writable buffer that only observes the data written, without reading it from the proof tape.

This method should be used to observe the input statement.

pub fn decommitment(&mut self) -> TranscriptReader<'_, impl Buf + '_>

Returns a readable buffer that only reads the data from the proof tape, without observing it.

This method should only be used to read advice that was previously written to the transcript as an observed message.

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

where 'a: 'b,

Returns a readable buffer that observes the data read.

This method should be used by default to read verifier messages in an interactive protocol.

Trait Implementations

impl<F, Challenger_> CanSample<F> for VerifierTranscript<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 VerifierTranscript<Challenger_>

where Challenger_: Challenger,

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

impl<Challenger: Debug> Debug for VerifierTranscript<Challenger>

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

Formats the value using the given formatter.

impl<Challenger> Drop for VerifierTranscript<Challenger>

fn drop(&mut self)

Executes the destructor for this type.