Trait SP1FieldConfigVariable 

pub trait SP1FieldConfigVariable<C: CircuitConfig>:
    IopCtx
    + FieldHasherVariable<C>
    + Poseidon2SP1FieldHasherVariable<C>
    + Send
    + Sync {
    type FriChallengerVariable: FieldChallengerVariable<C, <C as CircuitConfig>::Bit> + CanObserveVariable<C, <Self as FieldHasherVariable<C>>::DigestVariable> + CanCopyChallenger<C>;

    // Required methods
    fn challenger_variable(
        builder: &mut Builder<C>,
    ) -> Self::FriChallengerVariable;
    fn commit_recursion_public_values(
        builder: &mut Builder<C>,
        public_values: RecursionPublicValues<Felt<SP1Field>>,
    );
}

Required Associated Types

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

Required Methods

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

Get a new challenger corresponding to the given config.

fn commit_recursion_public_values( builder: &mut Builder<C>, public_values: RecursionPublicValues<Felt<SP1Field>>, )

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<Bit = Felt<SP1Field>>> SP1FieldConfigVariable<C> for SP1GlobalContext

type FriChallengerVariable = DuplexChallengerVariable<C>

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

fn commit_recursion_public_values( builder: &mut Builder<C>, public_values: RecursionPublicValues<Felt<SP1Field>>, )

impl<C: CircuitConfig<N = Bn254Fr, Bit = Var<Bn254Fr>>> SP1FieldConfigVariable<C> for SP1OuterGlobalContext

type FriChallengerVariable = MultiField32ChallengerVariable<C>

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

fn commit_recursion_public_values( builder: &mut Builder<C>, public_values: RecursionPublicValues<Felt<SP1Field>>, )

Implementors