[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."

https://www.quantamagazine.org/computer-scientists-figure-out-how-to-prove-lies-20250709/

#Computing #Randomness #HashFunctions #RandomOracle #Security #Proofs