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".

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