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
68 stars
6 watching
20 forks
Language: Python
last commit: over 6 years ago
Linked from 1 awesome list
pirapira/awesome-ethereum-virtual-machineRelated 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 | 366 |
 bluealloy/revm | Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity. | 1,658 |
 crytic/ethersplay | An EVM bytecode disassembler and analysis tool for Ethereum contracts. | 842 |
 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. | 260 |
| 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,190 |
 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 | 219 |
 openzeppelin/ethernaut | A Web3/Solidity based wargame where smart contracts need to be 'hacked' to progress through levels. | 1,986 |
| 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 | 731 |