Crate o1vm

Source

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 Aliases§

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.