Comment by shkkmo

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