openvm_native_circuit/field_arithmetic/
mod.rs

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

#[cfg(test)]
mod tests;

mod core;
pub use core::*;

pub type FieldArithmeticAir = VmAirWrapper<NativeAdapterAir<2, 1>, FieldArithmeticCoreAir>;
pub type FieldArithmeticChip<F> =
    VmChipWrapper<F, NativeAdapterChip<F, 2, 1>, FieldArithmeticCoreChip>;