Computer Scientists Figure Out How To Prove Lies | Quanta Magazine
www.quantamagazine.org
An attack on a fundamental proof technique reveals a glaring security issue for blockchains and other digital encryption schemes.