Polygon’s Co-Founder Shares his Concerns on zkEVM Fallacies By CoinEdition

• Sandeep Nailwal tweeted about the fallacies and confusion arising about Polygon’s zkEVM.
• Toghrul Maharramov once claimed that Polygon’s zkEVM is not EVM-Equivalent.
• Responding to Brendan Farmer’s detailed description of Polygon’s zkEVM, Maharramov clarified his claim.

Sandeep Nailwal, the co-founder and Chief Operating Officer of the blockchain platform Polygon, commented via his Twitter page about the fallacies and confusions arising on Polygon’s EVM-Equivalent. He responded to the chain of messages between Toghrul Maharramov and Brendan Farmer, in which both of them argued about Polygon’s implementation of zkEVM.

On April 1, 2023, Nailwal shared a Twitter thread quoting “hope this puts to rest this unnecessary game of definitions”:

Good to see people accepting their mistake, conceding and coming aroundHope this puts to rest this unnecessary game of definitionsFor devs, EVM-Equivalent = -Just take your solidity code & deploy-No (dangerous)intermediate transpiling -All EVM tooling works out of the box https://t.co/7iJ2zWdlWm

— Sandeep Nailwal | sandeep. polygon (@sandeepnailwal) March 31, 2023

On March 31, the official Twitter page of Polygon was updated with a post claiming “Polygon zkEVM Mainnet Beta IS EVM-equivalent”. The platform also provided a detailed explanation of how zkEVM is equivalent to EVM.

Earlier, Toghrul Maharramov, a Senior Researcher at the EVM-Equivalent zk-Rollup, Scroll, commented on July 22, 2022, that “Polygon zkEVM is not a zkEVM”, when Mihailo Bjelic, Polygon’s co-founder shared the specifications of zkEVM.

Interestingly, Polygon’s co-founder Brendan Farmer, came up with a detailed sketch of the platform’s EVM-Equivalent zkEVM, subsequent to the platform’s recent tweet. He claimed:

EVM-equivalence is a term that has existed for a while and refers to zkEVMs that can process transactions in the same way as the EVM – so all code, tooling, and infrastructure just works.

Following the series of threads from Farmer, Maharramov clarified the reasons why he claimed that “Polygon’s implementation is not a zkEVM”:

In other words: “our set is a subset of another set, but we’ll pretend that the two are equivalent because the difference between the two sets is assumed by us to be negligible.”P.S. The reason why at the time I claimed that Polygon’s implementation is not a zkEVM, was /1 https://t.co/gPTeDrnOoD

— Toghrul Maharramov…