A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.

To make fuzzing Rust easy

This guide is crafted to assist both newcomers and seasoned developers in navigating the Optimism codebase with ease.

An example repo with properties defined for ERC4626 vaults (see Recon substack for accompanying post).

A tool for crashing blockchain nodes

Allows to easily create tx to be signed through CLI and submitted on a Safe

Contracts that simplify invariant suite setup

Reveal unused code of a live smart contract by collecting coverage from historical transactions.

This is a cleanroom deobfuscation of the official Claude Code npm package.

simple zk implementations in python

flood is a load testing tool for benchmarking EVM nodes over RPC

Create Epic Math and Physics Animations From Text.

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Fast and efficient unstructured data extraction. Written in Rust with bindings for many languages.

A smart contract security search utility

Solidity grammar for tree sitter

Generate invariants for Foundry projects with LLM

A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).

🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests!

Walkthroughs to leverage Odyssey's features from the future.

An index of chains which serves as the source of truth for who’s in the Superchain Ecosystem

Smart Contract Property-Based Testing Framework

Randomized testing for Go

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.

Ethereum consensus client in Rust

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

Rust implementation of the Ethereum Virtual Machine.