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
related reading
- The different types of ZK-EVMsvitalik.eth.limo
- Every ZK-EVM Explained (Polygon, Linea, zkSync & more)blog.jarrodwatts.com
- Hardware Acceleration for Zero Knowledge Proofs - Paradigmparadigm.xyz
- What might an "enshrined ZK-EVM" look like? - HackMDnotes.ethereum.org
- The Zero-Knowledge Landscape - by tolks - Page Onepage1.substack.com
- The zkEVM Sweet Spot — pseudotheospseudotheos.mirror.xyz
- Polygon 2.0: Polygon PoS -> ZK L2polygon.technology
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com
- Super Computer - by Paul Veradittakit - VeradiVerdictveradiverdict.com
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- How ZK Proofs & ZK-EVMs Work (without the math)blog.jarrodwatts.com
- Putting the zk in zkVM: Jolt now supports zero knowledge - a16z cryptoa16zcrypto.com