Trait FieldChallengerVariable

pub trait FieldChallengerVariable<C: Config, Bit>:
    CanObserveVariable<C, Felt<C::F>>
    + CanSampleVariable<C, Felt<C::F>>
    + CanSampleBitsVariable<C, Bit> {
    // Required methods
    fn sample_ext(&mut self, builder: &mut Builder<C>) -> Ext<C::F, C::EF>;
    fn check_witness(
        &mut self,
        builder: &mut Builder<C>,
        nb_bits: usize,
        witness: Felt<C::F>,
    );
    fn duplexing(&mut self, builder: &mut Builder<C>);
}

Reference: p3_challenger::FieldChallenger.

Required Methods

fn sample_ext(&mut self, builder: &mut Builder<C>) -> Ext<C::F, C::EF>

fn check_witness( &mut self, builder: &mut Builder<C>, nb_bits: usize, witness: Felt<C::F>, )

fn duplexing(&mut self, builder: &mut Builder<C>)

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<C: Config> FieldChallengerVariable<C, Felt<<C as Config>::F>> for DuplexChallengerVariable<C>

impl<C: Config> FieldChallengerVariable<C, Var<<C as Config>::N>> for MultiField32ChallengerVariable<C>