Pro@programming.dev to Technology@lemmy.worldEnglish · 5 days agoComputer 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.www.quantamagazine.orgexternal-linkmessage-square4fedilinkarrow-up190arrow-down13
arrow-up187arrow-down1external-linkComputer 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.www.quantamagazine.orgPro@programming.dev to Technology@lemmy.worldEnglish · 5 days agomessage-square4fedilink
minus-squareKairos@lemmy.todaylinkfedilinkEnglisharrow-up12·edit-25 days agoCan somebody TLDR and determine if there’s any useful information in this article. I refuse to read quanta magazine. Edit: link to paper: https://eprint.iacr.org/2025/118
Can somebody TLDR and determine if there’s any useful information in this article. I refuse to read quanta magazine.
Edit: link to paper: https://eprint.iacr.org/2025/118