Trait sp1_recursion_program::challenger::FeltChallenger

pub trait FeltChallenger<C: Config>: CanObserveVariable<C, Felt<C::F>> + CanSampleVariable<C, Felt<C::F>> + CanSampleBitsVariable<C> {
    // Required method
    fn sample_ext(&mut self, builder: &mut Builder<C>) -> Ext<C::F, C::EF>;
}

Reference: p3_challenger::FieldChallenger.

Required Methods

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

Implementors

impl<C: Config> FeltChallenger<C> for DuplexChallengerVariable<C>