Module o1vm::legacy

source ·
Expand description

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.

This o1vm flavor was supposed to use the folding library defined in folding, which consists of reducing all constraints to degree 2, in addition to the ivc library defined in this monorepo to support long traces. The goal of this flavor was to support the curve bn254. For the time being, the project has been stopped in favor of the pickles version defined in crate::pickles and we do not aim to provide any support for now.

You can still run the legacy flavor by using:

O1VM_FLAVOR=legacy bash run-code.sh

Modules

  • folding
  • proof
  • trace
    This module defines structures and traits to build and manipulate traces. A trace is a collection of data points that represent the execution of a program. Some trace can be seen as “decomposable” in the sense that they can be divided into sub-traces that share the same columns, and sub-traces can be selected using “selectors”.

Type Definitions