Soh Kam Yung<p>[A] new paper [...] demonstrates a method for tricking a commercially available proof system into certifying false statements, even though the system is demonstrably secure if you accept the random oracle model."</p><p><a href="https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">quantamagazine.org/computer-sc</span><span class="invisible">ientists-figure-out-how-to-prove-lies-20250709/</span></a></p><p><a href="https://mstdn.io/tags/Computing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Computing</span></a> <a href="https://mstdn.io/tags/Randomness" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Randomness</span></a> <a href="https://mstdn.io/tags/HashFunctions" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HashFunctions</span></a> <a href="https://mstdn.io/tags/RandomOracle" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RandomOracle</span></a> <a href="https://mstdn.io/tags/Security" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Security</span></a> <a href="https://mstdn.io/tags/Proofs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Proofs</span></a></p>