Template repository intended to ease fuzzing components of Solidity projects, especially libraries.
☆214Dec 25, 2023Updated 2 years ago
Alternatives and similar repositories for solidity-fuzzing-boilerplate
Users that are interested in solidity-fuzzing-boilerplate are comparing it to the libraries listed below
Sorting:
- evm inception: the evm inside the evm via yul and solidity☆227Apr 19, 2023Updated 2 years ago
- Solidity mocking provider for testing☆62Aug 4, 2022Updated 3 years ago
- ☆35Jul 8, 2022Updated 3 years ago
- A minimalistic contract to execute a payload and make the code size of the msg.sender appear to be 0.☆138Apr 18, 2022Updated 3 years ago
- Practical tutorials of Certora Prover☆241Sep 27, 2023Updated 2 years ago
- Development framework for Foundry projects☆288Apr 23, 2025Updated 10 months ago
- Damn Vulnerable DeFi - Foundry Version☆511Feb 6, 2024Updated 2 years ago
- A curated list of resources for Huff language☆315Jan 11, 2024Updated 2 years ago
- ☆116Feb 27, 2022Updated 4 years ago
- Material for Solidity Summit 2022 workshop on Foundry☆90May 11, 2022Updated 3 years ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆167Jul 14, 2022Updated 3 years ago
- Solidity – Compilable Cheatsheet☆231Sep 14, 2024Updated last year
- ☆164Jul 30, 2023Updated 2 years ago
- proof first, evm specific smt solver☆69Apr 11, 2022Updated 3 years ago
- Semgrep rules for smart contracts based on DeFi exploits☆706Jun 2, 2025Updated 9 months ago
- ☆10Mar 2, 2023Updated 3 years ago
- Guidelines and training material to write secure smart contracts☆2,457Jan 26, 2026Updated last month
- a globally-accessible knowledge base of adversary tactics and techniques based on real-world observations on decentralized finance☆498Jun 22, 2024Updated last year
- Huff Implementation of VRGDAs☆41Sep 12, 2022Updated 3 years ago
- Dotenv parser for solidity & foundry☆157Aug 17, 2022Updated 3 years ago
- A gas competition to see who the best optimizor is☆74Sep 10, 2022Updated 3 years ago
- List of smart contract optimizations in solidity☆611Apr 3, 2023Updated 2 years ago
- Foundry test utils.☆29Jul 26, 2022Updated 3 years ago
- A Foundry plugin that enables you to plot charts within solidity.☆158Jan 4, 2024Updated 2 years ago
- evm toolkit☆359Jun 21, 2024Updated last year
- Helper smart contracts to deploy and manage upgradeable contracts on Ethereum.☆168Nov 7, 2022Updated 3 years ago
- Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework☆65May 15, 2023Updated 2 years ago
- Heuristics for smart contract auditors☆612Dec 13, 2022Updated 3 years ago
- A collection of practical security-focused guides and checklists for smart contract development☆1,217Nov 15, 2023Updated 2 years ago
- Robust, Feature-Rich Solidity Template Repository for Foundry Projects with Scripting, Testing, and Utility Bash Scripts.☆386Mar 9, 2023Updated 2 years ago
- A collection of EVM puzzles☆846Aug 4, 2023Updated 2 years ago
- A markdown based template for writing spearbit reports☆68Mar 18, 2022Updated 3 years ago
- A simple template to perform whitehacks safely☆181Aug 5, 2023Updated 2 years ago
- ☆42Sep 21, 2023Updated 2 years ago
- Pre-built security properties for commonly forked DeFi protocols☆196Nov 7, 2023Updated 2 years ago
- A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.☆467Jun 24, 2024Updated last year
- Ethernaut, but in Huff☆28Feb 28, 2023Updated 3 years ago
- Template for quickly getting started with developing Rust applications that leverage Foundry for EVM smart contract development☆245Sep 6, 2024Updated last year
- A Foundry template to compile and test Huff contracts.☆51Jun 21, 2022Updated 3 years ago