Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆

Proof of concept for using EIP-4788 beacon root oracle on L2 to prove L1 state.

Solidity contracts for Clusters Beta

Base-native Identity

A library that enables next-generation UX and DX via putting an ethereum node in the browser and solidity in javascript

solidity compression utility

The Ethereum Rollup Improvement Proposal repository

The Transcendent Progressivism (t/prog) Manifesto: A Vision for Humanity's Future

🥪🦄 Uniswap V2 but resistant to sandwich attacks

Pass two numbers, get a regex-compatible source string for matching ranges. Fast compiler, optimized regex, and validated against more than 2.78 million test assertions. Useful for creating regular…

Research tool leveraging LLM for answers

Solady formal verification with Kontrol

Solidity Package Manager written in rust

Daily Move Snippets

Gas-optimized sorting networks in Solidity.

EIP-3074 (`AUTH` and `AUTHCALL` opcodes) example foundry project

This tool provides a way to connect to dApps as your ERC-6551 token bound account.

Use the EVM cache state to shim transient storage

A symbolic testing tool for EVM smart contracts

A ⁵⁄₉-themed NFT to commemorate me running 10000km in 555 days of running everyday.