monerochan_core_machine/air/
mod.rs

1mod memory;
2mod program;
3mod word;
4
5pub use memory::*;
6pub use program::*;
7pub use word::*;
8
9use monerochan_stark::air::{BaseAirBuilder, MONEROCHANAirBuilder};
10
11/// A trait which contains methods related to memory interactions in an AIR.
12pub trait MONEROCHANCoreAirBuilder:
13    MONEROCHANAirBuilder + WordAirBuilder + MemoryAirBuilder + ProgramAirBuilder
14{
15}
16
17impl<AB: BaseAirBuilder> MemoryAirBuilder for AB {}
18impl<AB: BaseAirBuilder> ProgramAirBuilder for AB {}
19impl<AB: BaseAirBuilder> WordAirBuilder for AB {}
20impl<AB: BaseAirBuilder + MONEROCHANAirBuilder> MONEROCHANCoreAirBuilder for AB {}