openvm_continuations

Module verifier

Source
Expand description

The eDSL programs used for OpenVM continuations, using STARK aggregation.

Modulesยง

common
internal
leaf
root
utils