Trait BabyBearFriConfigVariable

pub trait BabyBearFriConfigVariable<C: CircuitConfig<F = BabyBear>>: BabyBearFriConfig + FieldHasherVariable<C> {
    type FriChallengerVariable: FieldChallengerVariable<C, <C as CircuitConfig>::Bit> + CanObserveVariable<C, <Self as FieldHasherVariable<C>>::Digest> + CanCopyChallenger<C>;

    // Required method
    fn challenger_variable(
        &self,
        builder: &mut Builder<C>,
    ) -> Self::FriChallengerVariable;
}

Required Associated Types

type FriChallengerVariable: FieldChallengerVariable<C, <C as CircuitConfig>::Bit> + CanObserveVariable<C, <Self as FieldHasherVariable<C>>::Digest> + CanCopyChallenger<C>

Required Methods

fn challenger_variable( &self, builder: &mut Builder<C>, ) -> Self::FriChallengerVariable

Get a new challenger corresponding to the given config.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<C: CircuitConfig<F = BabyBear, Bit = Felt<BabyBear>>> BabyBearFriConfigVariable<C> for BabyBearPoseidon2

type FriChallengerVariable = DuplexChallengerVariable<C>

fn challenger_variable( &self, builder: &mut Builder<C>, ) -> Self::FriChallengerVariable

impl<C: CircuitConfig<F = BabyBear, N = Bn254Fr, Bit = Var<Bn254Fr>>> BabyBearFriConfigVariable<C> for BabyBearPoseidon2Outer

type FriChallengerVariable = MultiField32ChallengerVariable<C>

fn challenger_variable( &self, builder: &mut Builder<C>, ) -> Self::FriChallengerVariable

Implementors