evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
AI summary
EVM model
Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language.
- stars
- 509
- forks
- 144
- watching
- 54
- awesome lists
- 4
Similar projects
Found by comparing what the projects do, not just their names.
EVM implementation
An implementation of the Ethereum Virtual Machine
EVM interpreter
A flexible, customizable, and portable implementation of the Ethereum Virtual Machine
EVM simulator
A Python implementation of the Ethereum Virtual Machine.
EVM tools
Utilities for interacting with the Ethereum virtual machine
bluealloy/revm1.7K
EVM simulator
Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity.
EVM
An Ethereum Virtual Machine implementation designed to be efficient and adaptable across different blockchain networks.
EVM simulator
A proof-of-concept implementation of a small subset of the Ethereum Virtual Machine (EVM) inside a Smart Contracting Language (SNARK), using ZoKrates.
EVM interpreter
An implementation of the Ethereum Virtual Machine in Rust, with support for resumability and gas metering.
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
Virtual machine
An implementation of the Ethereum Virtual Machine
EVM guide
A comprehensive resource for Ethereum Virtual Machine (EVM) information and development
EVM analyzer
Tools for working with and analyzing the Ethereum Virtual Machine
EVM reference
An interactive reference and contract viewer for the Ethereum Virtual Machine (EVM) bytecode
EVM Prover
A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions
EVM transaction utility
A Motoko library for creating and manipulating EVM transactions
Featured in 4 awesome lists
Each link jumps to the spot where the list mentions evm-semantics.
