sp1_core_machine/air/
mod.rs

1mod memory;
2mod program;
3mod word;
4
5pub use memory::*;
6pub use program::*;
7pub use word::*;
8
9use sp1_stark::air::{BaseAirBuilder, SP1AirBuilder};
10
11/// A trait which contains methods related to memory interactions in an AIR.
12pub trait SP1CoreAirBuilder:
13    SP1AirBuilder + 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 + SP1AirBuilder> SP1CoreAirBuilder for AB {}