williamberman / evm-symbolic-execution
☆37Updated 3 years ago
Alternatives and similar repositories for evm-symbolic-execution:
Users that are interested in evm-symbolic-execution are comparing it to the libraries listed below
- ☆54Updated 2 years ago
- ☆51Updated last year
- Simulate txs to human readable format☆28Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 2 years ago
- ☆33Updated 2 years ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- ☆56Updated 2 years ago
- Suave/TEE PoCs of MEV Resistant AMMs☆40Updated 2 months ago
- ☆17Updated 8 months ago
- Rust bindings for Solidity's AST and visitors☆50Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- Macros + Primitives for PADE format☆29Updated 2 weeks ago
- ☆18Updated 9 months ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated 2 years ago
- ☆41Updated 2 years ago
- ergonomic devtooling for foundry☆46Updated 10 months ago
- A mostly mostly reasonable approach to Huff styling.☆80Updated last year
- An EVM decompiler written in Rust.☆46Updated 2 years ago
- Uniswap V4 Huff Hooks☆40Updated last year
- ☆21Updated last year
- ☆75Updated 2 years ago
- ☆27Updated last year
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆22Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 9 months ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆34Updated last year
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- ☆40Updated 2 years ago