sherlock-protocol / sherlock-ctf-0x0View external linksLinks
☆115Feb 27, 2022Updated 3 years ago
Alternatives and similar repositories for sherlock-ctf-0x0
Users that are interested in sherlock-ctf-0x0 are comparing it to the libraries listed below
Sorting:
- ☆268Mar 7, 2023Updated 2 years ago
- Practical tutorials of Certora Prover☆241Sep 27, 2023Updated 2 years ago
- ☆15Jun 24, 2023Updated 2 years ago
- A checklist detailing DevSecOps practices for EVM-based projects.☆149May 20, 2022Updated 3 years ago
- Ethernaut, but in Huff☆28Feb 28, 2023Updated 2 years ago
- ☆39Apr 8, 2022Updated 3 years ago
- A reentrancy attack on the Deadfrenz Lab Pass contract☆19Feb 20, 2022Updated 3 years ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆213Dec 25, 2023Updated 2 years ago
- Damn Vulnerable DeFi - Foundry Version☆510Feb 6, 2024Updated 2 years ago
- Official repository for Paradigm CTF 2021☆543Aug 17, 2022Updated 3 years ago
- A collection of common security issues and possible gas optimizations in solidity smart contracts☆156Oct 16, 2022Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- ☆63Mar 9, 2023Updated 2 years ago
- DEFI Focus Smart Contract Security Capture the Flag☆181Nov 8, 2022Updated 3 years ago
- Heuristics for smart contract auditors☆610Dec 13, 2022Updated 3 years ago
- ☆566Feb 3, 2026Updated last week
- Materials related to security: docs, checklists, processes, etc...☆203Updated this week
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆91May 16, 2025Updated 8 months ago
- Cross chain call library for Solidity☆81Jul 12, 2022Updated 3 years ago
- A collection of EVM puzzles☆846Aug 4, 2023Updated 2 years ago
- Puzzles used in the 2022 Paradigm CTF☆391Sep 16, 2022Updated 3 years ago
- A curated list of resources for Huff language☆315Jan 11, 2024Updated 2 years ago
- ☆102Jul 29, 2022Updated 3 years ago
- ☆55Jul 29, 2025Updated 6 months ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆105May 17, 2023Updated 2 years ago
- The good, the bad, and the ugly of proxy implementations☆104Jan 19, 2024Updated 2 years ago
- DeFiVulnLabsCosmWasm☆51Aug 22, 2023Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆96Jul 20, 2022Updated 3 years ago
- Website for the Underhanded Solidity Contest☆168Nov 22, 2024Updated last year
- ☆88Sep 3, 2025Updated 5 months ago
- Static smart contract code 4naly3er☆550Aug 14, 2024Updated last year
- evm inception: the evm inside the evm via yul and solidity☆227Apr 19, 2023Updated 2 years ago
- EthernautDAO reputation system☆13Jun 1, 2022Updated 3 years ago
- Semgrep rules for smart contracts based on DeFi exploits☆705Jun 2, 2025Updated 8 months ago
- ☆51Jul 5, 2022Updated 3 years ago
- 10 More EVM Puzzles☆169Dec 20, 2023Updated 2 years ago
- Bugs in commonly forked DeFi protocols☆489Oct 3, 2025Updated 4 months ago
- A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition…☆403Oct 11, 2023Updated 2 years ago
- Ethernaut puzzles solved with foundry☆281May 14, 2023Updated 2 years ago