sp1-core-machine 3.0.0-rc4

mod air;

pub use air::*;

#[cfg(test)]
mod tests {

    use sp1_core_executor::Program;
    use sp1_curves::{params::FieldParameters, uint256::U256Field, utils::biguint_from_limbs};
    use sp1_stark::CpuProver;

    use crate::{
        io::SP1Stdin,
        utils::{self, run_test_io, tests::UINT256_MUL_ELF},
    };

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

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