Struct ReplayTranscript 

pub struct ReplayTranscript<F> { /* private fields */ }

ReplayTranscript is a convenience struct that generates specific values as challenges without running the actual hash function.

WARNING: This struct itself is insecure. The caller is responsible for checking the validity of the designated challenge values.

Trait Implementations

impl<F: Clone> Clone for ReplayTranscript<F>

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

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> Transcript<F> for ReplayTranscript<F>

type Config = Vec<F>

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

type Gadget = ReplayTranscriptVar<F>

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

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

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

fn add_field_elements(&mut self, _: &[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.