Top Zero Knowledge Open Source Projects

TOP 49 Zero Knowledge Open Source Projects in 2023


1. Leela Zero


GitHub stars: 5,200

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

Programing Language: C++

Updated: Feb 15

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




2. Awesome Zero Knowledge Proofs


GitHub stars: 4,300

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

Programing Language: Updated 15 days ago

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

Updated:

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




3. Encryptr


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




4. Z Kverse


GitHub stars: 228

Description: Introduction to Zero Knowledge Proof

Programing Language: Assembly

Updated: May 31, 2022

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




5. Risc0


GitHub stars: 1,000

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: 33 minutes ago

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




6. Zero Bin


GitHub stars: 941

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




7. Semaphore


GitHub stars: 761

Description: A zero-knowledge protocol for anonymous signalling on Ethereum.

Programing Language: TypeScript

Tags: javascript, typescript, ethereum, monorepo, semaphore

Updated: 1 hour ago

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




8. noir


GitHub stars: 659

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

Programing Language: Rust

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

Updated: 1 minute ago

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




9. Learning Zkp


GitHub stars: 628

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

Programing Language: Updated 4 days ago

Updated:

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




10. Open Zkp


GitHub stars: 592

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

Programing Language: Rust

Updated: Apr 7

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




11. Snark Vm


GitHub stars: 534

Description: A Virtual Machine for Zero-Knowledge Executions

Programing Language: Rust

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

Updated: 4 minutes ago

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




12. Bulletproofs


GitHub stars: 520

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




13. leo


GitHub stars: 477

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: 4 hours ago

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




14. Lib Stark


GitHub stars: 460

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

Programing Language: C++

Updated: Mar 24

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




15. Gnark Crypto


GitHub stars: 378

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: 23 hours ago

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




16. Zero Knowledge Graph


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




17. Zero Mind


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




18. sdk


GitHub stars: 339

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

Programing Language: JavaScript

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

Updated: 13 hours ago

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




19. DGP


GitHub stars: 311

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




20. Zero To Gpt


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




21. Tornado Cats


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




22. Distaff


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




23. circ


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




24. Zk Crush


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




25. emmy


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




26. dizk


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




27. Welcome


GitHub stars: 206

Description: Welcome to Aleo. Where Applications Become Zero-Knowledge

Programing Language: Updated 15 hours ago

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

Updated:

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




28. Language Planner


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




29. Zk Kit


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




30. Circomspect


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




31. Sunscreen


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




32. Awesome Folding


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




33. Bullet Proof Lib


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




34. Awesome Zero Knowledge Proofs


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




35. Zkllvm


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




36. zkp


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




37. From0k2bp


GitHub stars: 146

Description: From Zero (Knowledge) to Bulletproofs - writeup

Programing Language: TeX

Updated: Feb 16

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




38. Zk Sbt


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




39. Zero Shot Action Recognition With Two Stream Gcn


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




40. Zero Knowledge Proofs


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




41. Zero Shot Knowledge Transfer


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




42. 42.Piscine C


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




43. Icicle


GitHub stars: 122

Description: a GPU Library for Zero-Knowledge Acceleration

Programing Language: C

Tags: gpu, cuda, rust, zero-knowledge

Updated: 29 minutes ago

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




44. Proto Neural Zkp


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




45. Library


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




46. Sppark


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




47. Zkinterface


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




48. Openzl


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




49. Zkdocs


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




Want to find a web3 job?

Receive emails of TOP 49 Zero Knowledge Open Source Projects in 2023

More by Web3 Jobs