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
• lookup_columns
• lookup_env
• lookup_prover
• lookup_verifier
• proof
• prover
• verifier

Constants

• DEGREE_QUOTIENT_POLYNOMIAL
  Degree of the quotient polynomial. Used to keep track of the number of chunks we do have when we commit to the quotient polynomial.
• TOTAL_NUMBER_OF_CONSTRAINTS
  Total number of constraints for all instructions, including the constraints added for the selectors.