Struct IOPTranscript

pub struct IOPTranscript<F: PrimeField> { /* private fields */ }

An IOP transcript consists of a Merlin transcript and a flag is_empty to indicate that if the transcript is empty.

It is associated with a prime field F for which challenges are generated over.

The is_empty flag is useful in the case where a protocol is initiated by the verifier, in which case the prover should start its phase by receiving a non-empty transcript.

Implementations

impl<F: PrimeField> IOPTranscript<F>

pub fn new(label: &'static [u8]) -> Self

Create a new IOP transcript.

pub fn append_message( &mut self, label: &'static [u8], msg: &[u8], ) -> Result<(), TranscriptError>

Append the message to the transcript.

pub fn append_serializable_element<S: CanonicalSerialize>( &mut self, label: &'static [u8], group_elem: &S, ) -> Result<(), TranscriptError>

Append the message to the transcript.

pub fn get_and_append_challenge( &mut self, label: &'static [u8], ) -> Result<F, TranscriptError>

Generate the challenge from the current transcript and append it to the transcript.

The output field element is statistical uniform as long as the field has a size less than 2^384.

pub fn get_and_append_byte_challenge( &mut self, label: &'static [u8], dest: &mut [u8], ) -> Result<(), TranscriptError>

Generate the challenge from the current transcript and append it to the transcript.

Without exposing the internal field transcript, this is a wrapper around getting bytes as opposed to field elements.

Trait Implementations

impl<F: Clone + PrimeField> Clone for IOPTranscript<F>

fn clone(&self) -> IOPTranscript<F>

Returns a copy of the value.

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

Performs copy-assignment from source.