Specifications for cryptography in Ethereum, written in Lean. - View it on GitHub