Smart-Contract-Audit

Ein Smart-Contract-Audit ist die strukturierte Prüfung des Protokollcodes durch Sicherheitsfachleute, die nach Fehlern suchen, durch die Gelder gestohlen, eingefroren oder falsch verbucht werden könnten. Ein typisches Audit verbindet manuelles Lesen Zeile für Zeile mit automatisierter Analyse und Testszenarien und endet in einem Bericht, der die Funde nach Schweregrad auflistet und die Korrekturen des Teams dokumentiert. Weil ausgerollte Verträge oft nicht mehr änderbar sind, wiegt das Finden eines Fehlers vor dem Start weit schwerer als bei gewöhnlicher Software. Ein Audit belegt Sorgfalt, ist aber keine Garantie: Es betrifft eine bestimmte Codeversion zu einem bestimmten Datum, kann nicht jeden ökonomischen Angriff vorhersehen und sagt nichts über die Absichten des Teams. Wichtiger als das Siegel sind Prüfer, Prüfumfang und tatsächlich behobene Funde.