Minimal implementation of the Mimblewimble protocol.
-
Updated
Jun 11, 2026 - 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 471 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
Jun 11, 2026 - 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
Jan 26, 2026 - TypeScript
Interfaces for Relations and SNARKs for these relations
-
Updated
Apr 26, 2026 - 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
Jun 7, 2026 - C++
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
-
Updated
Jun 3, 2026 - 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
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
Jun 9, 2026 - TypeScript
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
Jun 8, 2026 - 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
Jun 10, 2026 - Rust
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
May 27, 2026 - Python
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
Jun 9, 2026 - 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
Rust language general purpose elliptic curve cryptography.
-
Updated
Jul 21, 2024 - Rust
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
Mar 18, 2026 - Cairo
- Followers
- 21 followers
- Website
- github.com/topics/zkp
- Wikipedia
- Wikipedia