openvm_native_circuit/field_extension/
mod.rs

1use openvm_circuit::arch::{VmAirWrapper, VmChipWrapper};
2
3use super::adapters::native_vectorized_adapter::{
4    NativeVectorizedAdapterAir, NativeVectorizedAdapterChip,
5};
6
7#[cfg(test)]
8mod tests;
9
10mod core;
11pub use core::*;
12
13pub type FieldExtensionAir =
14    VmAirWrapper<NativeVectorizedAdapterAir<EXT_DEG>, FieldExtensionCoreAir>;
15pub type FieldExtensionChip<F> =
16    VmChipWrapper<F, NativeVectorizedAdapterChip<F, EXT_DEG>, FieldExtensionCoreChip>;