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