A model of the Ethereum Virtual Machine (EVM) with K semantics.
Runtime Verification Inc's K framework-based model and walkthrough to help write custom tests from a language and environment you deploy and maintain. Developers can create tests with more control of the underlying framework's semantics. Working knowledge of the K framework or its implementations is a prerequisite.
A Rust implementation of Ethereum Virtual Machine.
Beamer enables users to move tokens from one rollup to another without going via layer 1 chains.
Python scripts to format Ethereum block data for extraction transformation and loading jobs.
(e=vm'2) evm2 is an evm that runs inside the evm native to Go-Ethereum.
Ethereum Virtual Machine (EVM) Hypervisor for arbitrary EVM Bytecode execution.
A stripped-down EVM implemented using Yul & Solidity.