decentxyz / forge-toolkitLinks
Common contracts for foundry projects.
☆11Updated 6 months ago
Alternatives and similar repositories for forge-toolkit
Users that are interested in forge-toolkit are comparing it to the libraries listed below
Sorting:
- GasBad is an open-source project that evaluates gas efficiency in Solidity libraries☆68Updated last year
- To learn fork testing & on-chain broadcast☆28Updated last year
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆29Updated last year
- Inspired by multichain-auditor, this list shows the difference of decimals positions between the original blockchain and others, only whe…☆31Updated last year
- unhacked challenge 1: reaper☆41Updated 2 years ago
- Diagrams for Solidity contracts☆47Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- ☆38Updated 2 years ago
- ☆19Updated 8 months ago
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆33Updated 4 months ago
- Collection of past CTFs to play and practice locally.☆53Updated 10 months ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆71Updated this week
- ☆52Updated 3 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 10 months ago
- A comprehensive guide to teach you about gas optimization patterns.☆25Updated last year
- Simple Rust script for finding colliding 4byte function selectors☆59Updated 2 years ago
- Publicly available audits and bug reports☆16Updated 2 months ago
- ☆33Updated 2 months ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆58Updated 10 months ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆35Updated this week
- ☆12Updated 8 months ago
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆57Updated last month
- DeFi exploits for educational purposes☆59Updated 2 years ago
- Casual Glider guides and tips☆30Updated 6 months ago
- ☆41Updated 2 years ago
- ☆50Updated 2 years ago
- List of Halmos resources.☆56Updated 5 months ago
- Blazingly fast function selector miner written in Rust.☆79Updated 2 years ago
- Ethernaut CTF solutions with Ape, Vyper, & Huff☆37Updated 2 years ago