Module types

Structs

• InternalVmVerifierExtraPvs
  Extra PVs for internal VM verifier except VmVerifierPvs.
• InternalVmVerifierInput
  Input for the leaf VM verifier.
• InternalVmVerifierPvs
  Aggregated state of all segments