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

SQL views for Dune

Core components of the Miden protocol

STARK-based virtual machine

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

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

A robust execution client for Ethereum node operators.

Rust implementation of the Agglayer.

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

A toolkit for polynomial IOPs (PIOPs)

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…

Libraries for finite field, elliptic curve, and polynomial arithmetic

A Fully Homomorphic Encryption Library from Primus

Web3Privacy Now is a research project aimed at building a culture of privacy industry in web3: the most extensive database of privacy-enhancing solutions, the framework for PEDApps ideation, use-ca…

Cryptographic primitives used in Polygon Miden rollup

Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

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

The Ethereum Improvement Proposal repository

The Nexus zkVM: The zero-knowledge virtual machine

OpenZeppelin Contracts is a library for secure smart contract development.

A web-based playground for Miden: create accounts, consume notes, and submit transactions.

🌟 Ethereum Consensus client for the Zig and TypeScript ecosystem

Compiler from Rust to Miden Assembly

zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the…

Reference implementation of the node for the Miden blockchain

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

Ethereum implementation on the efficiency frontier

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Hyli is a high-performance blockchain with built-in privacy.

Nitro goes vroom and fixes everything