Repository navigation
零知识证明
零知识证明（ZKP）是一种加密协议，在该协议中，一方在不泄露任何信息的情况下，向另一方证明某命题的真实性
Contracts of the Sismo Badge Minting Protocol
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Cairo is the first Turing-complete language for creating provable programs for general computation.
A zkVM for Decentralized Private Computations (DPC)
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
The privacy-focused cryptocurrency
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.
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.
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
Sign arbitrary messages with keys obtained from Namada's trusted setup
Common cryptographic library used in software at Mysten Labs.
Curated Collection of Ethereum Ecosystem Resources
Zero Knowledge Light Client Implementation by Zpoken team.
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
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.
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.