zkp

Contracts of the Sismo Attestation Protocol

The privacy-focused cryptocurrency

indy-sdk

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

Cairo is the first Turing-complete language for creating provable programs for general computation.

A Virtual Machine for Zero-Knowledge Executions

cairo-rs is a Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.

Curated Collection of Ethereum Ecosystem Resources

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.

Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.

Core libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件

Build your zkp app with typescript, hardhat, circom, and snarkjs!

Bellman zkSNARK library for community with Ethereum's BN256 support

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

Zero-Knowledge Proofs "for (not too much 😉 ) dummies"

A framework to execute and verify algorithms using Groth16 zkSNARKs.

Common cryptographic library used in software at Mysten Labs.

Noah is a library that provide tools to create and verify public transaction with confidential data.

Manta Client to turbo-charge ZKP Generation

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits