Minimal implementation of the Mimblewimble protocol.
-
Updated
Nov 22, 2025 - Rust
#
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 320 public repositories matching this topic...
零知识证明入门教程。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
Cairo is the first Turing-complete language for creating provable programs for general computation.
-
Updated
Dec 23, 2025 - Rust
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
Dec 13, 2025 - TypeScript
Interfaces for Relations and SNARKs for these relations
-
Updated
Sep 12, 2025 - Rust
Spartan: High-speed zkSNARKs without trusted setup
-
Updated
Oct 15, 2025 - Rust
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
Dec 21, 2025 - C++
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
-
Updated
Dec 22, 2025 - Rust
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
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
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++
A Rust Implementation of the PLONK ZKP System and Extensions
-
Updated
Dec 22, 2025 - Rust
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
Dec 24, 2023
The proof systems used by Mina
-
Updated
Dec 23, 2025 - Rust
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
-
Updated
May 27, 2025
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.
-
Updated
Dec 22, 2025 - Rust
Rust language general purpose elliptic curve cryptography.
-
Updated
Jul 21, 2024 - Rust
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.
-
Updated
Apr 1, 2025
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
Dec 3, 2025 - Cairo
Java library for distributed zero knowledge proof systems
-
Updated
Apr 13, 2022 - Java
- Followers
- 18 followers
- Website
- github.com/topics/zkp
- Wikipedia
- Wikipedia