sp1-core 0.0.0-test

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

mod air;

pub use air::*;

#[cfg(test)]
mod tests {

    use crate::operations::field::params::FieldParameters;
    use crate::{
        io::SP1Stdin,
        runtime::Program,
        utils::{
            self,
            ec::{uint256::U256Field, utils::biguint_from_limbs},
            run_test_io,
            tests::UINT256_MUL_ELF,
        },
    };

    #[test]
    fn test_uint256_mul() {
        utils::setup_logger();
        let program = Program::from(UINT256_MUL_ELF);
        run_test_io(program, SP1Stdin::new()).unwrap();
    }

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