#![allow(
clippy::new_without_default,
clippy::field_reassign_with_default,
clippy::unnecessary_cast,
clippy::cast_abs_to_unsigned,
clippy::needless_range_loop,
clippy::type_complexity,
clippy::unnecessary_unwrap,
clippy::default_constructed_unit_structs,
clippy::box_default,
deprecated,
incomplete_features
)]
#![warn(unused_extern_crates)]
pub mod air;
pub mod alu;
pub mod bytes;
pub mod cpu;
pub mod disassembler;
pub mod io;
pub mod lookup;
pub mod memory;
pub mod operations;
pub mod program;
pub mod runtime;
pub mod stark;
pub mod syscall;
pub mod utils;
#[allow(unused_imports)]
use runtime::{Program, Runtime};
use stark::StarkGenericConfig;
pub const SP1_CIRCUIT_VERSION: &str = "1.0.0-rc.1";