awesome-starknet-security
Starknet Security Resources
A curated collection of resources for securing applications built on Starknet, including tools, audit reports, and tutorials.
A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.
52 stars
5 watching
8 forks
last commit: about 2 years agoLinked from 1 awesome list
cairocairo-langsecuritystarknetweb3
Awesome Starknet Security / Tools | |||
| Aegis | Cairo Formal verification tool | ||
| amarna | 148 | over 2 years ago | Static-analyzer and linter for the Cairo programming language |
| Cairo Fuzzer | 120 | over 2 years ago | Cairo Fuzzing tool |
| cairo-profiler | 32 | almost 2 years ago | Profiler for Cairo and Starknet |
| cairovm.codes | Compile and debug Sierra code | ||
| Caracal | 136 | over 2 years ago | Static analyzer tool over Sierra |
| entro | 24 | about 2 years ago | Decoding and indexing Starknet data |
| Semgrep | Static analyzer for Cairo | ||
| sierra-analyzer | 10 | almost 2 years ago | Security toolkit in Rust for analyzing Sierra files |
| Starknet Foundry | 330 | almost 2 years ago | Starknet contracts development toolkit |
| StarkRekt | Check and reset their token spending permissions on Starknet | ||
| StarkRevoke | Token revocation tool for Starknet | ||
| Thoth | 249 | almost 2 years ago | Decompiler and security toolkit |
Awesome Starknet Security / CTFs and Wargames / CTFs | |||
| Curta puzzle #13: Ping Pong | Starknet messaging challenge | ||
| Paradigm CTF 2022 | 390 | about 4 years ago | Paradigm CTF with Solidity and Cairo challenges |
| StarknetCC-CTF Lisbon 2022 | 5 | almost 4 years ago | Lisbon 2022 Cairo CTF |
Awesome Starknet Security / CTFs and Wargames / CTF writeups | |||
| StarknetCC-CTF | 20 | almost 4 years ago | StarknetCC 2022 CTF writeup by pscott |
| StarknetCC-CTF | StarknetCC 2022 CTF writeup by Ledger | ||
Awesome Starknet Security / CTFs and Wargames / Wargames | |||
| cairo-damn-vulnerable-defi | 21 | about 3 years ago | Cairo and Starknet challenges inspired by Capture the Ether |
| Node Guardians | Online wargame and challenge with quests and standalone challenges | ||
| Starknet-Security-Challenges | Cairo and Starknet challenges inspired by Capture the Ether | ||
| Underhanded Cairo | Cairo challenges in cairopractice.com | ||
Awesome Starknet Security / Blogposts and Tutorials | |||
| Adventures with Account Abstraction – Risks and Mitigations in __validate__ | Considerations for function of Starknet smart accounts | ||
| Auditing Cairo 1.0 Contracts | Cairo auditing tips and pitfalls | ||
| Cairo 0.x Security | Cairo 0.x pitfalls and considerations | ||
| Cairo Contracts and pitfalls overview | Cairo traps and vulnerabilities | ||
| Cairo: the Starknet way to writing safe code | Comparing Cairo and Solidity for smart contracts | ||
| Introduction to Cairo 1 smart-contracts security | Introduction to Cairo 1 security, tips and considerations | ||
| Under the hood of Cairo 1 | Understanding Sierra code | ||
| Zero-Click Argent-X Wallet Contract Vulnerability, Explained | Vulnerability in implementing Starknet smart account | ||
Awesome Starknet Security / Blogposts and Tutorials / Video tutorials | |||
| Cairo Security (Peteris Erins) | Spearbit seminar on Cairo security | ||
| Code4rena x Starknet Basecamp | Starknet basecamp for first Cairo contest | ||
Awesome Starknet Security / General / Repositories and Examples | |||
| not-so-smart-cairo | 2,240 | almost 2 years ago | Examples of common Cairo smart contract vulnerabilities by Trail of Bits |
keep-starknet-strange/awesome-starknet
software-mansion/starknet-jvm