GrapeBaBa

zkWasm-prover

incredible-squaring-avs

Basic repo demoing a simple AVS middleware with full eigenlayer integration

web3privacy

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-cases database & many more. Feel free to collaborate.

alphanet

Reth AlphaNet is a testnet OP Stack-compatible rollup aimed at enabling experimentation of bleeding edge Ethereum Research.

sonobe

Experimental folding schemes library

assertoor-test

otel-profiling-agent

The production-scale datacenter profiler (C/C++, Go, Rust, Python, Java, NodeJS, PHP, Ruby, Perl, ...)

puxi

Configuration files for the Puxi ethereum testnet

rust-sumcheck

rust implementation of the sumcheck protocol, interactive or non-interactive (using merlin)

yatima

A zero-knowledge Lean4 compiler and kernel

arcanevm

A Fully Homomorphic Encryption Brainfuck virtual machine

evmole

Extracts function selectors and arguments from bytecode, even for unverified contracts

edumips64

Free cross-platform educational MIPS64 CPU Simulator. Experimental web version: https://web.edumips.org.

unicorn

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

nestedvm

Updated NestedVM toolchain for compiling C/C++ applications to run on the JVM

uwmips

A simulator for the UW MIPS instruction set, with a time-traveling debugger

eigensdk-rs

Rust SDK for building AVS on EigenLayer

OLI

A standardized framework and data model for EVM address labeling.

honk-verifier

Honk Verifier in Solidity

the-super-tiny-compiler

:snowman: Possibly the smallest compiler ever

eigenlayer-rs

zkm

The universal zkVM empowering Ethereum as the Global Settlement Layer

silkworm

C++ implementation of the Ethereum protocol

orb-software

Software for the orb

hdp

Herodotus Data Processor Toolkit. Enhance zk-offchain compute for verifiable onchain data using zkVMs

clementine

Citrea's BitVM Based Trust-Minimized Two-Way Peg Program

suave-mpc

fde

erc-4337-devnet

A simple Docker setup to deploy ERC-4337 infrastructure on your local dev environment.

portal-website