Struct RecordingTranscript 

pub struct RecordingTranscript<F: PrimeField, T: Transcript<F>> { /* private fields */ }

RecordingTranscript wraps a regular transcript to record all challenges it produces.

Trait Implementations

impl<F: Clone + PrimeField, T: Clone + Transcript<F>> Clone for RecordingTranscript<F, T>

fn clone(&self) -> RecordingTranscript<F, T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: PrimeField, T: Transcript<F>> From<RecordingTranscript<F, T>> for ReplayTranscript<F>

fn from(value: RecordingTranscript<F, T>) -> Self

Converts to this type from the input type.

impl<F: PrimeField, T: Transcript<F>> Transcript<F> for RecordingTranscript<F, T>

type Config = T

Transcript::Config is the configuration for the underlying hash function of the transcript.

type Gadget = RecordingTranscriptVar<F, <T as Transcript<F>>::Gadget>

Transcript::Gadget is the in-circuit gadget corresponding to this widget.

fn new(inner: Self::Config) -> Self

Transcript::new creates a new transcript / sponge under the given configuration config.

fn add_field_elements(&mut self, input: &[F]) -> &mut Self

Transcript::add_field_elements absorbs a message input that is represented as field elements into the transcript / sponge.

fn get_field_elements(&mut self, num_elements: usize) -> Vec<F>

Transcript::get_field_elements squeezes num_elements field elements from the transcript / sponge.

fn new_with_pp_hash(config: Self::Config, pp_hash: F) -> Self

Transcript::new_with_pp_hash is a convenience method for creating a new transcript / sponge under the given configuration config and additionally absorbing a hash of the public parameters pp_hash.

fn add<A: Absorbable + ?Sized>(&mut self, input: &A) -> &mut Self

Transcript::add absorbs a message input that can be any type implementing the Absorbable trait into the transcript / sponge.

fn get_bits(&mut self, num_bits: usize) -> Vec<bool>

Transcript::get_bits squeezes num_bits bits from the transcript / sponge.

fn get_field_element(&mut self) -> F

Transcript::get_field_element squeezes a single field element from the transcript / sponge.

fn separate_domain(&self, domain: &[u8]) -> Self

Transcript::separate_domain creates a new transcript / sponge by applying domain separation using the provided domain byte sequence.

fn challenge_field_element(&mut self) -> F

Transcript::challenge_field_element squeezes a challenge from the transcript as a field element.

fn challenge_bits(&mut self, num_bits: usize) -> Vec<bool>

Transcript::challenge_bits squeezes a challenge from the transcript as a bit vector.

fn challenge_field_elements(&mut self, n: usize) -> Vec<F>

Transcript::challenge_field_elements squeezes n challenges from the transcript as field elements.