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
- ☆75Updated 3 years ago
- Gas Golfing using Huff and Yul☆82Updated 2 years ago
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- ☆37Updated 3 years ago
- ☆76Updated 2 years ago
- Yearn Strategy Mix Using Foundry Framework☆105Updated last year
- Measure gas savings with different Solidity optimizations☆54Updated 3 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆49Updated last year
- A mostly mostly reasonable approach to Huff styling.☆80Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- Cross chain call library for Solidity☆81Updated 2 years ago
- ☆58Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- Book showing how to interact with Ethereum from Rust☆43Updated 3 years ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- A gas competition to see who the best optimizor is☆74Updated 2 years ago
- Publications from Three Sigma.☆53Updated last week
- Testing echidna vs. forge fuzzing☆76Updated 2 years ago
- ERC20 token swaps via gradual dutch auctions☆44Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated 2 years ago
- Foundry + Yul template☆96Updated last year
- Minimal repo for Foundry examples and reproducing bugs in Foundry☆46Updated 2 years ago
- Force a returning value to a constructor to batch staticcall to huge amount of addresses☆46Updated 2 years ago
- ☆51Updated last year
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆49Updated 2 years ago
- Fixed point solidity exponentiation.☆75Updated 3 years ago
- ☆58Updated last year
- ☆75Updated last year
- ☆98Updated 2 years ago