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.

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

A Virtual Machine for Zero-Knowledge Executions

The privacy-focused cryptocurrency

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

indy-sdk

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

Community maintained Cairo libraries and set of well maintained, optimised and secure components.

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