How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors

179 points Sep 11, 2021

121 comments michaelsbradley consensys.net

It looks like you have JavaScript disabled. This web app requires that JavaScript is enabled. Please enable JavaScript to use this site (or just go read Hacker News).