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