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 last year
- Solidity static analyzer☆83Updated last year
- rust bindings for various defi projects☆66Updated 3 years ago
- ☆74Updated 3 years ago
- An EVM decompiler written in Rust.☆45Updated 2 years ago
- Suave/TEE PoCs of MEV Resistant AMMs☆43Updated 6 months ago
- Symbolic EVM in Rust (WIP)☆86Updated last year
- A standalone consensus networking service for listening to events☆53Updated 2 years ago
- ☆51Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- Gas Golfing using Huff and Yul☆82Updated 3 years ago
- Simulate txs to human readable format☆28Updated 2 years ago
- Run Reth+Prometheus+Grafana locally via docker-compose☆68Updated 2 years ago
- ☆29Updated 2 years ago
- Uniswap V4 Huff Hooks☆40Updated 2 years ago
- ☆27Updated 2 years ago
- A mostly mostly reasonable approach to Huff styling.☆80Updated 2 years ago
- Foundry network provider for the Ape Framework☆33Updated 3 months ago
- ☆51Updated last year
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆50Updated 2 years ago
- ☆40Updated 3 years ago
- A Foundry template to compile and test Huff contracts.☆51Updated 3 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 3 years ago
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 3 years ago
- ☆54Updated 3 years ago
- ☆41Updated 2 years ago