Foundational Refinement Proofs for EVM Bytecode, at the Price of Tokens · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2607.26306/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:27:26 GMTFoundational Refinement Proofs for EVM Bytecode, at the Price of Tokens — HN submissionhttps://news.ycombinator.com/item?id=49347869urn:hackerpapers:submission:2607.26306:49347869Tue, 18 Aug 2026 16:08:59 GMT<p>Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2607.26306/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL