Computer Scientists Figure Out How To Prove Lies

An attack on a fundamental proof technique reveals a glaring security issue for blockchains and other digital encryption schemes.

The post [Computer Scientists Figure Out How To Prove Lies][1] first appeared on [Quanta Magazine][2]

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

[2]: https://www.quantamagazine.org

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