GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Build software better, together

#

zero-knowledge-proofs

Star
zkp logo

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 723 public repositories matching this topic...

Language: All
Filter by language
All 723 Rust 155 TypeScript 138 Python 92 JavaScript 61 Solidity 31 Go 25 C++ 22 HTML 19 Java 15 C 11
Sort: Most stars
Sort options
Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

mimblewimble / grin

Star 5.1k

Minimal implementation of the Mimblewimble protocol.

rust cryptography cryptocurrency grin mimblewimble zero-knowledge-proofs
  • Updated Nov 4, 2026
  • Rust

WTFAcademy / WTF-zk

Star 2.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
  • Updated Aug 29, 2025
  • Jupyter Notebook

starkware-libs / cairo

Star 1.9k

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

cairo zero-knowledge-proofs zkp starknet computational-integrity
  • Updated Nov 12, 2026
  • Rust
semaphore

semaphore-protocol / semaphore

Star 1.1k

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
  • Updated Oct 17, 2026
  • TypeScript

ZhangJinHaHaHa / AgentLens

Star 1k

Agentlens is a trusted agent trading platform. Here, you can quickly find the Agent that meets your needs, and you can also publish your own Agent to turn it into your digital asset. We encourage everyone to transform their areas of expertise into Agents and turn them into digital assets, allowing others to see your unique strengths.

react auditing typescript blockchain solidity web3 tee ai-safety ai-agents intel-sgx hardhat vite reputation-system zero-knowledge-proofs agpl-v3 llm polygon-edge agentic-ai decentralized-marketplace dcap-attestation
  • Updated Aug 24, 2026
  • TypeScript

arkworks-rs / snark

Star 917

Interfaces for Relations and SNARKs for these relations

cryptography r1cs zero-knowledge-proofs
  • Updated Apr 26, 2026
  • Rust

microsoft / Spartan

Star 877

Spartan: High-speed zkSNARKs without trusted setup

cryptography-library rust-library zksnarks nizk zero-knowledge-proofs verifiable-computing
  • Updated Sep 22, 2026
  • Rust
firo

firoorg / firo

Star 807

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
  • Updated Nov 12, 2026
  • C++

lambdaclass / lambdaworks

Star 739

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
  • Updated Aug 14, 2026
  • Rust

AztecProtocol / aztec-v1

Star 630

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

privacy protocol ethereum blockchain confidentiality aztec ethereum-blockchain zero-knowledge-proofs
  • Updated Dec 13, 2022
  • JavaScript
baseline

ethereum-oasis-op / baseline

Star 574

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
  • Updated May 9, 2025

LatticeX-Foundation / Rosetta

Star 551

A Privacy-Preserving Framework Based on TensorFlow

homomorphic-encryption secure-computation federated-learning privacy-preserving-machine-learning zero-knowledge-proofs secure-multiparty-computation
  • Updated Apr 26, 2022
  • C++

EspressoSystems / jellyfish

Star 523

A Rust Implementation of the PLONK ZKP System and Extensions

rust zero-knowledge-proofs plonk
  • Updated Nov 9, 2026
  • Rust

Raiders0786 / web3-security-resources

Sponsor
Star 476

Curated Web3 security learning hub for smart contract auditors and protocol teams: roadmaps, audit tools, public reports, fuzzing, formal verification, AI-assisted workflows, offchain security, incident response, and launch checklists.

solidity bugbounty web3 evm formal-verification ctf-challenges ai-security web3-solidity zero-knowledge-proofs roadmaps supply-chain-security formal-verification-methods smart-contract-security web3-tools security-best-practices defi-security web3-security smart-contract-auditing web3-audit-reports ai-assisted-auditing
  • Updated Aug 25, 2026
  • Python

LuozhuZhang / awesome-zkevm

Star 467

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
  • Updated Sep 23, 2026

o1-labs / proof-systems

Star 460

The proof systems used by Mina

kimchi bulletproofs zksnarks zero-knowledge-proofs plonk recursive-zkps
  • Updated Oct 25, 2026
  • Rust

yetanotherco / aligned_layer

Star 314

Aligned builds the tools that turn Ethereum into the world’s financial backend. One-click solution for wallets, rollups, interoperability and ZK services

ethereum wallets zero-knowledge-proofs rollups
  • Updated Nov 6, 2026
  • Rust

Quillhash / Zero-Knowledge-Mastery

Star 275

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
  • Updated Apr 1, 2025

ZenGo-X / curv

Star 272

Rust language general purpose elliptic curve cryptography.

rust cryptography elliptic-curves bignumber zero-knowledge-proofs
  • Updated Jul 21, 2024
  • Rust

keep-starknet-strange / garaga

Star 258

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

elliptic-curves pairing zero-knowledge zk-snarks zero-knowledge-proofs zkp elliptic-curve-cryptography starks snarks cairo-lang starknet
  • Updated Nov 8, 2026
  • Cairo
Followers
21 followers
Website
github.com/topics/zkp
Wikipedia
Wikipedia

Related topics

cryptography zk
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.