awesome-starknet-security
by amanusk
A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.
AI summary
Starknet Security Resources
A curated collection of resources for securing applications built on Starknet, including tools, audit reports, and tutorials.
- stars
- 52
- forks
- 8
- watching
- 5
- awesome list
- 1
- entries
- 33
What's in the list
33 links in 7 sections, with live GitHub stats.activeno commit in 2y
Tools
- Aegis
Cairo Formal verification tool
amarna
Static-analyzer and linter for the Cairo programming language
Cairo Fuzzer
Cairo Fuzzing tool
cairo-profiler
Profiler for Cairo and Starknet
- cairovm.codes
Compile and debug Sierra code
Caracal
Static analyzer tool over Sierra
entro
Decoding and indexing Starknet data
- Semgrep
Static analyzer for Cairo
sierra-analyzer
Security toolkit in Rust for analyzing Sierra files
Starknet Foundry
Starknet contracts development toolkit
- StarkRekt
Check and reset their token spending permissions on Starknet
- StarkRevoke
Token revocation tool for Starknet
Thoth
Decompiler and security toolkit
CTFs and Wargames / CTFs
- Curta puzzle #13: Ping Pong
Starknet messaging challenge
Paradigm CTF 2022
Paradigm CTF with Solidity and Cairo challenges
StarknetCC-CTF Lisbon 2022
Lisbon 2022 Cairo CTF
CTFs and Wargames / CTF writeups
StarknetCC-CTF
StarknetCC 2022 CTF writeup by pscott
- StarknetCC-CTF
StarknetCC 2022 CTF writeup by Ledger
CTFs and Wargames / Wargames
cairo-damn-vulnerable-defi
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
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
Blogposts and Tutorials / Video tutorials
- Cairo Security (Peteris Erins)
Spearbit seminar on Cairo security
- Code4rena x Starknet Basecamp
Starknet basecamp for first Cairo contest
General / Repositories and Examples
not-so-smart-cairo
Examples of common Cairo smart contract vulnerabilities by Trail of Bits
Nothing in this list matches your filter.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions awesome-starknet-security.