There are 12 repositories under zkp topic.
Contracts of the Sismo Badge Minting Protocol
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Cairo is the first Turing-complete language for creating provable programs for general computation.
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
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.
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.
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
Sign arbitrary messages with keys obtained from Namada's trusted setup
Curated Collection of Ethereum Ecosystem Resources
Zero Knowledge Light Client Implementation by Zpoken team.
Common cryptographic library used in software at Mysten Labs.
Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo
Build your zkp app with typescript, hardhat, circom, and snarkjs!
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.
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.
Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Core libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Bellman zkSNARK library for community with Ethereum's BN256 support
Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.
Evaluating & benchmarking ZKP compilation strategies.
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries