Contracts of the Sismo Badge Minting Protocol
-
Updated
Oct 3, 2023 - TypeScript
#
Zero-knowledge proof
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 395 public repositories matching this topic...
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
-
Updated
Oct 22, 2025 - Rust
零知识证明入门教程。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
Oct 22, 2025 - Rust
A zkVM for Decentralized Private Computations (DPC)
-
Updated
Oct 22, 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
Oct 21, 2025 - C++
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
go golang cryptography crypto ecc elliptic-curves biginteger eddsa pairing fri zksnark mimc snark zkp finite-field-arithmetic bls12-381 bn254 hash-to-curve bls12-377
-
Updated
Oct 22, 2025 - Go
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
-
Updated
Oct 21, 2025 - Rust
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
cryptography bignum digital-signature constant-time finite-fields elliptic-curves bigint galois-field public-key-cryptography bls pairing elliptic-curve-arithmetic bls-signature zkp barreto-naehrig pairing-cryptography elliptic-curve-cryptography bls12-381 side-channels hash-to-curve
-
Updated
Oct 21, 2025 - Nim
Solarity Solidity Library
-
Updated
Oct 21, 2025 - Solidity
Sign arbitrary messages with keys obtained from Namada's trusted setup
-
Updated
Dec 7, 2023 - Rust
Common cryptographic library used in software at Mysten Labs.
-
Updated
Oct 22, 2025 - Rust
Curated Collection of Ethereum Ecosystem Resources
security cryptography ethereum smart-contracts blockchain cairo solidity awesome-list evm layer2 vyper zkp defi mev
-
Updated
Dec 26, 2023
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
-
Updated
Sep 27, 2025 - Cairo
Zero Knowledge Light Client Implementation by Zpoken team.
-
Updated
Oct 21, 2024 - HTML
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
- Followers
- 17 followers
- Website
- github.com/topics/zkp
- Wikipedia
- Wikipedia