Module static_
verifier
openvm_
continuations
1.0.0-rc.2
Module static_
verifier
Module Items
Structs
Traits
In crate openvm_
continuations
Modules
static_verifier
verifier
Type Aliases
C
F
RootSC
SC
openvm_continuations
Module
static_verifier
Copy item path
Settings
Help
Summary
Source
Structs
§
Default
Static
Verifier
PvHandler
Static
Verifier
Config
Config to generate static verifier DSL operations.
Traits
§
Static
Verifier
PvHandler
Custom public values handler for static verifier. This trait implementation defines what the public values of the final EVM proof will be.