Crate o1vm

Re-exports

• pub use ramlookup::LookupMode as RAMLookupMode;
• pub use ramlookup::RAMLookup;

Modules

• cannon
  Modules mimicking the defined structures used by Cannon CLI.
• cli
• elf_loader
  A module to load ELF files.
• interpreters
• lookups
  Instantiation of the lookups for the VM project. Instantiation of the lookups for the VM project.
• 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.
• preimage_oracle
  Preimage oracle interface used by the zkVM.
• ramlookup
  The RAM lookup argument.
• test_preimage_read
• utils

Type Definitions

• E
  Type to represent a constraint on the individual columns of the execution trace. As a reminder, a constraint can be formally defined as a multi-variate polynomial over a finite field. The variables of the polynomial are defined as kimchi_msm::columns::Column. The expression framework defined in kimchi::circuits::expr is used to describe the multi-variate polynomials. For instance, a vanilla 3-wires PlonK constraint can be defined using the multi-variate polynomial of degree 2 P(X, Y, Z) = q_x X + q_y Y + q_m X Y + q_o Z + q_c To represent this multi-variate polynomial using the expression framework, we would use 3 different columns.