Computer Scientists Figure Out How To Prove Lies
Quanta Magazine
—
09/07/2025
A lot of cryptographic proofs rely on something called the 'random oracle model' and the 'Fiat-Shamir transformation'. Together, they can create a mathematical proof of the security of a specific zero knowledge protocol. However, the random oracle model is never used – in real algorithms, it is replaced by a hash function. What can go wrong? It turns out, a lot. You can create a zero knowledge proof of a lie, e.g., prove that you have the cryptocurrency funds necessary for a certain transaction, when in reality you have not!