Re:Computer Scientists Figure Out How to Prove Lies
by yorwba on Thursday July 10, 2025 @09:23AM
(#44520747)
The time is given as "last October," and the work they were unfamiliar with is presumably "contrived proof protocols that are vulnerable to attack, no matter which hash function you use" as stated in the immediately preceding sentence.
Re:Computer Scientists Figure Out How to Prove Lies
by PretzelPirate on Thursday July 10, 2025 @11:53AM
(#44522396)
That's confusing to me because back in 2020 when they were looking into GKR inside of a Snark, they were worried about these attacks. Following up in 2022, Ethereum researchers were talking about attacking GKR by forging proofs and not having sufficient randomness/collision resistant.
It's hard to align what's being researched on Ethresar.ch and this statement.
Re:Computer Scientists Figure Out How to Prove Lies
by shkkmo on Thursday July 10, 2025 @04:51PM
(#44525469)
I don't believe the "this work" that the article is talking about here is GKR, but work that is referenced earlier in the article:
> In the early 2000s, computer scientists showed how to do just that, contriving interactive proof protocols that were specifically designed to fail when they underwent Fiat-Shamir
Indeed, the artcile points out that targeting GKR was the idea of the Ethereum Foundation researcher.
> Soukhanov had the idea to target a Fiat-Shamir proof system based on something called the GKR protocol
It would be nice if the article included timelines. Ethereum researchers have been talking about GKR since 2020,so it's hard to imagine the lack of familiarity.