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 performant and modular zkVM framework built for customization and extensibility.

STARK-based virtual machine

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

zkVM benchmarking for Ethereum

🌐 🔌 The MetaMask browser extension enables browsing Ethereum blockchain enabled websites

Solidity implementation of the Renegade darkpool

Cryptographic signature algorithms: DSA, ECDSA, Ed25519

Succinct's Production-Grade Proving Engine for the OP Stack.

TypeScript framework for zk-SNARKs and zkApps

the c4 monorepo

Reference implementation of the node for the Miden blockchain

RISC-V prover system for ZKsync OS

A zkVM for Decentralized Private Computations (DPC)

Consensus client for Seismic

Library for parsing, generating, and analyzing LLZK code.

A toolkit for polynomial IOPs (PIOPs)

Lean Ethereum protocol specifications and test vector generation framework.

Build like a team of hundreds_

Performance and security acceleration for zkVMs.

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

OpenZeppelin Contracts is a library for secure smart contract development.

The Ethereum Improvement Proposal repository

Agglayer Smart Contracts

Open source forkable Ethereum dev stack