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)

GitHub

509 stars
54 watching
144 forks
Language: Python
last commit: almost 2 years ago
Linked from 4 awesome lists


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
ethereum/evmoneAn implementation of the Ethereum Virtual Machine872
rust-ethereum/evmA flexible, customizable, and portable implementation of the Ethereum Virtual Machine1,200
pipermerriam/py-evmA Python implementation of the Ethereum Virtual Machine.40
ethereum/evmlabUtilities for interacting with the Ethereum virtual machine367
bluealloy/revmRust implementation of an Ethereum Virtual Machine with focus on speed and simplicity.1,685
etcdevteam/sputnikvmAn Ethereum Virtual Machine implementation designed to be efficient and adaptable across different blockchain networks.280
leonardoalt/tinyzkevmA proof-of-concept implementation of a small subset of the Ethereum Virtual Machine (EVM) inside a Smart Contracting Language (SNARK), using ZoKrates.46
vorot93/evmodinAn implementation of the Ethereum Virtual Machine in Rust, with support for resumability and gas metering.161
runtimeverification/avm-semanticsA tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution15
nervous-systems/sputterAn implementation of the Ethereum Virtual Machine122
0xkitsune/evm-bookA comprehensive resource for Ethereum Virtual Machine (EVM) information and development326
coinculture/evm-toolsTools for working with and analyzing the Ethereum Virtual Machine446
smlxl/evm.codesAn interactive reference and contract viewer for the Ethereum Virtual Machine (EVM) bytecode740
0xpolygonhermez/zkevm-proverA high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions229
av1ctor/evm-txs.moA Motoko library for creating and manipulating EVM transactions9