williamberman / evm-symbolic-execution
☆33Updated 2 years ago
Related projects: ⓘ
- ☆53Updated last year
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- Simulate txs to human readable format☆28Updated last year
- ☆18Updated 2 months ago
- ☆50Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- ☆17Updated last month
- proof first, evm specific smt solver☆67Updated 2 years ago
- Example to extend Reth to include custom APIs☆28Updated 10 months ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 2 years ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated last year
- Uniswap V4 Huff Hooks☆40Updated last year
- ☆33Updated last year
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆21Updated last year
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- A Solidity library designed to cram as many arbitrary values into as small a space as possible.☆44Updated last year
- Utils for flashbots/mempool-dumpster☆34Updated last week
- ☆19Updated 11 months ago
- ☆31Updated last year
- Discrete event simulator built in Rust 🦀☆13Updated last year
- Rust bindings for Solidity's AST and visitors☆49Updated last year
- MEV Olympics☆44Updated last year
- ☆39Updated 2 years ago
- public repo of research☆22Updated 3 months ago
- Minimal template for simulating contracts with arbiter.☆45Updated 3 months ago
- ☆40Updated 2 years ago
- unhacked challenge 2: schnoodle☆22Updated 2 years ago
- Suave/TEE PoCs of MEV Resistant AMMs☆38Updated 3 months ago