Enum ark_poly_commit::challenge::ChallengeGenerator

pub enum ChallengeGenerator<F: PrimeField, S: CryptographicSponge> {
    Multivariate(S),
    Univariate(F, F),
}

ChallengeGenerator generates opening challenges using multivariate or univariate strategy. For multivariate strategy, each challenge is freshly squeezed from a sponge. For univariate strategy, each challenge is a power of one squeezed element from sponge.

Note that mutable reference cannot be cloned.

Variants

Multivariate(S)

Each challenge is freshly squeezed from a sponge.

Univariate(F, F)

Each challenge is a power of one squeezed element from sponge.

Univariate(generator, next_element)

Implementations

impl<F: PrimeField, S: CryptographicSponge> ChallengeGenerator<F, S>

pub fn new_multivariate(sponge: S) -> Self

Returns a challenge generator with multivariate strategy. Each challenge is freshly squeezed from a sponge.

pub fn new_univariate(sponge: &mut S) -> Self

Returns a challenge generator with univariate strategy. Each challenge is a power of one squeezed element from sponge.

pub fn try_next_challenge_of_size(&mut self, size: FieldElementSize) -> F

Returns a challenge of size size.

• If self == Self::Multivariate(...), then this squeezes out a challenge of size size.
• If self == Self::Univariate(...), then this ignores the size argument and simply squeezes out the next field element.

pub fn next_challenge(&mut self) -> F

Returns the next challenge generated.

pub fn into_sponge(self) -> Option<S>

Returns the sponge state if self is multivariate. Returns None otherwise.

Trait Implementations

impl<F: Clone + PrimeField, S: Clone + CryptographicSponge> Clone for ChallengeGenerator<F, S>

fn clone(&self) -> ChallengeGenerator<F, S>

Returns a copy of the value.

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

Performs copy-assignment from source.