letmehateu

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

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

Rust implementation of the Ethereum Virtual Machine.

Ethereum Virtual Machine written in rust that is fast and simple to use

Open source agentic operating system

Fork of Foundry tailored for zkSync environment

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

Private fork of risc0 with Go/TinyGo guest notes

Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.

Celestia consensus node

Nitro goes vroom and fixes everything

This repo contains Web3 Implementation of Intel DCAP Quote Verification For Various Ecosystems

Nitro goes vroom and fixes everything

Everything required to run your own Base node

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 that a certain computation was executed correctly without the need for this party to re-execute the same program.

The home for Hyperlane core contracts, sdk packages, and other infrastructure

A payments protocol for the internet. Built on HTTP.

A payments protocol for the internet. Built on HTTP.

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 that a certain computation was executed correctly without the need for this party to re-execute the same program.