Validation code for the EOF specification
☆58Apr 28, 2025Updated 10 months ago
Alternatives and similar repositories for eof
Users that are interested in eof are comparing it to the libraries listed below
Sorting:
- wall time exex for reth☆12Aug 5, 2024Updated last year
- ☆53Updated this week
- ☆14Aug 29, 2024Updated last year
- A two-day event focused on high-performance, bleeding edge crypto infrastructure. By open source engineers, for open source engineers.☆38Aug 13, 2025Updated 6 months ago
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19May 24, 2025Updated 9 months ago
- Foundry EVM Standalone☆22Nov 4, 2023Updated 2 years ago
- ☆84Feb 2, 2025Updated last year
- the EVM, simplified☆99Feb 18, 2026Updated last week
- ☆54Jan 9, 2026Updated last month
- Collection of ExEx examples built on Reth☆155Nov 27, 2025Updated 3 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Apr 27, 2025Updated 10 months ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆94Aug 12, 2023Updated 2 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆50Feb 7, 2025Updated last year
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆257Jan 26, 2026Updated last month
- Zig EVM☆34Nov 22, 2025Updated 3 months ago
- ☆16Feb 9, 2026Updated 2 weeks ago
- A mostly mostly reasonable approach to inline Yul styling.☆31Apr 19, 2024Updated last year
- ☆352Aug 1, 2025Updated 6 months ago
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- BuilderHub service for provisioning and permissioning BuilderNet instances☆16Feb 19, 2026Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆152Feb 16, 2026Updated last week
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆65Jul 27, 2024Updated last year
- ☆23Sep 13, 2024Updated last year
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- Pint, the constraint-based programming language for declarative blockchains☆21Updated this week
- MEV Olympics☆44Dec 1, 2024Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Nov 27, 2023Updated 2 years ago
- EVM Execution Hooks.☆239Feb 20, 2026Updated last week
- ☆61Sep 11, 2025Updated 5 months ago
- Executable formal model of the EVM and Yul in Lean 4.☆65Nov 19, 2025Updated 3 months ago
- Symbolic and concrete EVM execution engine☆328Feb 19, 2026Updated last week
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆17Sep 10, 2024Updated last year
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- PoC of Revm execution in SGX☆79Oct 21, 2023Updated 2 years ago
- Cuda implementation of EVM bytecode executor☆117Dec 26, 2024Updated last year
- The implementation of Stateless Ethereum client based on Reth☆181Apr 16, 2025Updated 10 months ago
- Efficient nibble-sized (4-bit) byte sequence data structure☆36Feb 11, 2026Updated 2 weeks ago
- Solidity contracts for a next-gen rollup system.☆70Feb 14, 2026Updated 2 weeks ago