openvm_native_recursion::challenger

Trait CanObserveDigest

Source 
pub trait CanObserveDigest<C: Config> {
    // Required method
    fn observe_digest(
        &mut self,
        builder: &mut Builder<C>,
        value: DigestVariable<C>,
    );
}
Expand description

Reference: openvm_stark_backend::p3_challenger::CanObserve

Required Methods§

Source

fn observe_digest(&mut self, builder: &mut Builder<C>, value: DigestVariable<C>)

Implementors§