a16z / halmos-cheatcodesLinks
☆69Updated 2 months ago
Alternatives and similar repositories for halmos-cheatcodes
Users that are interested in halmos-cheatcodes are comparing it to the libraries listed below
Sorting:
- ☆58Updated last year
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆57Updated 11 months ago
- 2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash☆82Updated last year
- 🩸 A minimal Solidity library for MEV taxes☆59Updated 11 months ago
- Gas efficient routers for L2 applications☆115Updated 2 years ago
- A capital-efficient Uniswap v4 liquidity bootstrapping pool (LBP) hooks contract☆58Updated last year
- Gas Golfing using Huff and Yul☆82Updated 3 years ago
- 🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.☆49Updated last year
- ☆98Updated 2 years ago
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆96Updated 4 months ago
- ☆54Updated 2 years ago
- Cross chain call library for Solidity☆81Updated 3 years ago
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆44Updated 7 months ago
- ☆52Updated 3 years ago
- Experimental hybrid/cross-chain ERC4626 vaults☆52Updated 2 years ago
- The most gas optimized ERC-4337 account - written in Huff☆45Updated last year
- ☆65Updated 2 years ago
- Solidity static analyzer☆83Updated last year
- Cross-chain message testing for Arbitrum with Foundry☆66Updated 2 years ago
- Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking☆78Updated 2 years ago
- Magical Internet Money - EVM chain crypto asset manager, with support for ERC-5564 Stealth Addresses and ERC-6538: Stealth Meta-Address R…☆58Updated 11 months ago
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆60Updated this week
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- Pack data tightly together and save space.☆71Updated 2 years ago
- ☆81Updated 2 years ago
- A ⁵⁄₉-themed NFT to commemorate me running 10000km in 555 days of running everyday.☆62Updated last year
- ☆74Updated last year
- Tribunal is a framework for processing cross-chain swap settlements utilizing The Compact.☆59Updated this week
- Execute programs from forge with an open 2-way communication channel between both☆57Updated last year
- ☆63Updated 2 years ago