runtimeverification / evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
☆520Updated this week
Alternatives and similar repositories for evm-semantics:
Users that are interested in evm-semantics are comparing it to the libraries listed below
- EVM disassembler☆554Updated 2 years ago
- The start page about my efforts around smart contract verification☆299Updated 2 years ago
- Utilities for interacting with the Ethereum virtual machine☆372Updated 5 years ago
- Ethereum Virtual Machine tools and guide☆447Updated 3 years ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆325Updated last year
- K framework proof explorer & smart contract specification format☆123Updated 3 years ago
- Ethereum solidity graph plain debugger. To have the whole picture when debugging.☆351Updated 2 years ago
- A formal verifier and analysis tool for Solidity Smart Contracts☆248Updated 2 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆162Updated 3 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆240Updated 2 years ago
- evm binary static analysis☆354Updated last year
- EVM dissassembler☆851Updated last year
- EVMC – Ethereum Client-VM Connector API☆358Updated last week
- Common tests for all Ethereum implementations☆588Updated last week
- Smart contract specification language☆234Updated 2 weeks ago
- Get a merkle-proof from the blockchain. Verify it locally.☆191Updated 11 months ago
- zkSNARKS tutorial☆297Updated 6 years ago
- Symbolic virtual machine for Ethereum☆68Updated 6 years ago
- An ethereum evm bytecode disassembler and static/dynamic analysis tool☆221Updated 5 years ago
- scale ethereum with snarks☆366Updated 2 years ago
- Ethereum EVM illustrated☆276Updated 2 years ago
- MythX smart contract security verification plugin for Truffle Framework☆125Updated 3 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆131Updated 2 years ago
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆220Updated 5 years ago
- Simplify Ethereum security analysis and testing☆340Updated last month
- Scribble instrumentation tool☆325Updated 3 months ago
- Visualize Solidity control flow for smart contract security analysis. ⇆☆1,028Updated 2 years ago
- The Ethereum EVM JIT☆168Updated 2 years ago
- Hera: Ewasm virtual machine conforming to the EVMC API☆182Updated 2 years ago
- Ethereum end-to-end test harness☆439Updated this week