Comment on 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.

<- View Parent
solrize@lemmy.ml ⁨4⁩ ⁨days⁩ ago

This isn’t about random vs pseudorandom numbers, it’s about the use of hashing in protocols that are provably secure under the random oracle model (ROM). It’s a pretty near certainty that first year CS courses don’t explain what the random oracle model is. But basically, there have been known attacks for decades against protocols intentionally designed to be vulnerable in the standard model while still secure in the ROM. This is the first time such an attack has been found against a real world protocol.

Matthew Green had an explainer a few months ago that was more detailed than the Quanta article while still being readable: blog.cryptographyengineering.com/…/how-to-prove-f…

Anyway it sounds like caution is warranted but “ZOMG the sky is falling” is overreaction.

source
Sort:hotnewtop