detect hazardous storage writes in Solidity contracts
☆97Sep 23, 2023Updated 2 years ago
Alternatives and similar repositories for slotmachine
Users that are interested in slotmachine are comparing it to the libraries listed below
Sorting:
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Aug 14, 2023Updated 2 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆55Aug 22, 2024Updated last year
- A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.☆429Nov 17, 2023Updated 2 years ago
- Beating OpenZeppelin's Ethernaut in Pure Assembly. Masochists Only.☆24May 9, 2023Updated 2 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- CLI wrapper around ethers-rs to query the ethereum blockchain from the terminal☆20May 7, 2023Updated 2 years ago
- Development framework for Foundry projects☆288Apr 23, 2025Updated 10 months ago
- Foundry Test Suit to test weird ERC20 behavior☆235Mar 23, 2023Updated 2 years ago
- A multi-mode op-stack challenge agent for dispute games written in golang.☆30Apr 6, 2023Updated 2 years ago
- Ethernaut, but in Huff☆28Feb 28, 2023Updated 3 years ago
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Oct 7, 2022Updated 3 years ago
- Optimised Uniswap V2 contracts written in Huff language☆114Apr 22, 2024Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Jul 6, 2022Updated 3 years ago
- A CTF protocol, where players create and solve EVM puzzles to earn NFTs.☆137Feb 25, 2024Updated 2 years ago
- ☆51Jan 22, 2024Updated 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…☆101Apr 4, 2025Updated 11 months ago
- Human readable descriptions for your Ethereum transactions☆64Oct 11, 2022Updated 3 years ago
- Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking☆79Dec 26, 2022Updated 3 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆142Oct 2, 2025Updated 5 months ago
- ☆101Apr 23, 2023Updated 2 years ago
- The most optimized ERC20 & Wrapped Ether implementation.☆144Dec 31, 2023Updated 2 years ago
- ☆286Jan 19, 2026Updated last month
- Boot an Optimism Node, Blazingly Fast.☆25Oct 1, 2023Updated 2 years ago
- The simplest way to spin your own dev / prod rollup, fully configurable.☆98Oct 23, 2024Updated last year
- Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.☆119Dec 4, 2023Updated 2 years ago
- Code examples in Yul☆256Aug 27, 2024Updated last year
- A comprehensive walkthrough of all the nooks and crannies ethers-rs has to offer.☆95Jan 28, 2023Updated 3 years ago
- The world most gas efficient AMM implementation written in Huff based on Uniswap V1 implementation☆51Mar 5, 2023Updated 3 years ago
- Minimal bytecode peephole optimizer☆130Jan 29, 2025Updated last year
- Blazingly fast function selector miner written in Rust.☆78Apr 7, 2023Updated 2 years ago
- Generate tests based on the Branching Tree Technique.☆343Feb 28, 2026Updated last week
- Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.☆529Mar 29, 2024Updated last year
- SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.☆92Apr 9, 2023Updated 2 years ago
- A Huff <> bytecode transpiler☆117May 21, 2025Updated 9 months ago
- A tool for analyzing the security and parameters of a solidity smart contract☆794Feb 14, 2025Updated last year
- ☆15Mar 26, 2023Updated 2 years ago
- convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…☆143Jun 20, 2024Updated last year
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago