Integration of Post-Quantum (PQ) and Post-Quantum/Traditional (PQ/T) hybrid Verifiable Credentials, and of Zero-Knowledge (ZK) VCs into IOTA Identity

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.

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.

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

A Virtual Machine for Zero-Knowledge Executions

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

The universal zkVM empowering Ethereum as the Global Settlement Layer

Building Zero Knowledge Proof from Scratch

Common cryptographic library used in software at Mysten Labs.

A Rust zkVM with a Modular Proof System

A collection of lints to catch common mistakes and improve your Cairo code.

Universal zero knowledge game engine based on PLONK

circom language server

ZK-Puzzle-Chain: A Simple Chain, Integrating RISC-Zero's zkVM for PoW

Minimal example for the Sirius Plonkish Folding Framework, demonstrating basic IVC setup and circuit folding

Nullifier Counter in RISC Zero for apps on top of Rarimo Protocol.

An implementation of KZG polynomial commitment scheme

A NEAR light client protocol implementation.