zkp
There are 265 repositories under zkp topic.
sismo-core/sismo-badges
Contracts of the Sismo Badge Minting Protocol
anoma/namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
starkware-libs/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Consensys/gnark
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
AleoNet/snarkVM
A Virtual Machine for Zero-Knowledge Executions
firoorg/firo
The privacy-focused cryptocurrency
WTFAcademy/WTF-zk
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
hyperledger-archives/indy-sdk
indy-sdk
a16z/jolt
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto and friends. ⚡
lambdaclass/cairo-vm
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.
Consensys/gnark-crypto
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.
anoma/namada-trusted-setup-claimer
Sign arbitrary messages with keys obtained from Namada's trusted setup
zkemail/zk-email-verify
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.
arpitingle/Library-of-Ethereum
Curated Collection of Ethereum Ecosystem Resources
mratsim/constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.
ZpokenWeb3/zk-light-client-implementation
Zero Knowledge Light Client Implementation by Zpoken team.
sismo-core/hydra-s1-zkps
Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo
MystenLabs/fastcrypto
Common cryptographic library used in software at Mysten Labs.
privacy-scaling-explorations/zkp-app-boilerplate
Build your zkp app with typescript, hardhat, circom, and snarkjs!
zkopru-network/zkopru
Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.
keep-starknet-strange/alexandria
Community maintained Cairo libraries and set of well maintained, optimised and secure components.
RingsNetwork/rings
Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.
Quillhash/Zero-Knowledge-Mastery
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.
auditless/awesome-cairo
Resources for Cairo 1.0 development.
WeBankBlockchain/WeDPR-Lab-Core
Core libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件
andrewmilson/sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
matter-labs/bellman
Bellman zkSNARK library for community with Ethereum's BN256 support
anoma/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
keep-starknet-strange/garaga
Efficient pairing library, written in Cairo 🐺.
nullity00/web3-resources
Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.
openzklib/openzl
Zero-Knowledge Cryptography Infrastructure Stack
0xEigenLabs/eigen-zkvm
A Rust zkVM with a Modular Proof System
anoma/zkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.
baro77/ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
codingonion/awesome-cuda-tensorrt-fpga
🔥🔥🔥 A collection of some awesome public NVIDIA CUDA, cuBLAS, cuDNN, TensorRT, AMD ROCm and FPGA projects.
zkCollective/zk-Harness
Benchmarking framework for general purpose zero-knowledge proofs languages and libraries