Module zkevm_circuits::evm_circuit::step

EVM execution state. We model the EVM execution as a finite state machine. The execution of a EVM block goes from one state to another, but never at an undefined state. The EVM circuit enables the selectors and thus activates the constraints for the state that the execution reaches.

Structs

• ExecutionStateIter
  An iterator over the variants of Self

Enums

• ExecutionState
  All the possible execution states that the computation of EVM can arrive. Some states are shared by multiple opcodes.
• ResponsibleOp
  Enum of Responsible opcode mapping to execution state.