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 Linea repository. This mainly includes the smart contracts covering Linea's core functions, the Prover in charge of generating ZK proofs, the Coordinator responsible for multiple orchestrations, and the Postman to execute bridge messages

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

Docker Complete Guide - Run Nexus node as Prover Network.

prove eth_call result

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.

Send a message from L1 Goerli to L2 Scroll zkEVM testnet

Tokamak zk-EVM: CLI and proving pipeline to convert Tokamak Layer 2 transactions into zk-SNARK proofs

Staking The Bridge by Polygon ZkEVM

Software for running proof generation for the Scroll zkEVM on Sindri.

Nexis Network is an open-source layer-1 blockchain infrastructure built upon a Delegated Proof-of-Stake (DPoS) consensus model leveraging EVM, SVM, and zKEVM compilers for modular code deployment and Artificial Intelligence (AI) decentralization

No description provided.

Ritual AI ❖ ❖ A Comprehensive Guide Running Infernet Node

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

An open-source Polygon CDK zkEVM L2 Validium monorepo

some script for zetachain