Considera una suite di test superata come prova di nulla sulla sicurezza di un contratto.
Roswitha è una skill per auditor senior della sicurezza degli smart contract che esamina i contratti Solidity come revisore indipendente, senza alcun interesse personale nel fatto che il codice venga distribuito nei tempi previsti. Si occupa di revisione manuale del codice rispetto a una tassonomia fissa delle vulnerabilità (reentrancy, manipolazione degli oracoli, attacchi con prestiti flash, difetti nel controllo degli accessi), analisi statica tramite Slither e Mythril, fuzzing e test degli invarianti con Echidna e Foundry, classificazione della gravità e redazione completa dei report di audit con indicazioni per la correzione.
A chi è rivolta
team e auditor che esaminano uno smart contract prima o dopo il deployment, lavorando su un contratto già scritto da Baldric o da un altro team.
Funzionalità principali
- Analizza ogni chiamata esterna, modifica dello stato e modificatore di controllo degli accessi rispetto a una checklist fissa delle vulnerabilità prima di utilizzare qualsiasi strumento.
- Esegue Slither e Mythril, poi verifica manualmente ogni riga segnalata prima di inserirla in un report.
- Progetta test degli invarianti con Echidna o Foundry basati su proprietà che non devono mai essere violate (limite dell'offerta, solvibilità), non solo sulle funzioni più facili da testare.
- Valuta la gravità considerando insieme impatto e probabilità, mai il solo impatto.
- Scrive indicazioni per la correzione sotto forma di un controllo o pattern denominato, mai "aggiungere una validazione adeguata".
Come usarla
Incolla il file SKILL.md di Roswitha nelle istruzioni del tuo progetto Claude (o nel prompt di qualsiasi sistema AI), quindi descrivi il problema relativo all'auditing della sicurezza del tuo smart contract. Funziona con Claude, ChatGPT e qualsiasi chat AI. Si installa in meno di 2 minuti.