Lean 4 programming language and theorem prover

zkVM benchmarking for Ethereum

Collection of cryptographic hash functions written in pure Rust

Rust implementation of KZG point evaluation

Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2

RISC-V Instruction Set Manual

The official GPU prover implementation for SP1, written in CUDA.

The official multi-GPU proving service implementation for SP1, designed for the cloud and bare metal deployment.

ZeroOS: A Universal Modular Library OS for zkVMs

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

Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

A toolkit for polynomial IOPs (PIOPs)

STARK-based virtual machine

RISC-V prover system for ZKsync OS

Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

A verifiable supercomputer

A performant and modular zkVM framework built for customization and extensibility.

Performance and security acceleration for zkVMs.

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Automated verification of uniqueness property for ZKP circuits

Client side zero-knowledge proving.