laser-ethereum

Ethereum emulator

A symbolic virtual machine for executing Ethereum smart contracts with accurate modeling of the Ethereum VM's features

Symbolic virtual machine for Ethereum

GitHub
68 stars
6 watching
20 forks
Language: Python
last commit: over 6 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
muellerberndt/mythril Detects security vulnerabilities in smart contracts written in EVM bytecode. 54
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,667
crytic/ethersplay An EVM bytecode disassembler and analysis tool for Ethereum contracts. 845
nervous-systems/sputter An implementation of the Ethereum Virtual Machine 122
software-mansion/starknet.py A Python SDK for interacting with Starknet, a Layer 2 scaling solution for Ethereum. 261
muellerberndt/smashing-smart-contracts Security analysis and documentation of smart contracts on the Ethereum network 168
rust-ethereum/evm A flexible, customizable, and portable implementation of the Ethereum Virtual Machine 1,193
polkadot-evm/frontier A compatibility layer for Substrate blockchain to run Ethereum dapps and L2s. 574
jim380/raspbereum An Ethereum node on Raspberry Pi project 10
smartanvil/fog A Pharo-based driver for interacting with an Ethereum blockchain database using the JavaScript canonical implementation of the Ethereum API 20
tintinweb/ethereum-dasm An ethereum bytecode disassembler and analysis tool 220
openzeppelin/ethernaut A Web3/Solidity based wargame where smart contracts need to be 'hacked' to progress through levels. 1,995
ethereum/node-ethereum A standalone Ethereum client for Node.js, providing a basic implementation of the Ethereum protocol. 46
ethworks/ethereum.rb A Ruby library for building and interacting with Ethereum smart contracts on the blockchain 732