openvm_native_compiler/ir/
mod.rs

1pub use builder::*;
2pub use collections::*;
3pub use instructions::*;
4use openvm_stark_backend::p3_field::{ExtensionField, PrimeField, PrimeField32, TwoAdicField};
5pub use poseidon::{DIGEST_SIZE, PERMUTATION_WIDTH};
6pub use ptr::*;
7pub use select::*;
8pub use symbolic::*;
9pub use types::*;
10pub use utils::{LIMB_BITS, NUM_LIMBS};
11pub use var::*;
12
13mod bits;
14mod builder;
15mod collections;
16mod fri;
17mod instructions;
18mod poseidon;
19mod ptr;
20mod select;
21mod symbolic;
22mod types;
23mod utils;
24mod var;
25mod verify_batch;
26
27pub trait Config: Clone + Default {
28    type N: PrimeField;
29    type F: PrimeField32 + TwoAdicField;
30    type EF: ExtensionField<Self::F> + TwoAdicField;
31}