Struct RecordingTranscriptVar 

pub struct RecordingTranscriptVar<F: PrimeField, T: TranscriptGadget<F>> { /* private fields */ }

RecordingTranscriptVar is the in-circuit variable of RecordingTranscript.

Trait Implementations

impl<F: Clone + PrimeField, T: Clone + TranscriptGadget<F>> Clone for RecordingTranscriptVar<F, T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: PrimeField, T: TranscriptGadget<F>> From<RecordingTranscriptVar<F, T>> for ReplayTranscriptVar<F>

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

Converts to this type from the input type.

impl<F: PrimeField, T: TranscriptGadget<F>> TranscriptGadget<F> for RecordingTranscriptVar<F, T>

type Config = T

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

type Widget = RecordingTranscript<F, <T as TranscriptGadget<F>>::Widget>

TranscriptGadget::Widget points to the out-of-circuit widget for this transcript gadget.

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

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

fn add<A: AbsorbableVar<F>>( &mut self, input: &A, ) -> Result<&mut Self, SynthesisError>

TranscriptGadget::add absorbs a message input that can be any type implementing the AbsorbableVar trait into the transcript / sponge variable.

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

TranscriptGadget::get_field_elements squeezes num_elements field element variables from the transcript / sponge variable.

fn new_with_pp_hash( config: Self::Config, pp_hash: &FpVar<F>, ) -> Result<Self, SynthesisError>

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

fn get_bits( &mut self, num_bits: usize, ) -> Result<Vec<Boolean<F>>, SynthesisError>

TranscriptGadget::get_bits squeezes num_bits bit variables from the transcript / sponge variable.

fn get_field_element(&mut self) -> Result<FpVar<F>, SynthesisError>

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

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

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

fn challenge_field_element(&mut self) -> Result<FpVar<F>, SynthesisError>

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

fn challenge_bits( &mut self, num_bits: usize, ) -> Result<Vec<Boolean<F>>, SynthesisError>

TranscriptGadget::challenge_bits squeezes a challenge from the transcript variable as a vector of bit variables.

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

TranscriptGadget::challenge_field_elements squeezes n challenges from the transcript variable as field element variables.