Crate openvm_continuations

Source

Modules§

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

Type Aliases§

C
F
RootSC
SC