Call and Return Opcodes for the EVM

Status history

1. Draft17 Dec 2025
2. →Review15 Oct 2026

Abstract

This is a minimal change to the Ethereum Virtual Machine (EVM) to support calls and returns. Compilers must now synthesize calls with dynamic jumps: the flow of control is obscured, and every analysis pays. These instructions make calls explicit — saving code and gas, putting return addresses securely beyond the reach of code, and supporting fully static control flow — code that can be validated…