openvm_native_recursion::challenger

Trait CanSampleBitsVariable

Source
pub trait CanSampleBitsVariable<C: Config> {
    // Required method
    fn sample_bits(
        &mut self,
        builder: &mut Builder<C>,
        nb_bits: RVar<C::N>,
    ) -> Array<C, Var<C::N>>;
}

Required Methods§

Source

fn sample_bits( &mut self, builder: &mut Builder<C>, nb_bits: RVar<C::N>, ) -> Array<C, Var<C::N>>

Implementors§