openvm_rv32im_circuit/base_alu/
mod.rs

1use openvm_circuit::arch::{VmAirWrapper, VmChipWrapper};
2
3use super::adapters::{
4    Rv32BaseAluAdapterAir, Rv32BaseAluAdapterExecutor, Rv32BaseAluAdapterFiller, RV32_CELL_BITS,
5    RV32_REGISTER_NUM_LIMBS,
6};
7
8mod core;
9mod execution;
10pub use core::*;
11
12#[cfg(feature = "cuda")]
13mod cuda;
14#[cfg(feature = "cuda")]
15pub use cuda::*;
16
17#[cfg(test)]
18mod tests;
19
20pub type Rv32BaseAluAir =
21    VmAirWrapper<Rv32BaseAluAdapterAir, BaseAluCoreAir<RV32_REGISTER_NUM_LIMBS, RV32_CELL_BITS>>;
22pub type Rv32BaseAluExecutor = BaseAluExecutor<
23    Rv32BaseAluAdapterExecutor<RV32_CELL_BITS>,
24    RV32_REGISTER_NUM_LIMBS,
25    RV32_CELL_BITS,
26>;
27pub type Rv32BaseAluChip<F> = VmChipWrapper<
28    F,
29    BaseAluFiller<
30        Rv32BaseAluAdapterFiller<RV32_CELL_BITS>,
31        RV32_REGISTER_NUM_LIMBS,
32        RV32_CELL_BITS,
33    >,
34>;