openvm_native_circuit/field_extension/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
use openvm_circuit::arch::{VmAirWrapper, VmChipWrapper};

use super::adapters::native_vectorized_adapter::{
    NativeVectorizedAdapterAir, NativeVectorizedAdapterChip,
};

#[cfg(test)]
mod tests;

mod core;
pub use core::*;

pub type FieldExtensionAir =
    VmAirWrapper<NativeVectorizedAdapterAir<EXT_DEG>, FieldExtensionCoreAir>;
pub type FieldExtensionChip<F> =
    VmChipWrapper<F, NativeVectorizedAdapterChip<F, EXT_DEG>, FieldExtensionCoreChip>;