tinyzkevm

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.

46 stars

6 watching

2 forks

Language: Python

last commit: about 5 years ago

Related projects:

Repository	Description	Stars
pipermerriam/py-evm	A Python implementation of the Ethereum Virtual Machine.	40
ethereum/evmlab	Utilities for interacting with the Ethereum virtual machine	367
runtimeverification/evm-semantics	Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language.	509
brockelmore/solvm	An experimental implementation of a miniature EVM inside another EVM using Solidity and YUL	228
etcdevteam/sputnikvm	An Ethereum Virtual Machine implementation designed to be efficient and adaptable across different blockchain networks.	280
bluealloy/revm	Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity.	1,685
nervous-systems/sputter	An implementation of the Ethereum Virtual Machine	122
ethereum/evmone	An implementation of the Ethereum Virtual Machine	872
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
fvictorio/evm-puzzles	A collection of puzzles to test Ethereum Virtual Machine (EVM) functionality by solving specific transaction-related challenges.	821
crytic/pyevmasm	A Python library for assembling and disassembling the Ethereum Virtual Machine's instruction set	362
crytic/ida-evm	A Python-based toolset for reverse-engineering Ethereum Virtual Machine (EVM) binaries	311
stavrosorf/ev2gym	A simulation environment for optimizing electric vehicle charging and grid management	56
crytic/ethersplay	An EVM bytecode disassembler and analysis tool for Ethereum contracts.	844