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

Unified zkVM Interface & Toolkit

Authentication & payments on the web

Local Multi-L2 Development Environment

A semi-decentralized onchain poker game written in solidity

zkVM benchmarking for Ethereum

On-chain Ethereum light client built with SP1

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

A blazing fast OP Stack rollup client written in Rust

A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.

Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

Citrea, Bitcoin's First ZK Rollup 🍊🍋

The various runtimes which make up the core subsystems of networks for which the Fellowship is represented.

A trustless bridge between Polkadot and Ethereum

Hyperbridge scales verifiable interoperability

Wasm friendly Celestia light node implementation in Rust

The Parity Polkadot Blockchain SDK

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

Reference implementation of the node for the Miden blockchain

"Substrate in Bits": Going in-depth in all-things-substrate

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

Compiler from Rust to Miden Assembly

A FRI verifier circuit for the Halo2 proof system

Rust port of Google's SwissTable hash map

Core components of the Miden protocol

Cryptographic primitives used in Polygon Miden rollup