Struct GriffinSpongeVar 

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

GriffinSpongeVar is the in-circuit variable of GriffinSponge.

The implementation mirrors arkworks’ ark_crypto_primitives::sponge::poseidon::constraints::PoseidonSpongeVar.

Trait Implementations

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

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: PrimeField> TranscriptGadget<F> for GriffinSpongeVar<F>

type Config = Arc<GriffinParams<F>>

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

type Widget = GriffinSponge<F>

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

fn new(parameters: Arc<GriffinParams<F>>) -> Self

where Self: Sized,

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.