Untitled attachment

Notices where this attachment appears

1. Embed this notice
   Aether ??? (aether@poa.st)'s status on Thursday, 10-Jul-2025 22:21:04 JST Aether ???
   Proving lies: How mathematicians just poked a hole in zero-knowledge proofs.
   
   https://www.quantamagazine.org/computer-scientists-fig...
   
   Not a fatal hole, by my reading. The underlying technique is called Fiat-Shamir transforms and has been proven to be secure if the random numbers used are truly random. The trick here is that if you know how the random numbers are generated, a malicious program can use that information to "prove" things that aren't true.
   
   If you require that the program code be less complicated than your random number generator, though, this attack is foiled.