Struct mina_poseidon::sponge::DefaultFqSponge

pub struct DefaultFqSponge<P: SWCurveConfig, SC: SpongeConstants> {
    pub sponge: ArithmeticSponge<P::BaseField, SC>,
    pub last_squeezed: Vec<u64>,
}

Fields

sponge: ArithmeticSponge<P::BaseField, SC>

last_squeezed: Vec<u64>

Implementations

impl<P: SWCurveConfig, SC: SpongeConstants> DefaultFqSponge<P, SC>where P::BaseField: PrimeField, <P::BaseField as PrimeField>::BigInt: Into<<P::ScalarField as PrimeField>::BigInt>,

pub fn squeeze_limbs(&mut self, num_limbs: usize) -> Vec<u64>

pub fn squeeze_field(&mut self) -> P::BaseField

pub fn squeeze(&mut self, num_limbs: usize) -> P::ScalarField

Trait Implementations

impl<P: Clone + SWCurveConfig, SC: Clone + SpongeConstants> Clone for DefaultFqSponge<P, SC>where P::BaseField: Clone,

fn clone(&self) -> DefaultFqSponge<P, SC>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P: SWCurveConfig, SC: SpongeConstants> FqSponge<<P as CurveConfig>::BaseField, Affine<P>, <P as CurveConfig>::ScalarField> for DefaultFqSponge<P, SC>where P::BaseField: PrimeField, <P::BaseField as PrimeField>::BigInt: Into<<P::ScalarField as PrimeField>::BigInt>,

fn new( params: &'static ArithmeticSpongeParams<P::BaseField> ) -> DefaultFqSponge<P, SC>

Creates a new sponge.

fn absorb_g(&mut self, g: &[Affine<P>])

Absorbs a base field point, that is a pair of Fq elements.

fn absorb_fq(&mut self, x: &[P::BaseField])

Absorbs a base field element. This operation is the most straightforward and calls the underlying sponge directly.

fn absorb_fr(&mut self, x: &[P::ScalarField])

Absorbs an element of the scalar field Fr — it is done by converting the element to the base field first.

fn digest(self) -> P::ScalarField

Returns a scalar field digest using the binary representation technique.

fn digest_fq(self) -> P::BaseField

Returns a base field digest by squeezing the underlying sponge directly.

fn challenge(&mut self) -> P::ScalarField

Squeeze out a challenge in the scalar field. Implemented by squeezing out base points and then converting them to a scalar field element using binary representation.

fn challenge_fq(&mut self) -> P::BaseField

Squeeze out a base field challenge. This operation is the most direct and calls the underlying sponge.