Module types

Structs

• RootVmVerifierInput
  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.
• RootVmVerifierPvs