avorylli

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.

The Nexus zkVM: The zero-knowledge virtual machine

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

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

STARK-based virtual machine

Transports, Middleware, and Networks for the Alloy project

STARK-based virtual machine - For Lambdaworks Prover

Go implementation of an Avalanche node.

Celestia Documentation Site

Client library that facilitates interaction with the Miden blockchain

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 robust, high-performance execution client for Ethereum node operators.

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

Rust implementation of the Agglayer.

Nitro goes vroom and fixes everything

An agentic framework for biological research and analysis.

Multilingual BLS12-381 signature library

Fork of hyperledger/besu to verify release GitHub actions

Nitro goes vroom and fixes everything

Nitro goes vroom and fixes everything

it is the AI system that automates the yield farming on blockchain with the implementations of MCP integration and Eliza AI agents.

Conversational Agent for Twitter and Discord