Pro@programming.dev to Technology@lemmy.worldEnglish · 3 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-square4linkfedilinkarrow-up183arrow-down13
arrow-up180arrow-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 · 3 days agomessage-square4linkfedilink
minus-squareKairos@lemmy.todaylinkfedilinkEnglisharrow-up9·edit-23 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