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 zkVM for Decentralized Private Computations (DPC)

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

The privacy-focused cryptocurrency

indy-sdk

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.

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.

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

Common cryptographic library used in software at Mysten Labs.

Zero Knowledge Light Client Implementation by Zpoken team.

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

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

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.