Module vm

Structs

NonDeterminism

All sources of non-determinism for a program. This includes elements that can be read using instruction divine, digests that can be read using instruction merkle_step, and an initial state of random-access memory.

PublicInput

VM

VMState

Enums

CoProcessorCall

A call from the main processor to one of the coprocessors, including the trace for that coprocessor or enough information to deduce the trace.

PublicInputBFieldDecodingError