Docs
Ethereum Yellow Paper
The formal mathematical specification of the Ethereum protocol by Dr. Gavin Wood. Defines the EVM execution model, state transition function, block validation, and gas metering in precise mathematical notation. The authoritative protocol-level reference for client implementors and researchers.