github/pse.dev
1
1
Fork 0
mirror of https://github.com/privacy-scaling-explorations/pse.dev.git synced 2026-01-10 22:58:06 -05:00
Code Issues Packages Projects Releases Wiki Activity

Update zkevm-community.md

Browse Source 
update page description
This commit is contained in:
kichong
2025-07-07 13:48:41 -07:00
committed by GitHub
parent dff6b5a579
commit 4c40bd89c9
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
content/projects/zkevm-community.md
View File

@@ -15,4 +15,10 @@ links:
github: "https://github.com/privacy-scaling-explorations/zkevm-circuits"
---
zkEVM Community Edition is a project aimed at validating Ethereum blocks using zero-knowledge proofs. It is designed to be fully compatible with Ethereum's EVM and serves two primary goals. First, it enables the creation of a layer 2 network (zkRollup) compatible with the Ethereum ecosystem, which uses zero-knowledge proofs to validate blocks, thus enhancing scalability. Second, it allows the generation of zero-knowledge proofs for blocks from the existing layer 1 Ethereum network, enabling light clients to quickly synchronize many blocks with low resource consumption while ensuring block correctness without needing trust in external parties.
The zkEVM Community Edition was an early attempt to show that Ethereum’s execution layer could be verified using zero-knowledge proofs. The pursuit of a [“Type 1” or  "fully and uncompromisingly Ethereum-equivalent"](https://vitalik.eth.limo/general/2022/08/04/zkevm.html) zkEVM helped set off a race among peers and collaborators in the ecosystem, to snarkify Ethereum.
The project began as a collaboration between PSE, Scroll, and Taiko around 2021, a time when large scale ZK applications were not possible and ZK developers had very limited options. Groth16 was the only production-ready zkSNARK proof system but required per-circuit trusted setups, and the rigidity of R1CS meant constraint blowup. However, a viable path toward full validation of Ethereum blocks seemed to open up with the Zcash instantiation of PLONK called Halo2. With Halo2, universal trusted setups, more flexible constraint systems, and reduced constraint counts became feasible, providing a leap in tooling for general compute in ZK.
But prover speeds were not as we know them today, so hand-optimizing circuits for performance – while still maintaining full Ethereum compatibility – was the driving factor of the project. Custom circuits for each component of the Ethereum execution layer were built to squeeze out every optimization possible to make proving accessible to light clients. The goal was to build highly-optimized circuits for EVM opcodes and other components such as state-tree updates, hashing, and signature verification.
The zkEVM Community Edition laid a path to accessible proving and verification of Ethereum blocks — without additional trust assumptions on light clients. And as a result, the entire community moved closer to the ultimate endgame of a maximally decentralized, scalable, and secure Ethereum.