Module triton_vm::program

Structs

• InstructionIter
  An InstructionIter loops the instructions of a Program by skipping duplicate placeholders.
• 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 divine_sibling, and an initial state of random-access memory.
• ProfileLine
  A single line in a profile report for profiling Triton programs.
• Program
  A program for Triton VM. It can be run, profiled, and its execution can be traced.
• PublicInput
• VMProfilingReport
  A report for the completed execution of a Triton program.
• VMTableHeights
  The heights of various tables relevant for proving the correct execution in Triton VM.

Enums

• PublicInputBFieldDecodingError