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 Virtual Machine for Zero-Knowledge Executions

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.

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

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

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

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

A Rust zkVM with a Modular Proof System

Zero-Knowledge Cryptography Infrastructure Stack

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

Evaluating & benchmarking ZKP compilation strategies.

The universal zkVM empowering Ethereum as the Global Settlement Layer

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

zero knowledge proof aggregator for general circuit

Benchmarks of popular zkVMs including Jolt