sp1_recursion_compiler/ir/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
use p3_field::{ExtensionField, PrimeField, PrimeField32, TwoAdicField};

mod arithmetic;
mod bits;
mod builder;
mod collections;
mod fold;
mod instructions;
mod iter;
mod poseidon;
mod ptr;
mod symbolic;
mod types;
mod utils;
mod var;

pub use arithmetic::*;
pub use builder::*;
pub use collections::*;
pub use fold::*;
pub use instructions::*;
pub use iter::*;
pub use ptr::*;
pub use symbolic::*;
pub use types::*;
pub use var::*;

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