sp1_core_machine/air/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
mod memory;
mod program;
mod word;

pub use memory::*;
pub use program::*;
pub use word::*;

use sp1_stark::air::{BaseAirBuilder, SP1AirBuilder};

/// A trait which contains methods related to memory interactions in an AIR.

pub trait SP1CoreAirBuilder:
    SP1AirBuilder + WordAirBuilder + MemoryAirBuilder + ProgramAirBuilder
{
}

impl<AB: BaseAirBuilder> MemoryAirBuilder for AB {}
impl<AB: BaseAirBuilder> ProgramAirBuilder for AB {}
impl<AB: BaseAirBuilder> WordAirBuilder for AB {}
impl<AB: BaseAirBuilder + SP1AirBuilder> SP1CoreAirBuilder for AB {}