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
• legacy
  Legacy implementation of the recursive proof composition. It does use the folding and ivc libraries defined in this monorepo, and aims to be compatible with Ethereum natively, using the curve bn254. This submodule provides the legacy flavor/interface of the o1vm, and is not supposed to be used anymore.
• 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