zero-knowledge-proofs

Zero-knowledge proof (ZKP) is a cryptographic protocol where one party can prove to another party that a statement is true without revealing any information beyond the fact of the statement’s truth.

Here are 365 public repositories matching this topic...

Language:All

Filter by language

All365 Rust93 TypeScript48 JavaScript37 Python29 Go18 Solidity18 C++17 Java13 HTML6 Haskell6

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

mimblewimble /grin

Star5.1k

Minimal implementation of the Mimblewimble protocol.

rust cryptography cryptocurrency grin mimblewimble zero-knowledge-proofs

UpdatedJan 8, 2026
Rust

WTFAcademy /WTF-zk

Star2.1k

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

cryptography bitcoin ethereum blockchain elliptic-curves group-theory stark number-theory abstract-algebra zk zero-knowledge snark zksnarks zero-knowledge-proofs zkp elliptic-curve-cryptography zkproof

UpdatedAug 29, 2025
Jupyter Notebook

starkware-libs /cairo

Star1.9k

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo zero-knowledge-proofs zkp starknet computational-integrity

UpdatedFeb 20, 2026
Rust

semaphore-protocol /semaphore

Star1k

A zero-knowledge protocol for anonymous interactions.

javascript typescript ethereum monorepo semaphore solidity hacktoberfest zero-knowledge zk-snarks zero-knowledge-proofs circom proof-of-membership

UpdatedJan 26, 2026
TypeScript

arkworks-rs /snark

Star895

Interfaces for Relations and SNARKs for these relations

cryptography r1cs zero-knowledge-proofs

UpdatedSep 12, 2025
Rust

microsoft /Spartan

Star840

Spartan: High-speed zkSNARKs without trusted setup

cryptography-library rust-library zksnarks nizk zero-knowledge-proofs verifiable-computing

UpdatedOct 15, 2025
Rust

firoorg /firo

Star779

The privacy-focused cryptocurrency

cryptography privacy blockchain p2p cryptocurrency merkle-tree sigma zero-knowledge zcoin zerocoin merkle-tree-proof-of-work asic-resistant zero-knowledge-proofs zkp lelantus

UpdatedFeb 20, 2026
C++

lambdaclass /lambdaworks

Star721

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

cryptography mathematics zero-knowledge-proofs

UpdatedFeb 20, 2026
Rust

AztecProtocol /aztec-v1

Star634

Public repository for the AZTEC V1 protocol. For the latest zkRollup release see herehttps://github.com/AztecProtocol/aztec-2-bug-bounty

privacy protocol ethereum blockchain confidentiality aztec ethereum-blockchain zero-knowledge-proofs

UpdatedDec 13, 2022
JavaScript

The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology to enable confidential and complex coordination between enterprises while keeping data in systems of record. This repo serves as the main repo for the Baseline Protocol, containing core packages, examples, and r…

nodejs graphql docker docker-compose reactjs protocol ethereum smart-contracts solidity geth zk-snarks zero-knowledge-proofs gnark

UpdatedMay 9, 2025

LatticeX-Foundation /Rosetta

Star553

A Privacy-Preserving Framework Based on TensorFlow

homomorphic-encryption secure-computation federated-learning privacy-preserving-machine-learning zero-knowledge-proofs secure-multiparty-computation

UpdatedApr 26, 2022
C++

EspressoSystems /jellyfish

Star507

A Rust Implementation of the PLONK ZKP System and Extensions

rust zero-knowledge-proofs plonk

UpdatedFeb 16, 2026
Rust

LuozhuZhang /awesome-zkevm

Star470

A curated list of awesome zkEVM resources, libraries, tools and more

awesome solidity awesome-list scaling evm layer2 smart-contract zero-knowledge-proofs zk-rollup zkevm native-zkevm

UpdatedDec 24, 2023

o1-labs /proof-systems

Star460

The proof systems used by Mina

kimchi bulletproofs zksnarks zero-knowledge-proofs plonk recursive-zkps

UpdatedFeb 20, 2026
Rust

Raiders0786 /web3-security-resources

Sponsor

Star369

The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized systems and smart contracts in the blockchain space.

cybersecurity bugbounty web3 formal-verification ctf-challenges web3-solidity zero-knowledge-proofs roadmaps smart-contract-security web3-tools security-best-practices defi-security web3-security smart-contract-auditing web3-audit-reports

UpdatedMay 27, 2025

yetanotherco /aligned_layer

Star278

Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.

ethereum zero-knowledge-proofs eigenlayer restaking

UpdatedJan 30, 2026
Rust

ZenGo-X /curv

Star273

Rust language general purpose elliptic curve cryptography.

rust cryptography elliptic-curves bignumber zero-knowledge-proofs

UpdatedJul 21, 2024
Rust

Quillhash /Zero-Knowledge-Mastery

Star267

This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.

ethereum zk-snarks zero-knowledge-proofs zkp zksync