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

Rust implementation of the Agglayer.

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

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

Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse environments

An open infrastructure to democratize and decentralize the development of superintelligence for humanity.

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

STARK-based virtual machine

Ethereum implementation on the efficiency frontier

Core components of the Miden protocol

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

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

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

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