Lean Ethereum protocol specifications and test vector generation framework. - View it on GitHub