Trait sp1_recursion_circuit_v2::challenger::CanObserveVariable

pub trait CanObserveVariable<C: Config, V> {
    // Required method
    fn observe(&mut self, builder: &mut Builder<C>, value: V);

    // Provided method
    fn observe_slice(
        &mut self,
        builder: &mut Builder<C>,
        values: impl IntoIterator<Item = V>,
    ) { ... }
}

Reference: p3_challenger::CanObserve.

Required Methods

fn observe(&mut self, builder: &mut Builder<C>, value: V)

Provided Methods

fn observe_slice( &mut self, builder: &mut Builder<C>, values: impl IntoIterator<Item = V>, )

Object Safety

This trait is not object safe.

Implementors

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

impl<C: Config> CanObserveVariable<C, Felt<<C as Config>::F>> for MultiField32ChallengerVariable<C>

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

impl<C: Config> CanObserveVariable<C, [Var<<C as Config>::N>; 1]> for MultiField32ChallengerVariable<C>

impl<C: Config, const N: usize> CanObserveVariable<C, [Felt<<C as Config>::F>; N]> for DuplexChallengerVariable<C>