amanusk / awesome-starknet-security
A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.
☆61Updated 6 months ago
Alternatives and similar repositories for awesome-starknet-security:
Users that are interested in awesome-starknet-security are comparing it to the libraries listed below
- CTF challenges made by MiloTruck☆67Updated 6 months ago
- A set of exercises to get started with Cairo0☆19Updated this week
- ☆55Updated last year
- ☆47Updated 3 months ago
- ☆61Updated last year
- Readiness Assessment for CARE Endeavour☆49Updated last year
- ☆68Updated last week
- Public reports of audits performed by Nethermind Security☆44Updated last week
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆67Updated 3 months ago
- ☆60Updated 2 months ago
- ☆36Updated last year
- Smart Contract Property-Based Testing Framework☆109Updated last week
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆68Updated 7 months ago
- List of Halmos resources.☆53Updated last month
- ☆114Updated last year
- 👃Automatically identify missing or incomplete natspec☆93Updated 2 weeks ago
- ☆85Updated last year
- ☆36Updated last year
- A curated list of ZK and Maths resources☆47Updated last year
- ☆48Updated this week
- ☆40Updated 2 months ago
- Diagrams for Solidity contracts☆46Updated last year
- ☆32Updated 2 years ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆123Updated 6 months ago
- This repository contains my Rareskills Solidity Bootcamp work.☆124Updated last year
- ☆102Updated 2 years ago
- Exercises for the Yield 2022 Mentorship progam☆61Updated 2 years ago
- A list of public fuzzing campaigns☆101Updated 2 weeks ago
- ☆55Updated last year
- ☆13Updated 6 months ago