williamberman / evm-symbolic-executionLinks
☆38Updated 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
Sorting:
- proof first, evm specific smt solver☆69Updated 3 years ago
- ☆54Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- Rust bindings for Solidity's AST and visitors☆50Updated 2 years ago
- A Foundry template to compile and test Huff contracts.☆51Updated 3 years ago
- Uniswap V4 Huff Hooks☆40Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 3 years ago
- ☆51Updated 2 years ago
- ☆40Updated 3 years ago
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆22Updated 2 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 3 years ago
- Symbolic EVM in Rust (WIP)☆86Updated last year
- Simulate txs to human readable format☆28Updated 2 years ago
- Solidity static analyzer☆83Updated last year
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆50Updated 2 years ago
- Suave/TEE PoCs of MEV Resistant AMMs☆42Updated 7 months ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 3 years ago
- A gas competition to see who the best optimizor is☆74Updated 3 years ago
- ☆34Updated 2 years ago
- ☆74Updated 3 years ago
- An EVM decompiler written in Rust.☆45Updated 2 years ago
- Learn Huff through annotated examples.☆31Updated 3 years ago
- Eclectic notes on static analysis and compilers☆47Updated 3 years ago
- Foundry network provider for the Ape Framework☆33Updated 3 months ago
- ☆20Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- ☆35Updated 3 years ago
- ☆41Updated 3 years ago
- ☆29Updated 2 years ago
- A standalone consensus networking service for listening to events☆53Updated 2 years ago