openvm_circuit/system/public_values/
mod.rs
1use crate::{
2 arch::{VmAirWrapper, VmChipWrapper},
3 system::{
4 native_adapter::{NativeAdapterAir, NativeAdapterChip},
5 public_values::core::{PublicValuesCoreAir, PublicValuesCoreChip},
6 },
7};
8
9mod columns;
10pub mod core;
12
13#[cfg(test)]
14mod tests;
15
16pub type PublicValuesAir = VmAirWrapper<NativeAdapterAir<2, 0>, PublicValuesCoreAir>;
17pub type PublicValuesChip<F> =
18 VmChipWrapper<F, NativeAdapterChip<F, 2, 0>, PublicValuesCoreChip<F>>;