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

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

STARK-based virtual machine

Core components of the Miden protocol

Ethereum implementation on the efficiency frontier

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

A domain-specific language for writing AIR constraints for STARKs

Cairo is the first Turing-complete language for creating provable programs for general computation.

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

Rust implementation of the Agglayer.

A toolkit for polynomial IOPs (PIOPs)

Go implementation of Ethereum proof of stake

🌟 Ethereum Consensus client for the Zig and TypeScript ecosystem

A robust execution client for Ethereum node operators.

Client library that facilitates interaction with the Miden blockchain

Reference implementation of the node for the Miden blockchain

Compiler from Rust to Miden Assembly

Ethereum consensus client in Rust

OpenZeppelin Contracts is a library for secure smart contract development.

Celestia Data Availability Nodes

Inter-Blockchain Communication Protocol (IBC) implementation in Golang.

Optimism is Ethereum, scaled.

Making client-side proving on mobile simple.

The new proof-powered L1 to build the next generation of apps.

Binary Proofs, Blazing Fast

Transports, Middleware, and Networks for the Alloy project

CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.