williamberman / evm-symbolic-execution
☆34Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for evm-symbolic-execution
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- ☆54Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- ☆50Updated last year
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 2 years ago
- Simulate txs to human readable format☆28Updated last year
- ☆31Updated 2 years ago
- ☆33Updated 2 years ago
- Suave/TEE PoCs of MEV Resistant AMMs☆40Updated 5 months ago
- proof first, evm specific smt solver☆68Updated 2 years ago
- ☆18Updated 4 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- Rust bindings for Solidity's AST and visitors☆49Updated last year
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- ☆17Updated 3 months ago
- Minimal template for using the Arbiter framework for simulations.☆45Updated last week
- ☆41Updated 2 years ago
- A gas competition to see who the best optimizor is☆74Updated 2 years ago
- An EVM decompiler written in Rust.☆45Updated last year
- Foundry network provider for the Ape Framework☆33Updated 2 weeks ago
- ☆22Updated last year
- Book showing how to interact with Ethereum from Rust☆40Updated 3 years ago
- ☆46Updated 5 months ago
- Example to extend Reth to include custom APIs☆27Updated last year
- ☆21Updated last year
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆49Updated last year
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated last year
- public repo of research☆22Updated last week
- ergonomic devtooling for foundry☆46Updated 4 months ago