EVM-SMT / solverLinks
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
Sorting:
- Making your life easier with simple Univ3 examples☆85Updated 3 years ago
- ☆38Updated 3 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 3 years ago
- ☆77Updated 3 years ago
- ☆74Updated 3 years ago
- Cross chain call library for Solidity☆81Updated 3 years ago
- Gas Golfing using Huff and Yul☆82Updated 3 years ago
- Solidity static analyzer☆83Updated last year
- Proof-of-concept code for backrunning private transactions using MPC.☆64Updated 2 years ago
- ERC20 token swaps via gradual dutch auctions☆44Updated 3 years ago
- readable evm state diffs, enumerate full contract storage☆138Updated 2 years ago
- ☆61Updated last year
- ☆99Updated 2 years ago
- A gas competition to see who the best optimizor is☆74Updated 3 years ago
- A proxy node example using Reth!☆94Updated 2 years ago
- An easy tool to apply transactions to the current EVM state. Optimized for MEV.☆77Updated 4 years ago
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- ☆87Updated 3 years ago
- Gas efficient routers for L2 applications☆115Updated 3 years ago
- Forkable hardhat & foundry template for thorough evm development.☆87Updated 3 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆50Updated last year
- CLI tools intended to be use by smart contract developers for general tasks☆67Updated 2 years ago
- standardized framework to simulate governance proposals with forge☆57Updated 2 years ago
- Yearn Strategy Mix Using Foundry Framework☆105Updated 2 years ago
- ☆81Updated 2 years ago
- ☆73Updated 2 years ago
- Complex numbers for Solidity☆55Updated last year
- Tools for Yul.☆138Updated 2 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago