News for hackers. Stuff that matters.

A comment on How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors. Parent comment

Re:How We Proved the Eth2 Deposit Contract Is Free of Runtim... by ilammy on Monday September 13, 2021 @12:20PM (#28513367)
“Beware of bugs in the above code; I have only proved it correct, not tried it.” — D.E.K.
[ Parent | on HN ]

There are no comments on this comment yet.