o1vm/pickles/
mod.rs

1//! This is the pickles flavor of the o1vm.
2//! The goal of this flavor is to run a version of the o1vm with selectors for
3//! each instruction using the Pasta curves and the IPA PCS.
4//!
5//! A proof is generated for each set of N continuous instructions, where N is
6//! the size of the supported SRS. The proofs will then be aggregated using
7//! a modified version of pickles.
8//!
9//! You can run this flavor by using:
10//!
11//! ```bash
12//! O1VM_FLAVOR=pickles bash run-code.sh
13//! ```
14
15pub mod column_env;
16pub mod lookup_columns;
17pub mod lookup_env;
18pub mod lookup_prover;
19pub mod lookup_verifier;
20pub mod proof;
21pub mod prover;
22pub mod verifier;
23
24/// Degree of the quotient polynomial.
25/// Used to keep track of the number of chunks we do have when we commit to the
26/// quotient polynomial.
27pub const DEGREE_QUOTIENT_POLYNOMIAL: u64 = 7;
28
29/// Total number of constraints for all instructions, including the constraints
30/// added for the selectors.
31pub const TOTAL_NUMBER_OF_CONSTRAINTS: usize = 466;
32
33#[cfg(test)]
34mod tests;