TOP 78 Zero Knowledge Open Source Projects in 2025

GitHub stars: 17,800

Description: Fully Open Source, End-to-End Encrypted Cloud

Programing Language: Dart

Tags: android, golang, photos, ios, opensource

Updated: 1 hour ago

Link: https://github.com/ente-io/ente

GitHub stars: 5,400

Description: Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.

Programing Language: C++

Updated: May 2, 2024

Link: https://github.com/leela-zero/leela-zero

GitHub stars: 4,800

Description: 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Programing Language: Rust

Tags: programming-language, compiler, leo, zero-knowledge, zksnarks

Updated: 9 hours ago

Link: https://github.com/AleoHQ/leo

GitHub stars: 4,700

Description: Zero-knowledge proof acceleration with GPUs for C++ and Rust

Programing Language: C++

Tags: rust, curve25519, cpp20, elliptic-curve-cryptography, zk-proofs

Updated: 9 hours ago

Link: https://github.com/spaceandtimelabs/blitzar

GitHub stars: 1,800

Description: RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Programing Language: C++

Tags: rust, cryptography, virtual-machine, stark, risc-v

Updated: 6 hours ago

Link: https://github.com/risc0/risc0

GitHub stars: 1,800

Description: A toolbox for zkSNARKs on Ethereum

Programing Language: Rust

Tags: language, ethereum, zero-knowledge, snark, zksnarks

Updated: Aug 1, 2024

Link: https://github.com/Zokrates/ZoKrates

GitHub stars: 1,600

Description: Encryptr is a zero-knowledge cloud-based password manager / e-wallet powered by Crypton

Programing Language: JavaScript

Updated: Nov 29, 2017

Link: https://github.com/SpiderOak/Encryptr

GitHub stars: 1,600

Description: "Zero-Knowledge" Proof Implementation with HMAC Communication in Python

Programing Language: Python

Tags: python, hmac, zero-knowledge, zkproof, zk-call

Updated: 29 days ago

Link: https://github.com/zk-Call/zkp-hmac-communication-python

GitHub stars: 1,200

Description: Anonymous. Uncensored. Sovereign.

Programing Language: Rust

Tags: rust, crypto, cryptocurrency, zk, zero-knowledge

Updated: 51 minutes ago

Link: https://github.com/darkrenaissance/darkfi

GitHub stars: 1,200

Description: The fastest, most feature-complete zkVM for developers.

Programing Language: Rust

Tags: rust, modular, ethereum, blockchain, zero-knowledge

Updated: 11 hours ago

Link: https://github.com/succinctlabs/sp1

GitHub stars: 1,100

Description: "Zero-Knowledge" Proof Implementation with HMAC Communication in JavaScript

Programing Language: JavaScript

Tags: javascript, hmac, zero-knowledge, zkproof, zk-call

Updated: 24 days ago

Link: https://github.com/zk-Call/zkp-hmac-communication-js

GitHub stars: 1,100

Description: Rust implementation of Ziesha protocol

Programing Language: Rust

Tags: rust, blockchain, cryptocurrency, proof-of-stake, zero-knowledge

Updated: Oct 12, 2023

Link: https://github.com/ziesha-network/bazuka

GitHub stars: 1,000

Description: ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, J…

Programing Language: Rust

Tags: cryptography, ai, zero-knowledge, zkml

Updated: 2 hours ago

Link: https://github.com/zkonduit/ezkl

GitHub stars: 994

Description: "Zero-Knowledge" Proof Implementation with HMAC Communication in C++

Programing Language: C++

Tags: cpp, hmac, zero-knowledge, zkproof, zk-call

Updated: 29 days ago

Link: https://github.com/zk-Call/zkp-hmac-communication-cpp

GitHub stars: 963

Description: A Virtual Machine for Zero-Knowledge Executions

Programing Language: Rust

Tags: rust, cryptography, blockchain, zero-knowledge, zkp

Updated: 3 hours ago

Link: https://github.com/AleoNet/snarkVM

GitHub stars: 949

Description: A minimalist, opensource online pastebin where the server has zero knowledge of pasted data. Data is encrypted/decrypted in the browser u…

Programing Language: JavaScript

Updated: Dec 5, 2016

Link: https://github.com/sebsauvage/ZeroBin

GitHub stars: 875

Description: Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

Programing Language: Cairo

Tags: ethereum, smart-contracts, evm, stark, zero-knowledge

Updated: 20 minutes ago

Link: https://github.com/kkrt-labs/kakarot

GitHub stars: 845

Description: A zero-knowledge protocol for anonymous interactions.

Programing Language: TypeScript

Tags: javascript, typescript, ethereum, monorepo, semaphore

Updated: 5 hours ago

Link: https://github.com/semaphore-protocol/semaphore

GitHub stars: 827

Description: "Zero-Knowledge" Proof Implementation with HMAC Communication in Go

Programing Language: Go

Tags: go, hmac, zero-knowledge, zkproof, zk-call

Updated: 29 days ago

Link: https://github.com/zk-Call/zkp-hmac-communication-go

GitHub stars: 800

Description: Noir is a domain specific language for zero knowledge proofs

Programing Language: Rust

Tags: programming-language, cryptography, compiler, zero-knowledge, noir-lang

Updated: 25 minutes ago

Link: https://github.com/noir-lang/noir

GitHub stars: 730

Description: Private airdrops for Ethereum.

Programing Language: JavaScript

Tags: zero-knowledge

Updated: Jul 18, 2023

Link: https://github.com/a16z/zkdrops

GitHub stars: 730

Description: articles, codes and tools all about zero-knowledge proofs

Programing Language: Updated yesterday

Updated:

Link: https://github.com/sec-bit/learning-zkp

GitHub stars: 707

Description: The privacy-focused cryptocurrency

Programing Language: C++

Tags: cryptography, privacy, blockchain, p2p, cryptocurrency

Updated: 3 days ago

Link: https://github.com/firoorg/firo

GitHub stars: 676

Description: A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

Programing Language: Updated 8 days ago

Tags: awesome, cryptography, zero-knowledge

Updated:

Link: https://github.com/ingonyama-zk/ingopedia

GitHub stars: 657

Description: The Halo2 zero-knowledge proving system

Programing Language: Rust

Tags: cryptography, cryptocurrency, zcash, zero-knowledge

Updated: 21 days ago

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

GitHub stars: 627

Description: OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.

Programing Language: Rust

Updated: 28 days ago

Link: https://github.com/0xProject/OpenZKP

GitHub stars: 598

Description: STARK-based virtual machine

Programing Language: Rust

Tags: cryptography, virtual-machine, stark, zero-knowledge

Updated: 5 days ago

Link: https://github.com/0xPolygonMiden/miden-vm

GitHub stars: 555

Description: A Software Development Kit (SDK) for Zero-Knowledge Transactions

Programing Language: TypeScript

Tags: sdk, blockchain, zero-knowledge, zksnarks, aleo

Updated: 3 days ago

Link: https://github.com/AleoHQ/sdk

GitHub stars: 531

Description: Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Programing Language: Haskell

Tags: cryptography, elliptic-curves, sigma, zero-knowledge, pedersen-commitment

Updated: Dec 25, 2022

Link: https://github.com/sdiehl/bulletproofs

GitHub stars: 521

Description: A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)

Programing Language: C++

Updated: Mar 24, 2023

Link: https://github.com/elibensasson/libSTARK

GitHub stars: 512

Description: Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

Programing Language: Rust

Tags: rust, cryptography, zero-knowledge, plonk

Updated: 13 days ago

Link: https://github.com/dusk-network/plonk

GitHub stars: 467

Description: Tor Iptables script is an anonymizer that sets up iptables and tor to route all services and traffic including DNS through the Tor network.

Programing Language: Python

Tags: dns, iptables, tor, traffic, tor-network

Updated: Dec 12, 2024

Link: https://github.com/ruped24/toriptables2

GitHub stars: 461

Description: gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorith…

Programing Language: Go

Tags: go, golang, cryptography, crypto, ecc

Updated: 17 days ago

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

GitHub stars: 427

Description: One-time encrypted password/secret sharing

Programing Language: PHP

Tags: php, security, encryption, aes, sqlite

Updated: 17 days ago

Link: https://github.com/AndrewPaglusch/FlashPaper

GitHub stars: 401

Description: Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme a…

Programing Language: Rust

Tags: programming-language, rust, cryptography, compiler, zero-knowledge

Updated: 13 hours ago

Link: https://github.com/lurk-lab/lurk-rs

GitHub stars: 379

Description: A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2

Programing Language: C

Tags: c, cryptography, bitcoin, elliptic-curves, secp256k1

Updated: Aug 16, 2024

Link: https://github.com/BlockstreamResearch/secp256k1-zkp

GitHub stars: 370

Description: A hardware acceleration library for compute intensive cryptography 🧊

Programing Language: C++

Tags: rust, golang, cryptography, cpu, cuda

Updated: 39 secds ago

Link: https://github.com/ingonyama-zk/icicle

GitHub stars: 367

Description: 知识图谱,从零开始构建知识图谱

Programing Language: Python

Tags: knowledge-graph, named-entity-recognition, question-answering, knowledge-management, relation-extraction

Updated: Jul 21

Link: https://github.com/myhhub/zero_knowledge_graph

GitHub stars: 355

Description: Anonymous Airdrops using ZK-SNARKs

Programing Language: Circom

Tags: ethereum, zero-knowledge, zk-snarks

Updated: Mar 11, 2024

Link: https://github.com/stealthdrop/stealthdrop

GitHub stars: 352

Description: 🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Programing Language: Rust

Tags: rust, cryptography, crypto, metal, gpu

Updated: Nov 19, 2024

Link: https://github.com/andrewmilson/ministark

GitHub stars: 345

Description: Record CS knowledge with XMind

Programing Language: Updated on Mar 22, 2021

Tags: xmind

Updated:

Link: https://github.com/SmartKeyerror/ZeroMind

GitHub stars: 318

Description: Rethinking Knowledge Graph Propagation for Zero-Shot Learning, in CVPR 2019

Programing Language: Python

Tags: machine-learning, pytorch, knowledge-graph, zero-shot-learning

Updated: Jun 22, 2019

Link: https://github.com/yinboc/DGP

GitHub stars: 318

Description: 📜 A Starter Guide to Build ZK Applications 📜

Programing Language: Shell

Tags: tutorial, workshop, zero-knowledge, zksnarks, aleo

Updated: Mar 19

Link: https://github.com/AleoHQ/workshop

GitHub stars: 317

Description: A zkRollup DEX & Payment Protocol

Programing Language: Solidity

Tags: blockchain, lrc, dex, zero-knowledge, smartwallet

Updated: 3 days ago

Link: https://github.com/Loopring/protocols

GitHub stars: 310

Description: 👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

Programing Language: Updated 19 hours ago

Tags: blockchain, leo, zero-knowledge, zksnarks, aleo

Updated:

Link: https://github.com/AleoHQ/welcome

GitHub stars: 301

Description: A protocol for private on-chain voting, implemented in Solidity.

Programing Language: Solidity

Tags: privacy, ethereum, voting, smart-contracts, solidity

Updated: Sep 19, 2023

Link: https://github.com/a16z/cicada

GitHub stars: 285

Description: Go from no deep learning knowledge to implementing GPT.

Programing Language: Jupyter Notebook

Tags: python, tutorial, deep-learning, pytorch

Updated: Jul 12

Link: https://github.com/VikParuchuri/zero_to_gpt

GitHub stars: 280

Description: Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1…

Programing Language: Python

Tags: cryptography, tools, libraries, ethereum, solidity

Updated: Jun 18, 2019

Link: https://github.com/HarryR/solcrypto

GitHub stars: 247

Description: A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash

Programing Language: Solidity

Updated: Feb 22

Link: https://github.com/minaminao/tornado-cats

GitHub stars: 239

Description: Zero-knowledge virtual machine written in Rust

Programing Language: Rust

Tags: cryptography, virtual-machine, stack-based, zero-knowledge

Updated: Mar 17

Link: https://github.com/GuildOfWeavers/distaff

GitHub stars: 230

Description: (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Programing Language: Rust

Updated: Aug 11

Link: https://github.com/circify/circ

GitHub stars: 228

Description: Introduction to Zero Knowledge Proof

Programing Language: Assembly

Updated: May 31, 2022

Link: https://github.com/enricobottazzi/ZKverse

GitHub stars: 224

Description: Tell your crush you like them with zero-knowledge

Programing Language: TypeScript

Updated: Jun 8, 2022

Link: https://github.com/amirgamil/zk-crush

GitHub stars: 219

Description: Library for zero-knowledge proof based applications (like anonymous credentials)

Programing Language: Go

Updated: Nov 25, 2022

Link: https://github.com/xlab-si/emmy

GitHub stars: 217

Description: Java library for distributed zero knowledge proof systems

Programing Language: Java

Tags: cryptography, distributed-computing, zksnarks, zero-knowledge-proofs

Updated: Apr 13, 2022

Link: https://github.com/scipr-lab/dizk

GitHub stars: 188

Description: Official Code for "Language Models as Zero-Shot Planners: Extracting Actionable Knowledge for Embodied Agents"

Programing Language: Jupyter Notebook

Tags: deep-learning, transformers, artificial-intelligence, planning, language-model

Updated: May 16, 2022

Link: https://github.com/huangwl18/language-planner

GitHub stars: 187

Description: A monorepo of reusable JS libraries for zero-knowledge technologies.

Programing Language: TypeScript

Tags: typescript, javascript, monorepo, zero-knowledge, zk-snarks

Updated: 3 days ago

Link: https://github.com/privacy-scaling-explorations/zk-kit

GitHub stars: 187

Description: A static analyzer and linter for the Circom zero-knowledge DSL

Programing Language: Rust

Updated: Apr 12

Link: https://github.com/trailofbits/circomspect

GitHub stars: 181

Description: A compiler for fully homomorphic encryption and zero knowledge proofs

Programing Language: Rust

Tags: cryptography, homomorphic-encryption, zero-knowledge

Updated: 15 hours ago

Link: https://github.com/Sunscreen-tech/Sunscreen

GitHub stars: 176

Description: A curated list of zero-knowledge folding schemes

Programing Language: Updated 3 days ago

Tags: awesome-list, zero-knowledge, zk-snarks

Updated:

Link: https://github.com/lurk-lab/awesome-folding

GitHub stars: 169

Description: Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)

Programing Language: Java

Updated: May 20, 2022

Link: https://github.com/bbuenz/BulletProofLib

GitHub stars: 161

Description: A curated list of awesome Zero-Knowledge Proofs (ZKP) resources.

Programing Language: Updated on Jun 25

Updated:

Link: https://github.com/sCrypt-Inc/awesome-zero-knowledge-proofs

GitHub stars: 148

Description: Zero-Knowledge Proof Systems Circuit Compiler

Programing Language: C++

Tags: compiler, llvm, zero-knowledge, proof-system

Updated: 2 hours ago

Link: https://github.com/NilFoundation/zkllvm

GitHub stars: 147

Description: Experimental zero-knowledge proof compiler in Rust macros

Programing Language: Rust

Tags: cryptography, elliptic-curves, rust-macro, zero-knowledge

Updated: Sep 16, 2020

Link: https://github.com/dalek-cryptography/zkp

GitHub stars: 146

Description: From Zero (Knowledge) to Bulletproofs - writeup

Programing Language: TeX

Updated: Feb 16

Link: https://github.com/AdamISZ/from0k2bp

GitHub stars: 139

Description: Library to issue zero knowledge soul bound tokens (ZK SBTs)

Programing Language: Solidity

Tags: ethereum, zk, circom, iden3, soul-bound-token

Updated: Aug 30, 2022

Link: https://github.com/enricobottazzi/ZK-SBT

GitHub stars: 137

Description: I Know the Relationships: Zero-Shot Action Recognition via Two-Stream Graph Convolutional Networks and Knowledge Graphs

Programing Language: Python

Updated: Jan 21, 2019

Link: https://github.com/junyuGao/Zero-Shot-Action-Recognition-with-Two-Stream-GCN

GitHub stars: 130

Description: Zero Knowledge Proofs and how they can be implemented in Quorum

Programing Language: C++

Updated: Apr 10

Link: https://github.com/Consensys/zero-knowledge-proofs

GitHub stars: 127

Description: Accompanying code for the paper "Zero-shot Knowledge Transfer via Adversarial Belief Matching"

Programing Language: Jupyter Notebook

Updated: Apr 29, 2020

Link: https://github.com/polo5/ZeroShotKnowledgeTransfer

GitHub stars: 123

Description: Every day for four weeks and even on weekends, we have to do exercises and projects in C. This piscine starts from zero and does not ask …

Programing Language: C

Tags: c, computer-science, bootcamp, piscine, ecole42

Updated: Jun 4, 2022

Link: https://github.com/jraleman/42.Piscine-C

GitHub stars: 121

Description: Collection of papers in the field of distributed systems, game theory, cryptography, cryptoeconomics, zero knowledge

Programing Language: Updated on Oct 4, 2020

Tags: computer-science, distributed-systems, cryptography, privacy, state-machine

Updated:

Link: https://github.com/dr-orlovsky/library

GitHub stars: 121

Description: Artificial intelligence and zero knowledge.

Programing Language: Rust

Tags: managed-by-terraform

Updated: Jun 26

Link: https://github.com/worldcoin/proto-neural-zkp

GitHub stars: 118

Description: zkInterface is a protocol for the interoperability of zero-knowledge frameworks.

Programing Language: C++

Updated: Jun 13

Link: https://github.com/QED-it/zkinterface

GitHub stars: 118

Description: Zero-knowledge template library

Programing Language: Cuda

Tags: cuda, zero-knowledge, zk-snarks, ntt, zk-starks

Updated: 19 days ago

Link: https://github.com/supranational/sppark

GitHub stars: 113

Description: Zero-Knowledge Cryptography Infrastructure Stack

Programing Language: Rust

Tags: cryptography, eclair, zero-knowledge, zkp, openzl

Updated: Apr 10

Link: https://github.com/openzklib/openzl

GitHub stars: 111

Description: Interactive documentation on zero-knowledge proof systems and related primitives.

Programing Language: HTML

Tags: cryptography, zero-knowledge

Updated: Aug 7

Link: https://github.com/trailofbits/zkdocs

GitHub stars: 0

Description: A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Programing Language:

Tags: knowledge-proofs, zk-snarks, snark, explaining-snarks, team-crypto

Updated:

Link: https://github.com/matter-labs/awesome-zero-knowledge-proofs

GitHub stars: 0

Description: 🏎️ A curated list of Aleo & Leo code and resources 🏎️

Programing Language:

Tags: awesome, privacy, zero-knowledge, zksnarks, aleo

Updated:

Link: https://github.com/howardwu/awesome-aleo