sp1-core-machine 6.0.0-beta.1

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
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49

mod memory;
mod operation;
mod program;
mod word;

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

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

use crate::{
    memory::MemoryAccessColsU8,
    operations::{U16toU8OperationSafe, U16toU8OperationSafeInput},
};

/// A trait which contains methods related to memory interactions in an AIR.
pub trait SP1CoreAirBuilder:
    SP1AirBuilder + WordAirBuilder + MemoryAirBuilder + ProgramAirBuilder + SP1CoreOperationBuilder
{
    fn generate_limbs(
        &mut self,
        memory_access_cols: &[MemoryAccessColsU8<Self::Var>],
        is_real: Self::Expr,
    ) -> Vec<Self::Expr> {
        let u16_to_u8_input = |access: &MemoryAccessColsU8<Self::Var>| {
            U16toU8OperationSafeInput::new(
                access.memory_access.prev_value.0.map(|x| x.into()),
                access.prev_value_u8,
                is_real.clone(),
            )
        };
        // Convert the u16 limbs to u8 limbs using the safe API with range checks.
        let limbs = memory_access_cols
            .iter()
            .flat_map(|access| {
                let input = u16_to_u8_input(access);
                U16toU8OperationSafe::eval(self, input)
            })
            .collect::<Vec<_>>();
        limbs
    }
}

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