zkp

Contracts of the Sismo Attestation Protocol

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.

The privacy-focused cryptocurrency

indy-sdk

A Virtual Machine for Zero-Knowledge Executions

cairo-rs 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. Cairo and similar proof systems can be used to provide scalability to blockchains.

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.

Curated Collection of Ethereum Ecosystem Resources

Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo

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

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

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

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

Bellman zkSNARK library for community with Ethereum's BN256 support

Common cryptographic library used in software at Mysten Labs.

Zero-Knowledge Cryptography Infrastructure Stack

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

Evaluating & benchmarking ZKP compilation strategies.

Verify emails with the same trust assumption as the email domain i.e. without trusting our server (because it doesnt exist)