Type Alias OuterChallenger

pub type OuterChallenger = MultiField32Challenger<OuterVal, Bn254Fr, OuterPerm, WIDTH, 2>;

Aliased Type

struct OuterChallenger { /* private fields */ }

Implementations

impl<F, PF, P, const WIDTH: usize, const RATE: usize> MultiField32Challenger<F, PF, P, WIDTH, RATE>

where F: PrimeField32, PF: Field, P: CryptographicPermutation<[PF; WIDTH]>,

pub fn new( permutation: P, ) -> Result<MultiField32Challenger<F, PF, P, WIDTH, RATE>, String>

Trait Implementations

impl<F, PF, const N: usize, P, const WIDTH: usize, const RATE: usize> CanObserve<[F; N]> for MultiField32Challenger<F, PF, P, WIDTH, RATE>

where F: PrimeField32, PF: PrimeField, P: CryptographicPermutation<[PF; WIDTH]>,

fn observe(&mut self, values: [F; N])

fn observe_slice(&mut self, values: &[T])

where T: Clone,

impl<F, PF, P, const WIDTH: usize, const RATE: usize> CanObserve<F> for MultiField32Challenger<F, PF, P, WIDTH, RATE>

where F: PrimeField32, PF: PrimeField, P: CryptographicPermutation<[PF; WIDTH]>,

fn observe(&mut self, value: F)

fn observe_slice(&mut self, values: &[T])

where T: Clone,

impl<F, PF, const N: usize, P, const WIDTH: usize, const RATE: usize> CanObserve<Hash<F, PF, N>> for MultiField32Challenger<F, PF, P, WIDTH, RATE>

where F: PrimeField32, PF: PrimeField, P: CryptographicPermutation<[PF; WIDTH]>,

fn observe(&mut self, values: Hash<F, PF, N>)

fn observe_slice(&mut self, values: &[T])

where T: Clone,

impl<F, PF, P, const WIDTH: usize, const RATE: usize> CanObserve<Vec<Vec<F>>> for MultiField32Challenger<F, PF, P, WIDTH, RATE>

where F: PrimeField32, PF: PrimeField, P: CryptographicPermutation<[PF; WIDTH]>,

fn observe(&mut self, valuess: Vec<Vec<F>>)

fn observe_slice(&mut self, values: &[T])

where T: Clone,

impl<F, EF, PF, P, const WIDTH: usize, const RATE: usize> CanSample<EF> for MultiField32Challenger<F, PF, P, WIDTH, RATE>

where F: PrimeField32, EF: ExtensionField<F>, PF: PrimeField, P: CryptographicPermutation<[PF; WIDTH]>,

fn sample(&mut self) -> EF

fn sample_array<const N: usize>(&mut self) -> [T; N]

fn sample_vec(&mut self, n: usize) -> Vec<T>

impl<F, PF, P, const WIDTH: usize, const RATE: usize> CanSampleBits<usize> for MultiField32Challenger<F, PF, P, WIDTH, RATE>

where F: PrimeField32, PF: PrimeField, P: CryptographicPermutation<[PF; WIDTH]>,

fn sample_bits(&mut self, bits: usize) -> usize

impl<F, PF, P, const WIDTH: usize, const RATE: usize> Clone for MultiField32Challenger<F, PF, P, WIDTH, RATE>

where F: Clone + PrimeField32, PF: Clone + Field, P: Clone + CryptographicPermutation<[PF; WIDTH]>,

fn clone(&self) -> MultiField32Challenger<F, PF, P, WIDTH, RATE>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F, PF, P, const WIDTH: usize, const RATE: usize> Debug for MultiField32Challenger<F, PF, P, WIDTH, RATE>

where F: Debug + PrimeField32, PF: Debug + Field, P: Debug + CryptographicPermutation<[PF; WIDTH]>,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<F, PF, P, const WIDTH: usize, const RATE: usize> FieldChallenger<F> for MultiField32Challenger<F, PF, P, WIDTH, RATE>

where F: PrimeField32, PF: PrimeField, P: CryptographicPermutation<[PF; WIDTH]>,

fn observe_ext_element<EF>(&mut self, ext: EF)

where EF: FieldExtensionAlgebra<F>,

fn sample_ext_element<EF>(&mut self) -> EF

where EF: FieldExtensionAlgebra<F>,

impl<F, PF, P, const WIDTH: usize, const RATE: usize> GrindingChallenger for MultiField32Challenger<F, PF, P, WIDTH, RATE>

where F: PrimeField32, PF: PrimeField, P: CryptographicPermutation<[PF; WIDTH]>,

type Witness = F

fn grind( &mut self, bits: usize, ) -> <MultiField32Challenger<F, PF, P, WIDTH, RATE> as GrindingChallenger>::Witness

fn check_witness(&mut self, bits: usize, witness: Self::Witness) -> bool