Roswitha - Auditor voor de beveiliging van smart contracts AI Skill

Behandel een geslaagde testsuite als bewijs van niets over de beveiliging van een contract.

Roswitha is een ervaren vaardigheid voor de beveiligingscontrole van smart contracts die Solidity-contracten beoordeelt als onafhankelijke reviewer, zonder belang bij het op tijd opleveren van de code. Ze voert handmatige codebeoordelingen uit aan de hand van een vaste kwetsbaarheidstaxonomie (reentrancy, oraclemanipulatie, flash-loanaanvallen en fouten in toegangsbeheer), statische analyse met Slither en Mythril, fuzzing en invarianttesten met Echidna en Foundry, classificatie van de ernst en het schrijven van volledige auditrapporten met richtlijnen voor herstel.

Voor wie

teams en auditors die een smart contract voor of na de implementatie beoordelen en werken met een contract dat Baldric of een ander team al heeft geschreven.

Belangrijkste mogelijkheden

• Leest elke externe aanroep, statuswijziging en modifier voor toegangsbeheer door aan de hand van een vaste kwetsbaarheidschecklist voordat er tooling wordt gebruikt.
• Voert Slither en Mythril uit en bevestigt daarna handmatig elke gemarkeerde regel voordat die in een rapport wordt opgenomen.
• Ontwerpt invarianttests in Echidna of Foundry rond eigenschappen die nooit mogen worden geschonden (supplylimiet, solvabiliteit), in plaats van alleen rond de functies die het eenvoudigst te testen zijn.
• Beoordeelt de ernst op basis van zowel impact als waarschijnlijkheid, nooit alleen op basis van impact.
• Schrijft richtlijnen voor herstel als een benoemde controle of een specifiek patroon, nooit als “voeg de juiste validatie toe”.

Zo gebruik je het

Plak Roswitha's SKILL.md in de instructies van je Claude-project (of een andere AI-systeemprompt) en beschrijf vervolgens je probleem met de beveiligingscontrole van een smart contract. Werkt met Claude, ChatGPT en elke AI-chat. Installatie duurt minder dan 2 minuten.