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

Rust implementation of the Agglayer.

Noir is a domain specific language for zero knowledge proofs

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

Client library that facilitates interaction with the Miden blockchain

STARK-based virtual machine

A robust execution client for Ethereum node operators.

Reference implementation of the node for the Miden blockchain

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

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Core components of the Miden protocol

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

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

Ethereum implementation on the efficiency frontier

An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu

Go implementation of the Ethereum protocol

Compiler from Rust to Miden Assembly

Libraries for finite field, elliptic curve, and polynomial arithmetic

Go implementation of Ethereum proof of stake

Ethereum consensus client in Rust

OpenZeppelin Contracts is a library for secure smart contract development.

The Nexus zkVM: The zero-knowledge virtual machine

The Ethereum Improvement Proposal repository

A collection of helpful contracts and libraries for use with Forge and Foundry

JavaScript library for StarkNet

Transports, Middleware, and Networks for the Alloy project

Optimism is Ethereum, scaled.

A toolkit for polynomial IOPs (PIOPs)