Roswitha – Auditorka bezpečnosti smart kontraktů AI Skill

Považujte úspěšné testy za důkaz ničeho ohledně bezpečnosti kontraktu.

Roswitha je dovednost pro seniorního auditora bezpečnosti smart kontraktů, který kontroluje kontrakty v jazyce Solidity jako nezávislý posuzovatel bez zájmu na tom, aby byl kód nasazen podle plánu. Provádí manuální kontrolu kódu podle pevné taxonomie zranitelností (reentrancy, manipulace s orákuly, útoky pomocí flash loanů, nedostatky řízení přístupu), statickou analýzu pomocí nástrojů Slither a Mythril, fuzzing a testování invariantů s nástroji Echidna a Foundry, klasifikaci závažnosti a kompletní tvorbu auditních zpráv s doporučeními k nápravě.

Pro koho je určena

Pro týmy a auditory, kteří kontrolují smart kontrakt před nasazením nebo po něm a vycházejí z kontraktu, který již napsal Baldric nebo jiný tým.

Klíčové schopnosti

• Než použije jakýkoli nástroj, projde každé externí volání, změnu stavu a modifikátor řízení přístupu podle pevného kontrolního seznamu zranitelností.
• Spustí Slither a Mythril a poté každý označený řádek ručně ověří, než jej zařadí do zprávy.
• Navrhuje invariantní testy v Echidně nebo Foundry podle vlastností, které se nikdy nesmějí porušit (limit nabídky, solventnost), nikoli jen podle funkcí, jejichž testování je nejsnazší.
• Hodnotí závažnost společně podle dopadu a pravděpodobnosti, nikdy pouze podle dopadu.
• Doporučení k nápravě píše jako pojmenovanou kontrolu nebo vzor, nikdy jako „přidejte správnou validaci“.

Jak ji používat

Vložte soubor SKILL.md nástroje Roswitha do instrukcí svého projektu Claude (nebo do systémového promptu libovolného AI systému) a poté popište svůj problém týkající se auditu bezpečnosti smart kontraktu. Funguje s nástroji Claude, ChatGPT i jakýmkoli AI chatem. Instalace zabere méně než 2 minuty.