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 maweki on Monday September 13, 2021 @09:51AM (#28511486)
Note that the specification (what you prove correctness of the implementation against) already grows with the number of interactions.
[ Parent | on HN ]

There are no comments on this comment yet.