EVM-SMT / solver
proof first, evm specific smt solver
☆69Updated 3 years ago
Alternatives and similar repositories for solver:
Users that are interested in solver are comparing it to the libraries listed below
- Making your life easier with simple Univ3 examples☆85Updated 3 years ago
- ☆76Updated 2 years ago
- ☆37Updated 3 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆77Updated 3 years ago
- Force a returning value to a constructor to batch staticcall to huge amount of addresses☆46Updated 2 years ago
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- ☆75Updated 2 years ago
- Cross chain call library for Solidity☆81Updated 2 years ago
- Yearn Strategy Mix Using Foundry Framework☆104Updated last year
- ☆61Updated last year
- Gas efficient routers for L2 applications☆114Updated 2 years ago
- ☆75Updated last year
- A proxy node example using Reth!☆94Updated last year
- Solidity static analyzer☆83Updated last year
- Example project for forge☆55Updated 3 years ago
- ERC20 token swaps via gradual dutch auctions☆44Updated 2 years ago
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Contracts for my flashloan workshop/lecture at UPenn☆77Updated 2 years ago
- ☆51Updated 2 years ago
- Foundry + Yul template☆95Updated last year
- ⛳ Template for Forge + EVM Toolkit☆55Updated 2 years ago
- A Foundry template to compile and test Huff contracts.☆52Updated 2 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆49Updated last year
- ☆58Updated last year
- ☆80Updated 2 years ago
- Book showing how to interact with Ethereum from Rust☆42Updated 3 years ago
- CLI tools intended to be use by smart contract developers for general tasks☆67Updated last year
- ☆54Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year