Ethereum zkEVM book

A curated list of zkVM, zero-knowledge virtual machine

Prove your self

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 th…

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

Library for parsing, generating, and analyzing LLZK code.

Make your zero-knowledge circuits safe with formal verification! 🍀

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

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.

RISC-V prover system for ZKsync OS

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

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

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

Language-agnostic AI code security analysis that replicates the cognitive processes of expert auditors

Rust implementation of the Ethereum Virtual Machine.

Implementation of the Google Zero-Knowledge library for Identity Protocols.

Citrea's BitVM Based Trust-Minimized Two-Way Peg Program

Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf

A Rust implementation of the Groth16 zkSNARK

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