Module verifier

openvm_continuations

Module verifier 

Source
Expand description

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

Modulesยง

common
internal
leaf
root
utils