https://hackerpaper.kaipfister.de/p/2110.12909/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=32013132urn:hackerpapers:mention:2110.12909:32013132Thu, 07 Jul 2022 12:27:09 GMT<p>&gt; The implementations are also very close to formally verified if not fully formally verified. So is Eth2, see &quot;Formal Verification of the Ethereum 2.0 Beacon Chain&quot; by Franck Cassez, Joanne Fuller, Aditya Asgaonkar, paper (https://arxiv.org/abs/2110.12909) and source code (https://github.com/ConsenSys/eth2.0-dafny). More efforts to formally verify Eth2 is ongoing as well, by different entities. &gt; Nothing is perfect but cryptographic code has to be pretty bulletproof or a lot of systems would get owned Same with Ethereum. The chance of having a major impact with a vulnerability is even higher…</p><p><a href="https://hackerpaper.kaipfister.de/p/2110.12909/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PLhttps://news.ycombinator.com/item?id=29010566urn:hackerpapers:submission:2110.12909:29010566Wed, 27 Oct 2021 07:43:52 GMT<p>Formal Verification of the Ethereum 2.0 Beacon Chain</p><p></p><p>3 points; 1 discussion reply on HN. <a href="https://hackerpaper.kaipfister.de/p/2110.12909/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL