Smart-Contract-Audit: Definition

Smart-Contract-Audit

Ein Smart-Contract-Audit ist die Prüfung einer bestimmten Codeversion innerhalb eines definierten Sicherheitsumfangs, um Schwachstellen und Logikfehler zu identifizieren. Es kombiniert Expertenanalyse und Tools. Der Bericht dokumentiert Befunde und Einschränkungen; er garantiert keine Fehlerfreiheit und deckt spätere Änderungen, Schlüssel, Schnittstellen oder externe Abhängigkeiten nicht automatisch ab.

Der Umfang eines Audits benennt Repository, Version, Contracts und geprüfte Annahmen. Zu den Methoden können manuelle Durchsicht, statische Analyse, Fuzzing und Invariantenprüfung gehören. Die formale Verifikation bewertet Eigenschaften, die unter einem konkreten Modell formuliert sind.

Die Befunde werden klassifiziert und mit den Korrekturen abgeglichen. Eine spätere Überprüfung kann diese Korrekturen verifizieren, ohne den Bericht automatisch auf neue Funktionen oder Abhängigkeiten auszuweiten.

Der Bericht ist zusammen mit dem deployten Code und dessen Berechtigungen zu lesen. Admin-Schlüssel, Oracles und Schnittstellen können Risiken außerhalb des Prüfumfangs mit sich bringen. Ein Audit dokumentiert einen Prüfprozess, kein Zertifikat der Unverwundbarkeit.