py-evm
EVM simulator
A Python implementation of the Ethereum Virtual Machine.
A Python implementation of the Ethereum Virtual Machine
40 stars
8 watching
10 forks
Language: Python
last commit: over 2 years ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
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 |
ethereum/evmlab | Utilities for interacting with the Ethereum virtual machine | 366 |
ethereum/evmone | An implementation of the Ethereum Virtual Machine | 854 |
runtimeverification/evm-semantics | Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language. | 509 |
crytic/pyevmasm | A Python library for assembling and disassembling the Ethereum Virtual Machine's instruction set | 362 |
xprnetwork/eosio.evm | An Ethereum Virtual Machine implementation in C++ that enables deployment and execution of smart contracts on the EOSIO blockchain. | 92 |
etcdevteam/sputnikvm | An Ethereum Virtual Machine implementation designed to be efficient and adaptable across different blockchain networks. | 279 |
bluealloy/revm | Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity. | 1,652 |
vorot93/evmodin | An implementation of the Ethereum Virtual Machine in Rust, with support for resumability and gas metering. | 162 |
rust-ethereum/evm | A flexible, customizable, and portable implementation of the Ethereum Virtual Machine | 1,187 |
nervous-systems/sputter | An implementation of the Ethereum Virtual Machine | 122 |
0xpolygonhermez/zkevm-prover | A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions | 226 |
ethereum/py-wasm | An implementation of the Web Assembly interpreter in Python. | 105 |
stavrosorf/ev2gym | A simulation environment for optimizing electric vehicle charging and grid management | 48 |
brockelmore/solvm | An experimental implementation of a miniature EVM inside another EVM using Solidity and YUL | 228 |