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

mod air;

pub use air::*;

#[cfg(test)]
mod tests {

    use std::sync::Arc;

    use sp1_core_executor::Program;
    use sp1_curves::{params::FieldParameters, uint256::U256Field, utils::biguint_from_limbs};
    use test_artifacts::UINT256_MUL_ELF;

    use crate::{
        io::SP1Stdin,
        utils::{self, run_test},
    };

    #[tokio::test]
    async fn test_uint256_mul() {
        utils::setup_logger();
        let program = Arc::new(Program::from(&UINT256_MUL_ELF).unwrap());
        run_test(program, SP1Stdin::new()).await.unwrap();
    }

    #[test]
    fn test_uint256_modulus() {
        assert_eq!(biguint_from_limbs(U256Field::MODULUS), U256Field::modulus());
    }
}