Module o1vm::pickles

Pickles flavor of the o1vm. This is the pickles flavor of the o1vm. The goal of this flavor is to run a version of the o1vm with selectors for each instruction using the Pasta curves and the IPA PCS.

A proof is generated for each set of N continuous instructions, where N is the size of the supported SRS. The proofs will then be aggregated using a modified version of pickles.

You can run this flavor by using:

O1VM_FLAVOR=pickles bash run-code.sh

Modules

• column_env
• proof
• prover
• verifier

Constants

• DEGREE_QUOTIENT_POLYNOMIAL
  Degree of the quotient polynomial. We do evaluate all polynomials on d8 (because of the value of MAXIMUM_DEGREE_CONSTRAINTS), and therefore, we do have a degree 7 for the quotient polynomial. Used to keep track of the number of chunks we do have when we commit to the quotient polynomial.
• MAXIMUM_DEGREE_CONSTRAINTS
  Maximum degree of the constraints. It does include the additional degree induced by the multiplication of the selectors.
• TOTAL_NUMBER_OF_CONSTRAINTS
  Total number of constraints for all instructions, including the constraints added for the selectors.