evm-semantics

EVM model

Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language.

K Semantics of the Ethereum Virtual Machine (EVM)

509 stars

55 watching

144 forks

Language: Python

last commit: 7 days ago

Linked from 4 awesome lists

Backlinks from these awesome lists:

Related projects:

Repository	Description	Stars
ethereum/evmone	An implementation of the Ethereum Virtual Machine	854
rust-ethereum/evm	A flexible, customizable, and portable implementation of the Ethereum Virtual Machine	1,187
pipermerriam/py-evm	A Python implementation of the Ethereum Virtual Machine.	40
ethereum/evmlab	Utilities for interacting with the Ethereum virtual machine	366
bluealloy/revm	Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity.	1,652
etcdevteam/sputnikvm	An Ethereum Virtual Machine implementation designed to be efficient and adaptable across different blockchain networks.	279
leonardoalt/tinyzkevm	A proof-of-concept implementation of a small subset of the Ethereum Virtual Machine (EVM) inside a Smart Contracting Language (SNARK), using ZoKrates.	46
vorot93/evmodin	An implementation of the Ethereum Virtual Machine in Rust, with support for resumability and gas metering.	162
runtimeverification/avm-semantics	A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution	15
nervous-systems/sputter	An implementation of the Ethereum Virtual Machine	122
0xkitsune/evm-book	A comprehensive resource for Ethereum Virtual Machine (EVM) information and development	326
coinculture/evm-tools	Tools for working with and analyzing the Ethereum Virtual Machine	443
smlxl/evm.codes	An Ethereum Virtual Machine opcode reference tool with a web-based interface.	730
0xpolygonhermez/zkevm-prover	A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions	226
av1ctor/evm-txs.mo	A Motoko library for creating and manipulating EVM transactions	9