iFrostizz / statify
generate a state machine of smart contracts
☆15Updated last year
Alternatives and similar repositories for statify:
Users that are interested in statify are comparing it to the libraries listed below
- A visual studio code extension that automatically generate the stack comments for Huff.☆26Updated last year
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆13Updated last year
- ☆17Updated 8 months ago
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆49Updated 2 years ago
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- A very simple foundry template for optimal contract testing.☆12Updated last month
- Arbitrage liquidity pools across two different AMMs with flashloans☆18Updated 3 years ago
- Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.☆28Updated 2 years ago
- Ethernaut, but in Huff☆28Updated 2 years ago
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- ☆29Updated 2 years ago
- EIP-1167 Minimal Proxy Contract written in Huff☆25Updated 2 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- This is my solution. If you think you can further optimize it - be my guest!☆23Updated 2 years ago
- ☆51Updated last year
- gas comparisons between vyper and solady☆20Updated 6 months ago
- solidity compression utility☆20Updated 6 months ago
- Contract for Smart Cars in the 0xmonaco challenge from Paradigm CTF 2022☆45Updated 2 years ago
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆27Updated 2 years ago
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Mine addresses for UniswapV4 Hooks☆40Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- ☆63Updated 2 years ago
- Ethereum development made easy. Rust-powered toolkit for devs that inhabit the EVM.☆26Updated 10 months ago
- A barebones framework for hand tuned smart contracts in pure opcodes.☆47Updated 2 years ago
- Uniswap V4 Huff Hooks☆40Updated last year
- Mutation testing tool for circom☆16Updated last year
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated 2 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago