Struct SerializingChallenger64

pub struct SerializingChallenger64<F, Inner> { /* private fields */ }

Given a challenger that can observe and sample bytes, produces a challenger that is able to sample and observe field elements of a PrimeField64 field.

Observing:

• Takes a field element will serialize it into a byte array and observe each byte.

Sampling:

• Samples a field element in a prime field of size p by sampling unofrmly an element in the range (0..1 << log_2(p)). This avoids modulo bias.

Implementations

impl<F: PrimeField64, Inner: CanObserve<u8>> SerializingChallenger64<F, Inner>

pub const fn new(inner: Inner) -> Self

impl<F, H> SerializingChallenger64<F, HashChallenger<u8, H, 32>>

where F: PrimeField64, H: CryptographicHasher<u8, [u8; 32]>,

pub fn from_hasher(initial_state: Vec<u8>, hasher: H) -> Self

Trait Implementations

impl<F: PrimeField64, Inner: CanObserve<u8>> CanObserve<F> for SerializingChallenger64<F, Inner>

fn observe(&mut self, value: F)

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

where T: Clone,

impl<F: PrimeField64, const N: usize, Inner: CanObserve<u8>> CanObserve<Hash<F, u8, N>> for SerializingChallenger64<F, Inner>

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

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

where T: Clone,

impl<F, EF, Inner> CanSample<EF> for SerializingChallenger64<F, Inner>

where F: PrimeField64, EF: ExtensionField<F>, Inner: CanSample<u8>,

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, Inner> CanSampleBits<usize> for SerializingChallenger64<F, Inner>

where F: PrimeField64, Inner: CanSample<u8>,

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

impl<F: Clone, Inner: Clone> Clone for SerializingChallenger64<F, Inner>

fn clone(&self) -> SerializingChallenger64<F, Inner>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug, Inner: Debug> Debug for SerializingChallenger64<F, Inner>

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

Formats the value using the given formatter.

impl<F, Inner> FieldChallenger<F> for SerializingChallenger64<F, Inner>

where F: PrimeField64, Inner: CanSample<u8> + CanObserve<u8> + Clone + Send + Sync,

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

fn sample_ext_element<EF: AbstractExtensionField<F>>(&mut self) -> EF

impl<F, Inner> GrindingChallenger for SerializingChallenger64<F, Inner>

where F: PrimeField64, Inner: CanSample<u8> + CanObserve<u8> + Clone + Send + Sync,

type Witness = F

fn grind(&mut self, bits: usize) -> Self::Witness

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