Minimal zkVM, targeting XMSS aggregation and recursion.

Plonky3 native support for uni-stark recursion... and more

A verifiable supercomputer

A SNARK using towers of binary fields, implemented in Rust .

A collection of awesome Miden links, resources and shiny things.

Bringing divine order to remote task execution.

STARK-based RISC-V virtual machine

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

plonky2 proving over paladin

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

Program to find MDS matrices with lightweight circuits

Proving historical Ethereum transactions using the Plonky2 zkEVM

Common protocol for generating ZK proofs for blocks on different blockchains.

Delve into low-level RISC Zero machine

Rust Poseidon implementation (contact: @porcuquine)

A Rust library for the Marlin preprocessing zkSNARK

A curated list of zero-knowledge folding schemes

Parser and test runner for testing compatable common Ethereum full node tests against Polygon Zero's EVM.

Nova: High-speed recursive zero-knowledge arguments from folding schemes

Technical documentation of the zkEVM

A STARK-based VM focused on code reuse, performance, and modularity

A toolkit for polynomial IOPs (PIOPs)

A modular Rust implementation of the static version of the ICE-FROST signature scheme.