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

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

A zkVM for Decentralized Private Computations (DPC)

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.

Sign arbitrary messages with keys obtained from Namada's trusted setup

Common cryptographic library used in software at Mysten Labs.

Making client-side ZK proving on mobile simple.

Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

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

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

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

A Rust zkVM with a Modular Proof System

zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA

Zero-Knowledge Cryptography Infrastructure Stack

Evaluating & benchmarking ZKP compilation strategies.

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

zero knowledge proof aggregator for general circuit