moodlezoup / huffidity-poc
☆61Updated last year
Related projects ⓘ
Alternatives and complementary repositories for huffidity-poc
- Example code for testing using Echidna explained during the Spearbit presentation☆39Updated 2 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65Updated last year
- ☆44Updated last year
- Uniswap V4 Huff Hooks☆40Updated last year
- Mine addresses for UniswapV4 Hooks☆39Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- ☆50Updated last year
- ☆39Updated this week
- ☆50Updated last year
- ☆58Updated 10 months ago
- secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations☆57Updated last week
- ☆65Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆50Updated 2 months ago
- Execute programs from forge with an open 2-way communication channel between both☆56Updated 5 months ago
- Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain☆51Updated last year
- ☆58Updated 9 months ago
- ELO calculation as a solidity library (algorithm of 400 / chess ELO)☆33Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- clones-with-immutable-args by wighawag written in Huff.☆27Updated 2 years ago
- simple zk implementations in python☆19Updated 5 months ago
- Starport is a kernel for building lending protocols☆24Updated 5 months ago
- 🥪🦄 Uniswap V2 but resistant to sandwich attacks☆42Updated 2 months ago
- Submodules Kill Solidity☆37Updated last year
- ☆38Updated last year
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆33Updated 8 months ago
- Go-to compilation of smart contract proxy information, for discerning devs and auditors☆23Updated 7 months ago
- utilities for more granular and realistic gas measuring in forge tests☆29Updated 9 months ago
- ☆48Updated last month