openvm_native_recursion::challenger

Trait CanCheckWitness

Source
pub trait CanCheckWitness<C: Config> {
    // Required method
    fn check_witness(
        &mut self,
        builder: &mut Builder<C>,
        nb_bits: usize,
        witness: Felt<C::F>,
    );
}

Required Methods§

Source

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

Implementors§