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 7 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,685
crytic/ethersplay An EVM bytecode disassembler and analysis tool for Ethereum contracts. 844
nervous-systems/sputter An implementation of the Ethereum Virtual Machine 122
software-mansion/starknet.py An SDK for interacting with the Starknet blockchain. 262
muellerberndt/smashing-smart-contracts Security analysis and documentation of smart contracts on the Ethereum network 169
rust-ethereum/evm A flexible, customizable, and portable implementation of the Ethereum Virtual Machine 1,200
polkadot-evm/frontier A compatibility layer for Substrate blockchain to run Ethereum dapps and L2s. 578
jim380/raspbereum An Ethereum node on Raspberry Pi project 11
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 219
openzeppelin/ethernaut A Web3/Solidity based wargame where smart contracts need to be 'hacked' to progress through levels. 2,009
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