How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors
Call me old fashioned, but I’m of the opinion that <i>every</i> “smart contract” should come with a machine-checkable proof of correctness.