Trait sp1_recursion_circuit_v2::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.

Object Safety

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