EVM-SMT / solver
proof first, evm specific smt solver
☆69Updated 2 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 2 years ago
- ☆75Updated 2 years ago
- ERC20 token swaps via gradual dutch auctions☆44Updated 2 years ago
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- ☆81Updated 2 years ago
- ☆76Updated 2 years ago
- ☆58Updated last year
- ☆36Updated 3 years ago
- Yearn Strategy Mix Using Foundry Framework☆104Updated last year
- Solidity static analyzer☆83Updated last year
- ⛳ Template for Forge + EVM Toolkit☆55Updated 2 years ago
- ☆54Updated 2 years ago
- ☆50Updated 2 years ago
- Cross chain call library for Solidity☆81Updated 2 years ago
- ☆75Updated last year
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago
- A gas competition to see who the best optimizor is☆74Updated 2 years ago
- Book showing how to interact with Ethereum from Rust☆41Updated 3 years ago
- Gas efficient routers for L2 applications☆114Updated 2 years ago
- Example project for forge☆55Updated 3 years ago
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆49Updated 2 years ago
- A mostly mostly reasonable approach to Huff styling.☆80Updated last year
- Contracts for my flashloan workshop/lecture at UPenn☆77Updated 2 years ago
- ☆50Updated 2 years ago
- Publications from Three Sigma.☆52Updated last month
- ☆49Updated 2 years ago
- Minimal ERC4626-style tokenized Vault implementation with ERC1155 accounting.☆66Updated 3 years ago
- Proof-of-concept code for backrunning private transactions using MPC.☆62Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago