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. Randomness is a …