Module 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.