Materials related to security: docs, checklists, processes, etc...
☆204Feb 11, 2026Updated 2 weeks ago
Alternatives and similar repositories for security
Users that are interested in security are comparing it to the libraries listed below
Sorting:
- ☆115Feb 27, 2022Updated 4 years ago
- Proof of Concept of (now fixed) vulnerability in Notional smart contracts☆41Oct 30, 2022Updated 3 years ago
- Barebones Solidity smart contract fuzzer☆96Jul 20, 2022Updated 3 years ago
- ☆568Updated this week
- a globally-accessible knowledge base of adversary tactics and techniques based on real-world observations on decentralized finance☆498Jun 22, 2024Updated last year
- Practical tutorials of Certora Prover☆241Sep 27, 2023Updated 2 years ago
- A gas competition to see who the best optimizor is☆74Sep 10, 2022Updated 3 years ago
- GobblerWatch: Discord notifications for ArtGobblers☆21Mar 6, 2023Updated 2 years ago
- Smart Contract Vulnerabilities (SCV) List☆507Aug 22, 2023Updated 2 years ago
- Heuristics for smart contract auditors☆611Dec 13, 2022Updated 3 years ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆214Dec 25, 2023Updated 2 years ago
- A comprehensive walkthrough of all the nooks and crannies ethers-rs has to offer.☆95Jan 28, 2023Updated 3 years ago
- utilities for more granular and realistic gas measuring in forge tests☆29Feb 9, 2024Updated 2 years ago
- ☆164Jul 30, 2023Updated 2 years ago
- ☆108Feb 28, 2024Updated 2 years ago
- POC for DeFi Vulnerabilities☆201Aug 28, 2022Updated 3 years ago
- Guidelines and training material to write secure smart contracts☆2,456Jan 26, 2026Updated last month
- ☆82Dec 2, 2022Updated 3 years ago
- Formally verifying consistency between Solmate and Solady using Halmos☆55Aug 22, 2024Updated last year
- Opinionated security and code quality standard for Solidity smart contracts.☆2,164Jul 2, 2023Updated 2 years ago
- A curated list of awesome Ethereum security references☆1,461Aug 20, 2024Updated last year
- ☆17Aug 29, 2022Updated 3 years ago
- ☆63Mar 9, 2023Updated 2 years ago
- ☆286Jan 19, 2026Updated last month
- 🚀 Try the Learn EVM Explorer we just launched!!!☆1,800Feb 20, 2026Updated last week
- A CTF protocol, where players create and solve EVM puzzles to earn NFTs.☆137Feb 25, 2024Updated 2 years ago
- An interactive Solidity Shell☆541May 28, 2023Updated 2 years ago
- A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.☆41Jul 31, 2023Updated 2 years ago
- A chronological and (hopefully) complete list of reentrancy attacks to date.☆1,590Nov 24, 2025Updated 3 months ago
- A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.☆466Jun 24, 2024Updated last year
- A checklist detailing DevSecOps practices for EVM-based projects.☆149May 20, 2022Updated 3 years ago
- ☆15Jun 24, 2023Updated 2 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- ☆31Apr 6, 2022Updated 3 years ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆105May 17, 2023Updated 2 years ago
- ☆195Nov 5, 2021Updated 4 years ago
- A solution to hats.finance's first CTF challenge☆10May 7, 2022Updated 3 years ago
- Limits asset outflows from contracts within customisable timeframes☆11May 7, 2022Updated 3 years ago
- Solidity CTF challenge from BSides TLV 2022☆14Jul 8, 2022Updated 3 years ago