TOP 46 Zk Snark Open Source Projects in 2025

GitHub stars: 1,500

Description: 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 Apac…

Programing Language: Go

Tags: golang, r1cs, zk-snarks, zksnark, zkp

Updated: 44 minutes ago

Link: https://github.com/Consensys/gnark

GitHub stars: 1,000

Description: zk-SNARK library.

Programing Language: Rust

Updated: Jul 15, 2024

Link: https://github.com/zkcrypto/bellman

GitHub stars: 871

Description: Nightfall protocols for private transactions on the Ethereum blockchain using zk-snarks

Programing Language: JavaScript

Updated: Jul 19

Link: https://github.com/EYBlockchain/nightfall

GitHub stars: 560

Description: A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

Programing Language: TeX

Updated: Oct 8, 2024

Link: https://github.com/LeastAuthority/moonmath-manual

GitHub stars: 555

Description: TypeScript framework for zk-SNARKs and zkApps

Programing Language: TypeScript

Updated: 12 minutes ago

Link: https://github.com/o1-labs/o1js

GitHub stars: 281

Description: Bitcoin Private is a Bitcoin and Zclassic fork which uses ZK-SNARK technology for privacy and fungibility.

Programing Language: C++

Tags: bitcoin, zcash, zclassic, hacktoberfest, btcp

Updated: Oct 8, 2020

Link: https://github.com/BTCPrivate/BitcoinPrivate-legacy

GitHub stars: 218

Description: Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.

Programing Language: TypeScript

Tags: ethereum, layer2, zk-snarks, private-transactions, zkp

Updated: Jan 24, 2023

Link: https://github.com/zkopru-network/zkopru

GitHub stars: 211

Description: A Java library for zk-SNARK circuits

Programing Language: Java

Updated: Dec 17, 2022

Link: https://github.com/akosba/jsnark

GitHub stars: 188

Description: Proof of passport protocol using zk-SNARKs

Programing Language: Kotlin

Updated: 2 hours ago

Link: https://github.com/zk-passport/proof-of-passport

GitHub stars: 185

Description: A high-level framework for developing efficient zk-SNARK circuits

Programing Language: JetBrains MPS

Updated: Nov 27, 2022

Link: https://github.com/akosba/xjsnark

GitHub stars: 178

Description: Library for programming zk-SNARKs directly in Python

Programing Language: Python

Tags: smart-contracts, python3, zero-knowledge, zk-snarks, pinocchio

Updated: Jun 9, 2024

Link: https://github.com/meilof/pysnark

GitHub stars: 173

Description: zk-SNARK parameter multi-party computation protocol

Programing Language: Rust

Updated: Oct 30, 2019

Link: https://github.com/zcash/mpc

GitHub stars: 168

Description: A Mastermind game using zk-snarks

Programing Language: TypeScript

Updated: Jul 24, 2022

Link: https://github.com/weijiekoh/zkmm

GitHub stars: 142

Description: Communal zk-SNARK MPC for Public Parameters

Programing Language: Rust

Updated: Jun 1, 2021

Link: https://github.com/ebfull/powersoftau

GitHub stars: 132

Description: Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.

Programing Language: Rust

Updated: 6 hours ago

Link: https://github.com/taikoxyz/raiko

GitHub stars: 94

Description: Feature-rich open-source altcoin block explorer. Regular Updates ~ Platform Independent ~ Mobile Friendly ~ Supports Themes, Markets, Cha…

Programing Language: JavaScript

Tags: blockchain, cryptocurrency, altcoins, blockchain-explorer, blockexplorer

Updated: 8 days ago

Link: https://github.com/team-exor/eiquidus

GitHub stars: 93

Description: 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs

Programing Language: Python

Tags: ethereum, blockchain, erc721, zksnarks, eddcsa

Updated: Sep 10, 2018

Link: https://github.com/snario/zknifty

GitHub stars: 88

Description: 🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulation,…

Programing Language: Solidity

Updated: Jul 23, 2023

Link: https://github.com/Miyamura80/ZKMicrophone

GitHub stars: 82

Description: Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum

Programing Language: Python

Tags: ethereum, erc20, zk-snarks, mimblewimble, zk-rollup

Updated: Dec 10, 2022

Link: https://github.com/ethereum934/eth-mimblewimble

GitHub stars: 80

Description: ZK Erdos Numbers using recursive SNARKs

Programing Language: TypeScript

Updated: Sep 24, 2022

Link: https://github.com/ethdos/ethdosnumber

GitHub stars: 80

Description: Python-based system for zk-SNARK based verifiable computations and smart contracts

Programing Language: Python

Updated: Sep 17, 2019

Link: https://github.com/Charterhouse/pysnark

GitHub stars: 77

Description: examples for bellman zk-snarks library

Programing Language: Rust

Updated: Oct 30, 2018

Link: https://github.com/arcalinea/bellman-examples

GitHub stars: 71

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

Programing Language: Jupyter Notebook

Tags: zero-knowledge, zk-snarks, zkp, plonk, groth16

Updated: Dec 23, 2023

Link: https://github.com/tarassh/zkSNARK-under-the-hood

GitHub stars: 62

Description: Multi proof Aggregation for Zk SNARK on Ethereum

Programing Language: Rust

Updated: May 2, 2023

Link: https://github.com/privacy-scaling-explorations/maze

GitHub stars: 57

Description: ZK-SNARK snarkjs and circom exercises

Programing Language: Dockerfile

Updated: Apr 6, 2019

Link: https://github.com/glamperd/snark-example

GitHub stars: 56

Description: Implements hermez network zk-Snarks circuits

Programing Language: JavaScript

Updated: Jun 29, 2023

Link: https://github.com/hermeznetwork/circuits

GitHub stars: 50

Description: A zk-SNARK implementation

Programing Language: Solidity

Tags: cryptography, decentralized, solidity, future, zero-knowledge

Updated: Dec 18, 2022

Link: https://github.com/LuozhuZhang/zkps-circuit-snark

GitHub stars: 48

Description: A Risc-V CPU implemented as a zk-SNARK

Programing Language: JavaScript

Tags: risc-v, zk-snarks

Updated: Sep 4, 2022

Link: https://github.com/lucasgleba/zkRiscV

GitHub stars: 44

Description: Zero-knowledge Sudoku using zk-SNARKs

Programing Language: Solidity

Updated: Mar 17, 2022

Link: https://github.com/nalinbhardwaj/snarky-sudoku

GitHub stars: 41

Description: zkCREAM is zk-SNARK based anonymized voting application using a token mixer

Programing Language: TypeScript

Tags: ethereum, solidity, zero-knowledge, zk-snarks, circom

Updated: Feb 18, 2022

Link: https://github.com/couger-inc/cream

GitHub stars: 41

Description: A golang demo for zk-SNARK aggregation

Programing Language: Go

Updated: Jun 23, 2019

Link: https://github.com/AlexandreBelling/go-boojum

GitHub stars: 40

Description: BlockMaze: An Efficient Privacy-Preserving Account-Model Blockchain Based on zk-SNARKs

Programing Language: Go

Updated: Nov 11, 2020

Link: https://github.com/Agzs/BlockMaze

GitHub stars: 39

Description: Extension for zk succinct non-interactive ownership proofs.

Programing Language: Solidity

Updated: Aug 12, 2022

Link: https://github.com/nerolation/EIP-ERC721-zk-SNARK-Extension

GitHub stars: 31

Description: A library for supporting zk-SNARKs to Substrate

Programing Language: Rust

Tags: rust, substrate, zk-snarks, zero-knowledge-proofs

Updated: Jun 23, 2022

Link: https://github.com/LayerXcom/bellman-substrate

GitHub stars: 30

Description: Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters

Programing Language: Rust

Updated: Jan 22, 2023

Link: https://github.com/zcash/sapling-mpc

GitHub stars: 27

Description: Proof-of-concept implementation of collaborative GKR and a collaborative zk-SNARK with fully distributed proof generation.

Programing Language: Rust

Tags: zero-knowledge, zk-snarks, zero-knowledge-proofs, interactive-proofs, collaborative-zksnark

Updated: 7 hours ago

Link: https://github.com/LBruyne/Collaborative-GKR

GitHub stars: 24

Description: Setheum: zk-SNARKs Enabled DAG Powered Blockchain for Light-speed Smart Contracts. Ready for hacking 🚀

Programing Language: Rust

Tags: smart-contracts, blockchain, cryptocurrency, solidity, smart

Updated: 3 hours ago

Link: https://github.com/Setheum-Labs/Setheum

GitHub stars: 22

Description: Implementation of the Groth16 zk-SNARK proving system

Programing Language: Updated on Jul 6, 2018

Updated:

Link: https://github.com/zkcrypto/groth16

GitHub stars: 22

Description: zk-SNARK Battleship in Solidity

Programing Language: Solidity

Updated: Jul 27, 2022

Link: https://github.com/kunalmodi/battlesnark

GitHub stars: 20

Description: Alternative zk-SNARK proof verifier written in Rust for Zcash Sprout.

Programing Language: Rust

Tags: zcash, zk-snarks

Updated: Aug 12, 2017

Link: https://github.com/plutomonkey/zcash-sprout-verifier

GitHub stars: 17

Description: A libsnark's tutorial on sudoku

Programing Language: C++

Updated: Nov 8, 2018

Link: https://github.com/kunxian-xia/sudoku-zk-snarks

GitHub stars: 16

Description: Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit

Programing Language: Python

Updated: Jun 29, 2020

Link: https://github.com/privacy-scaling-explorations/semaphore-phase2-setup

GitHub stars: 16

Description: Playground for ZoKrates ZK Snark toolbox for Ethereum

Programing Language: Swift

Tags: macos, swift, ethereum, smart-contracts, solidity

Updated: May 24, 2019

Link: https://github.com/MoonfishApp/ZKPlayground

GitHub stars: 16

Description: A zk-SNARK for randomized algorithms + linear-size universal circuits

Programing Language: Java

Updated: Jan 24, 2021

Link: https://github.com/akosba/mirage

GitHub stars: 15

Description: Generate ZK-Snark proofs for https://zkga.me on a different device

Programing Language: TypeScript

Tags: plugin, zk-snarks, dark-forest

Updated: Apr 11, 2022

Link: https://github.com/Bind/df-snarker

GitHub stars: 0

Description: An example of a zero-knowledge proof (a zk-SNARK) explained in comic format.

Programing Language:

Updated:

Link: https://github.com/KevinSmall/zk-SNARKs-Explainer