pil2-std-lib 1.1.0-alpha

PIL2 standard library: range checks, lookups, and sum/product arguments for proofman
1
2
3
4
5
6
7
8
9
mod specified_ranges;
mod std_range_check;
mod u16air;
mod u8air;

pub use specified_ranges::*;
pub use std_range_check::*;
pub use u16air::*;
pub use u8air::*;