Trait sp1_recursion_compiler::ir::Config

pub trait Config: Clone + Default {
    type N: PrimeField;
    type F: PrimeField + TwoAdicField;
    type EF: ExtensionField<Self::F> + TwoAdicField;
}

Required Associated Types

type N: PrimeField

type F: PrimeField + TwoAdicField

type EF: ExtensionField<Self::F> + TwoAdicField

Object Safety

This trait is not object safe.

Implementors

impl Config for OuterConfig

type N = Bn254Fr

type F = BabyBear

type EF = BinomialExtensionField<BabyBear, 4>

impl<F: PrimeField + TwoAdicField, EF: ExtensionField<F> + TwoAdicField> Config for AsmConfig<F, EF>

type N = F

type F = F

type EF = EF