HackMD - Collaborative Markdown Knowledge Base
With the "zkEVM wars" heating up, there has been a lot of public discussion about the merits of different zkEVMs. There has been some misinformation as well, so we’d like to clarify some facts about Polygon zkEVM and how it compares to others. I’m biased, being that I work at Polygon, but I’ll try to keep the comparison fair. I’ll focus mainly on Polygon’s zkEVM and zkSync Era, since they are in production, and since I don’t know as much about other zkEVM projects. zkSync's zkEVM and prover make up over 100k lines of code. I did my best to give an accurate summary, but if there are any inaccuracies, please let me know and I will correct them. Polygon zkEVM directly executes EVM bytecode. By Vitalik’s classifications, it is a type-3 zkEVM. It should become type-2 fairly soon; at the moment we're missing four precompiles. Scroll is also working toward a type-2 zkEVM. By contrast, zkSync Era uses a different bytecode format, with support for Solidity through a compiler they provide. This
A comparison of zkEVMs - HackMD # A comparison of zkEVMs With the "zkEVM wars" heating up, there has been a lot of public discussion about the merits of different zkEVMs. There has been some misinformation as well, so we’d like to clarify some facts about Polygon zkEVM and how it compares to others. I’m biased, being that I work at Polygon, but I’ll try to keep the comparison fair. I’ll focus mainly on Polygon’s zkEVM and zkSync Era, since they are in production, and since I don’t know as much about other zkEVM projects. zkSync's zkEVM and prover make up over 100k lines of code. I did
Explore this link on the map →related reading
- Every ZK-EVM Explained (Polygon, Linea, zkSync & more)blog.jarrodwatts.com
- The different types of ZK-EVMsvitalik.eth.limo
- The Hitchhiker's Guide to Ethereum - Delphi Digitalmembers.delphidigital.io
- Polygon 2.0: Polygon PoS -> ZK L2polygon.technology
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com
- The zkEVM Sweet Spot — pseudotheospseudotheos.mirror.xyz
- Should Ethereum be okay with enshrining more things in the protocol?vitalik.eth.limo
- What might an "enshrined ZK-EVM" look like? - HackMDnotes.ethereum.org
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- Understanding Jolt: Clarifications and reflections - a16z cryptoa16zcrypto.com
- Possible futures of the Ethereum protocol, part 2: The Surgevitalik.eth.limo
- The Zero-Knowledge Landscape - by tolks - Page Onepage1.substack.com