EVM-SMT / solver
proof first, evm specific smt solver
☆68Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for solver
- Making your life easier with simple Univ3 examples☆83Updated 2 years ago
- ☆75Updated 2 years ago
- Proof-of-concept code for backrunning private transactions using MPC.☆63Updated last year
- Book showing how to interact with Ethereum from Rust☆40Updated 3 years ago
- ERC20 token swaps via gradual dutch auctions☆44Updated 2 years ago
- Solidity static analyzer☆82Updated 11 months ago
- ☆34Updated 2 years ago
- A gas competition to see who the best optimizor is☆74Updated 2 years ago
- ☆80Updated last year
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- Yearn Strategy Mix Using Foundry Framework☆104Updated last year
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆49Updated last year
- ☆60Updated 11 months ago
- ☆76Updated 10 months ago
- ☆58Updated 9 months ago
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆73Updated 9 months ago
- A mostly mostly reasonable approach to Huff styling.☆79Updated last year
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- ☆50Updated 2 years ago
- Example project for forge☆55Updated 2 years ago
- Overview of Blockspace its demand, pricing, and trading☆49Updated last year
- ☆65Updated last year
- Publications from Three Sigma.☆51Updated last week
- readable evm state diffs, enumerate full contract storage☆134Updated last year
- Testing echidna vs. forge fuzzing☆75Updated last year
- Contracts for my flashloan workshop/lecture at UPenn☆76Updated 2 years ago
- A Unified Yul+ Toolchain☆44Updated 2 years ago