Awesome zkEVM

zkEVM is a Fully EVM equivalent and zk friendly virtual machine.

Contents

• Awesome zkEVM
  • Contents
  • Article - Video
    • Rollup
    • zkEVM
    • zk-hardware
    • Zero-Knowledge-Proofs
      • zk-SNARK
      • Plonk
      • Halo2
  • Resources - libraries, tools
    • Early Rollup
    • Scroll and Appliedzkp(PSE)
    • Polygon Hermez
    • Polygon Zero
    • zkSync
    • StarkWare
    • Zero-Knowledge-Proofs
    • Halo2
    • zkp Acceleration
  • Different Solutions
    • Native zkEVM
    • Compiler-Based zkEVM
    • Transpiler-Based zkEVM
    • Other
• Contributing

Article - Video

Rollup

• An Incomplete Guide to Rollups - vitalik, Introducing Rollup.
• A rollup-centric ethereum roadmap - vitalik, rollup-centric ethereum roadmap.
• How Zk-Rollups Work - How barry whiteHat's rollup works.

zkEVM

• zkEVM - Scroll zkEVM.
• zkEVM Architecture - Scroll & EF zkEVM Architecture.
• ZKVerse: Deep Dive Into Polygon Hermez 2.0 - Deep into zkEVM of polygon hermez.
• zkEVM circuit arithmetization - zkEVM circuits and EVM circuit, yezhang.
• The different types of ZK-EVMs

zk-hardware

• Hardware Acceleration for Zero Knowledge Proofs - Hardware for ZKPs.

Zero-Knowledge-Proofs

zk-SNARK

• Introduction to zk-SNARKs with Examples - Get started to learn zk-SNARK by example.
• Why and How zk-SNARK Works - In-depth SNARK mechanism and understanding.

Plonk

• Understanding PLONK
• ZK Study Club - Plonk with Zac Williamson
• Multiset checks in PLONK and Plookup

Halo2

• Halo and more: exploring incremental verification and SNARKs without pairings

Resources - libraries, tools

Early Rollup

• idn3 rollup - iden3 rollup implement.
• barryWhiteHat rollup - First rollup implemented by barryWhiteHat.

Scroll and Appliedzkp(PSE)

• zkEVM-circuit - zkEVM circuit implement.
• zkEVM-spec - zkEVM design.
• zkEVM-document - zkEVM (Community Edition) Documentation.
• zkEVM-chain - appliedzkp(PSE) L1 contract.

Polygon Hermez

• Polygon Hermez

Polygon Zero

• Plonky2

zkSync

• zksync v1 - zksync v1 source code.
• compiler-solidity - zkSync v2 compiler.
• zksync v2 portal - zksync v2 faucet, Goerli network.

StarkWare

• Awesome-starknet - A curated list of starkNet resources.
• Warp:transpile solidity to cairo

Zero-Knowledge-Proofs

• Awesome-zkps - A curated list of zkps resources.

Halo2

• Halo2 repo
• Halo2 document
• Halo2 for PSE and Scroll

zkp Acceleration

• supranational
• supranational - sppark

Different Solutions

Native zkEVM

• PSE (formerly appliedzkp)
• Scroll
• Polygon Hermez
• Polygon Zero

Compiler-Based zkEVM

• zkSync v2

Transpiler-Based zkEVM

• StarkNet
• Miden

Other

• Consensys

Contributing

Contributions are very welcome!

Please have a look at contributing.md for guidelines.