williamberman / evm-symbolic-execution
☆36Updated 2 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
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- ☆54Updated 2 years ago
- ☆51Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- ☆18Updated 6 months ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated last year
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- proof first, evm specific smt solver☆69Updated 2 years ago
- Rust bindings for Solidity's AST and visitors☆49Updated last year
- Simulate txs to human readable format☆28Updated 2 years ago
- ☆33Updated 2 years ago
- Uniswap V4 Huff Hooks☆40Updated last year
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆21Updated 2 years ago
- A Solidity library designed to cram as many arbitrary values into as small a space as possible.☆44Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- Suave/TEE PoCs of MEV Resistant AMMs☆39Updated 7 months ago
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- Example to extend Reth to include custom APIs☆27Updated last year
- Minimal template for using the Arbiter framework for simulations.☆45Updated last week
- An EVM decompiler written in Rust.☆45Updated 2 years ago
- ☆41Updated 2 years ago
- ergonomic devtooling for foundry☆46Updated 6 months ago
- MEV Olympics☆44Updated last month
- ☆56Updated 2 years ago
- 🦄 🦄 🦄 Core smart contracts of Uniswap v3☆35Updated 2 years ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- public repo of research☆22Updated 2 months ago
- ☆22Updated last year