Trait sp1_recursion_circuit_v2::challenger::CanSampleBitsVariable

pub trait CanSampleBitsVariable<C: Config, V> {
    // Required method
    fn sample_bits(
        &mut self,
        builder: &mut Builder<C>,
        nb_bits: usize,
    ) -> Vec<V>;
}

Required Methods

fn sample_bits(&mut self, builder: &mut Builder<C>, nb_bits: usize) -> Vec<V>

Implementors

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

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