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 452 public repositories matching this topic...
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
- Updated
Feb 18, 2026 - 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
Mar 25, 2026 - Rust
A zkVM for Decentralized Private Computations (DPC)
- Updated
Mar 24, 2026 - 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
Mar 24, 2026 - 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
Mar 24, 2026 - 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
Mar 24, 2026 - Rust
gnark-crypto-cmd — Interactive CLI for Consensys gnark-crypto library featuring elliptic curve cryptography (BN254, BLS12-381, BLS24, BW6), zero-knowledge proof primitives, FFT/KZG/MiMC/EdDSA operations, Go code generation, benchmarks, and BibTeX citation export
golang cryptography fft crypto-library elliptic-curves eddsa python-cli consensys zk-snarks terminal-ui kzg mimc zero-knowledge-proofs zkp bls12-381 bn254 pairing-based-cryptography finite-field rich-cli gnark-crypto
- Updated
Mar 13, 2026 - Python
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
Mar 20, 2026 - Nim
Solarity Solidity Library
- Updated
Feb 2, 2026 - 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
Mar 24, 2026 - 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
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
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
- Updated
Mar 5, 2026 - Cairo
- Followers
- 20 followers
- Website
- github.com/topics/zkp
- Wikipedia
- Wikipedia