The Ethereum Lean VM execution environment achieved end-to-end formal verification prior to Devcon 8

The largest smart-contract blockchain and its native asset ETH, covering protocol upgrades, staking, fee economics and institutional adoption.