openvm_native_recursion::challenger

Trait FeltChallenger

Source
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>;
}
Expand description

Reference: [p3_challenger::FieldChallenger].

Required Methods§

Source

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

Implementors§