Programs
Programs describe the high-level context at each point in EVM bytecode execution. They're the bridge between raw machine instructions and the source code developers wrote.
For the mental model behind programs, see Concepts: Programs.
Reference documentation
Instructions
How instruction records map bytecode to source and context.
Variables
Connecting identifiers to types and runtime locations.
Tracing
Using programs to inspect variables during execution.
Specification
Complete JSON schemas for programs, instructions, and contexts.