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

54 watching

144 forks

Language: Python

last commit: 3 months 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	872
rust-ethereum/evm	A flexible, customizable, and portable implementation of the Ethereum Virtual Machine	1,200
pipermerriam/py-evm	A Python implementation of the Ethereum Virtual Machine.	40
ethereum/evmlab	Utilities for interacting with the Ethereum virtual machine	367
bluealloy/revm	Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity.	1,685
etcdevteam/sputnikvm	An Ethereum Virtual Machine implementation designed to be efficient and adaptable across different blockchain networks.	280
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.	161
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	446
smlxl/evm.codes	An interactive reference and contract viewer for the Ethereum Virtual Machine (EVM) bytecode	740
0xpolygonhermez/zkevm-prover	A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions	229
av1ctor/evm-txs.mo	A Motoko library for creating and manipulating EVM transactions	9