Module types
openvm_
continuations
1.0.0-rc.2
Module types
Module Items
Structs
In openvm_
continuations::
verifier::
root
Modules
types
Structs
RootVmVerifierConfig
openvm_continuations
::
verifier
::
root
Module
types
Copy item path
Settings
Help
Summary
Source
Structs
§
Root
VmVerifier
Input
Input for the root VM verifier. Note: Root verifier is proven in Root SC, but it usually verifies proofs in SC. So usually only RootVmVerifierInput<SC> is needed.
Root
VmVerifier
Pvs