sp1_recursion_compiler/circuit/
config.rs

1use std::marker::PhantomData;
2
3use p3_field::{ExtensionField, PrimeField32, TwoAdicField};
4
5use crate::{ir::Builder, prelude::Config};
6
7/// An assembly code configuration given a field and an extension field.
8#[derive(Debug, Clone, Default)]
9pub struct AsmConfig<F, EF>(PhantomData<(F, EF)>);
10
11pub type AsmBuilder<F, EF> = Builder<AsmConfig<F, EF>>;
12
13impl<F: PrimeField32 + TwoAdicField, EF: ExtensionField<F> + TwoAdicField> Config
14    for AsmConfig<F, EF>
15{
16    type N = F;
17    type F = F;
18    type EF = EF;
19}