takenobu-hs / ethereum-evm-illustrated
Ethereum EVM illustrated
☆272Updated 2 years ago
Alternatives and similar repositories for ethereum-evm-illustrated:
Users that are interested in ethereum-evm-illustrated are comparing it to the libraries listed below
- A quick reference for EVM opcodes☆778Updated 5 months ago
- ☆343Updated this week
- Open-Source Libraries for Solidity by ABDK Consulting☆401Updated 10 months ago
- Implementation of a novel practical scheme for submarine commitments☆227Updated 2 years ago
- Smart contracts which are formally verified☆722Updated 2 years ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆323Updated last year
- Contains lists of things to know/remember in different topics☆184Updated 3 years ago
- Utility Solidity library composed of basic operations for tightly packed bytes arrays☆519Updated 4 months ago
- Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference☆744Updated last week
- Ethereum transaction visualizer. Generates UML sequence diagram for a transaction's contract calls.☆450Updated this week
- Rewrite of the Yellowpaper in non-Yellowpaper syntax.☆795Updated 5 years ago
- A Solidity smart contract auditing checklist☆359Updated last year
- Simplify Ethereum security analysis and testing☆339Updated last year
- Python package with core transaction decoding functions.☆457Updated 2 months ago
- 🕵️ allows you to see internal calls, events and storage operations in the console☆357Updated 4 months ago
- Evm laboratory☆260Updated 3 weeks ago
- Utilities for interacting with the Ethereum virtual machine☆371Updated 5 years ago
- Safe arithmetic☆271Updated 2 years ago
- Scribble instrumentation tool☆325Updated last month
- Registry of 4byte function signatures and their human readable counterparts.☆210Updated last year
- Code and slides for OpenZeppelin Workshops☆431Updated last year
- Source repo for Upgrading Ethereum, A technical handbook on Ethereum's move to proof of stake and beyond.☆221Updated 10 months ago
- A symbolic testing tool for EVM smart contracts☆855Updated this week
- Ethereum Virtual Machine tools and guide☆447Updated 3 years ago
- An interactive Solidity Shell☆544Updated last year
- A general purpose price feed oracle built on Uniswap v2 that uses merkle proofs under the hood.☆256Updated 2 years ago
- Documentation generator for Solidity projects☆454Updated 2 months ago
- Foundry-based template for developing Solidity smart contracts☆580Updated last month
- Generate Solidity interface from ABI JSON☆325Updated last year
- symbolic EVM evaluator☆252Updated this week