Module vm

Top level VirtualMachine constructor and API.

Structs

ContinuationVmProof

SingleSegmentVmExecutionResult

Execution result of a single segment VM execution.

SingleSegmentVmExecutor

A single segment VM.

Streams

VerifiedExecutionPayload

The payload of a verified guest VM execution.

VirtualMachine

VmExecutor

VmExecutorNextSegmentState

VmExecutorOneSegmentResult

VmExecutorResult

Enums

ExitCode

GenerationError

VmVerificationError

Functions

verify_segments

Verify segment proofs with boundary condition checks for continuation between segments.

verify_single

Verifies a single proof. This should be used for proof of VM without continuations.

Type Aliases

VmMemoryState

VM memory state for continuations.