gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

A curated list of awesome zkEVM resources, libraries, tools and more

Kakarot zkEVM - rewrite in the latest version of Cairo

The principal Lineth repository. Lineth is an enterprise-grade EVM layer 2 framework for developing public, permissioned or private networks. Its modular and versatile design satisfies a broad range of industry use cases.

Linea smart-contracts

Bulk participation in airdorops for ZkSync, LayerZero, Base, Linea and PolygonzkEVM projects (airdrop bot).

An EVM-equivalent zk-rollup for scaling Ethereum dapps

Prove knowledge of smart contract bugs using zkEVM

Challenges for zkThon

The official documentation for Polygon zkEVM.

A TEE framework to ship zkVM/zkEVM

Discord NFT monitor for OpenSea and MagicEden on Windows.

deploy a smart contract to Polygon zkEVM Testnet with Hardhat and verify the contract

prove eth_call result

Docker Complete Guide - Run Nexus node as Prover Network.

Verifiable Off-Chain Compute: Running the Ethereum Virtual Machine (revm) inside a RISC-V ZK-VM

A "Type 0" zkEVM

Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines

Send a message from L2 Scroll zkEVM testnet to L1 Goerli.

Send a message from L2 Polygon zkEVM testnet to L1 Goerli.