Module vm

Modules

local

types

Traits

AsyncContinuationVmProver

Async prover for a specific exe in a specific continuation VM using a specific Stark config.

AsyncSingleSegmentVmProver

Async prover for a specific exe in a specific single-segment VM using a specific Stark config.

ContinuationVmProver

Prover for a specific exe in a specific continuation VM using a specific Stark config.

SingleSegmentVmProver

Prover for a specific exe in a specific single-segment VM using a specific Stark config.