openvm_continuations

Module verifier

Source
Expand description

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

Modules§