A massively parallel, high-level programming language

Chromium running inside your terminal

The Nexus zkVM: The zero-knowledge virtual machine

A toolbox for zkSNARKs on Ethereum

cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

Noir is a domain specific language for zero knowledge proofs

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

Performance and security acceleration for zkVMs.

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

Quick Merkle Database

Experimental folding schemes library

An Ethereum toolkit

Replay and track historical state

A DSL for generating optimal EVM bytecode

Symbolic stack CFG generator for EVM

Provable play of Nintendo Entertainment System in Noir

Solidity Function Selector Miner (AVX2 + Multithreaded)

Uses magic (zk) to distribute gifts (rewards) to kids (validators)

Verkle Tries in Noir