Trait binius_core::challenger::field_challenger::FieldChallengerHelper

source · 
pub trait FieldChallengerHelper<F> {
    const RATE: usize;

    // Required methods
    fn sample(&mut self, output: &mut [F]);
    fn observe(&mut self, input: &[F]);
}
Expand description

A helper trait for implementing FieldChallenger.

The helper trait provides methods for sampling new challenges and observing data.

Required Associated Constants§

source

const RATE: usize

The number of elements returned by a single call to Self::sample.

Required Methods§

source

fn sample(&mut self, output: &mut [F])

Samples RATE new challenges.

§Preconditions
  • Length of output buffer must be RATE
source

fn observe(&mut self, input: &[F])

Observes a slice of field elements sent by the prover.

Object Safety§

This trait is not object safe.

Implementors§