sp1-core-machine 3.0.0-rc4

SP1 is a performant, 100% open-source, contributor-friendly zkVM.
Documentation 
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 {}