Module types
openvm_
continuations
1.4.0
Module types
Module Items
Structs
In openvm_
continuations::
verifier::
root
openvm_continuations
::
verifier
::
root
Module
types
Copy item path
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