News for hackers. Stuff that matters.

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

Re:How We Proved the Eth2 Deposit Contract Is Free of Runtim... by wilde on Monday September 13, 2021 @09:44AM (#28511390)
Can Etherium run contracts written in Dafny? This is cool, but it doesn’t guarantee that the Solidity matches the proof at all, does it?
[ Parent | on HN ]
Re:How We Proved the Eth2 Deposit Contract Is Free of Runtim... by schelling42 on Monday September 13, 2021 @09:55AM (#28511530)
It is spelled Ethereum.
[ Parent | on HN ]