Formal specification of the Ethereum protocol covering state transition function, gas costs, and VM semantics, authored initially by Gavin Wood.