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

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

The proof systems used by Mina

A Rust Implementation of the PLONK ZKP System and Extensions

A pure Rust PLONK implementation using arkworks as a backend.

旨在交流学习区块链技术，记录智能合约开发应用与相关安全练习的仓库🚀

A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.

A Rust zkVM with a Modular Proof System

Recursive SNARKs based on Plonk and Halo

Smart contracts for on-chain anonymous settlement.

Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.

Implementation of Plonk by Hand in rust

Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure code quality and security.

DPC with Universal Setup

Circuit components definition library for zkLLVM circuit compiler

Building the first permissionless layer2 orderbook DEX on Ethereum, powered by PLONK zk-rollup

Configurable Asset Privacy

Zero-Knowledge Proof Toolbox

Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.

Halo2 Merkle tree circuits