Module verifier
openvm_
continuations
1.0.0-rc.2
Module verifier
Module Items
Modules
In crate openvm_
continuations
Modules
static_verifier
verifier
Type Aliases
C
F
RootSC
SC
openvm_continuations
Module
verifier
Copy item path
Settings
Help
Summary
Source
Expand description
The eDSL programs used for OpenVM continuations, using STARK aggregation.
Modules
§
common
internal
leaf
root
utils