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

VmStarkProof

A proof which can prove OpenVM program execution.