Ein Smart-Contract-Audit wird oft wie ein Sicherheitssiegel behandelt: auditiert bedeutet sicher, nicht auditiert bedeutet riskant. Die Realit\u00e4t ist enger gefasst \u2013 und gerade dadurch n\u00fctzlicher, wenn man sie versteht. Ein Audit ist eine strukturierte \u00dcberpr\u00fcfung, die bestimmte, bekannte Fehlerkategorien aufdeckt \u2013 es ist keine Garantie, und auditierte Protokolle haben trotzdem Nutzergelder durch Exploits verloren. Dieser Beitrag beschreibt, was ein Audit tats\u00e4chlich leistet und wo seine Grenzen liegen.<\/p>\n
Ein Smart-Contract-Audit ist eine manuelle und automatisierte \u00dcberpr\u00fcfung des Codes eines Vertrags, die in der Regel vor dem Deployment stattfindet und nach bekannten Schwachstellenmustern sucht: Reentrancy-Fehler, Integer-Overflow und -Underflow, Fehler in der Zugriffskontrolle, die es einer falschen Adresse erlauben, eine privilegierte Funktion aufzurufen, sowie Logikfehler, die vom erkl\u00e4rten Zweck des Vertrags abweichen. Auditoren gleichen den Vertrag zudem mit der eigenen Dokumentation des Projekts ab und suchen nach Stellen, an denen der Code etwas anderes tut, als er vorgibt.<\/p>\n
Da Smart Contracts exakt so ausgef\u00fchrt werden, wie sie geschrieben sind, und sich nach dem Deployment nur schwer \u00e4ndern lassen, ist diese Fehlerkategorie ungew\u00f6hnlich folgenreich: Ein Fehler, den eine klassische Anwendung still patchen k\u00f6nnte, kann bei einem laufenden Vertrag mit realem Wert in dem Moment ausgenutzt werden, in dem er entdeckt wird. Das ist der Kerngrund, warum Audits als eigenst\u00e4ndige Praxis existieren und nicht einfach Teil der gew\u00f6hnlichen Code-Review sind.<\/p>\n
Etablierte, gut verstandene Schwachstellenklassen sind der Bereich, in dem Audits sich ihren Ruf verdienen. Reentrancy \u2013 bei der ein b\u00f6sartiger Vertrag den auditierten Vertrag erneut aufruft, bevor dessen erster Aufruf abgeschlossen ist, und so durch wiederholte Auszahlungen Gelder abzieht \u2013 ist ein Lehrbuchfall, den erfahrene Auditoren routinem\u00e4\u00dfig pr\u00fcfen, gerade weil er einige der fr\u00fchesten und teuersten Exploits der Branche verursacht hat. L\u00fccken in der Zugriffskontrolle, ungepr\u00fcfte externe Aufrufe und vorhersagbare Zufallswerte fallen in dieselbe Kategorie: bekannte Fehlermodi mit bekannten Erkennungsmethoden.<\/p>\n
F\u00fcr diese Kategorien senkt ein kompetentes Audit das Risiko sp\u00fcrbar. Ein Vertrag, der von einer renommierten Firma gepr\u00fcft wurde, scheitert nachweislich seltener an einem bekannten Angriffsmuster als einer, der das nicht wurde.<\/p>\n
Bei neuartigen Exploits, komplexen Interaktionen zwischen mehreren Vertr\u00e4gen und \u00f6konomischen Design-Fehlern, die nichts mit einem Programmierfehler zu tun haben, sind Audits deutlich weniger zuverl\u00e4ssig. Ein Vertrag kann exakt nach Spezifikation umgesetzt sein und trotzdem ausnutzbar bleiben, weil die Spezifikation selbst einen Fehler enth\u00e4lt \u2013 ein Orakel-Preisfeed, das manipuliert werden kann, eine Anreizstruktur, die ein von den Entwicklern nicht vorhergesehenes Verhalten belohnt, oder ein Governance-Mechanismus, den ein gut finanzierter Angreifer vor\u00fcbergehend kapern kann. Nichts davon sind Fehler im klassischen Sinne, und keine noch so gr\u00fcndliche Code-Review deckt einen Design-Fehler auf, nach dem der Auditor nicht gezielt sucht.<\/p>\n
Audits sind zudem eine Momentaufnahme. Ein Vertrag kann auditiert und danach ohne erneute Pr\u00fcfung ver\u00e4ndert werden, oder mit anderen Vertr\u00e4gen auf Weisen kombiniert werden, die das urspr\u00fcngliche Audit nie ber\u00fccksichtigt hat. Das Kernmerkmal von DeFi \u2013 genehmigungsfreie Komponierbarkeit, bei der jeder Vertrag jeden anderen aufrufen kann \u2013 ist zugleich der Grund, warum das Audit eines isolierten Vertrags keine Sicherheit garantieren kann, sobald dieser mit Vertr\u00e4gen interagiert, die nie gemeinsam gepr\u00fcft wurden.<\/p>\n
Ein Audit sollte als sp\u00fcrbare Risikominderung gegen\u00fcber bekannten Fehlerkategorien verstanden werden, nicht als Sicherheitsnachweis. Ein ver\u00f6ffentlichter Audit-Bericht lohnt die Lekt\u00fcre, nicht nur das Zitieren: Man sollte pr\u00fcfen, welchen Umfang er tats\u00e4chlich abgedeckt hat, ob Befunde behoben oder nur zur Kenntnis genommen wurden, und wie aktuell er im Verh\u00e4ltnis zum jetzigen, m\u00f6glicherweise ver\u00e4nderten Code ist. Ein Audit senkt das Risiko; es beseitigt es nicht, und kein seri\u00f6ses Projekt sollte etwas anderes suggerieren.<\/p>\n","protected":false},"excerpt":{"rendered":"
Was Smart-Contract-Audits zuverl\u00e4ssig aufdecken, wo ihre Grenzen liegen und warum ein Audit keine Sicherheitsgarantie ist.<\/p>\n","protected":false},"author":3,"featured_media":371,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[],"class_list":["post-273","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-smart-contracts-explained"],"_links":{"self":[{"href":"https:\/\/cryptocurrencyminers.net\/de\/wp-json\/wp\/v2\/posts\/273","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cryptocurrencyminers.net\/de\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cryptocurrencyminers.net\/de\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cryptocurrencyminers.net\/de\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/cryptocurrencyminers.net\/de\/wp-json\/wp\/v2\/comments?post=273"}],"version-history":[{"count":1,"href":"https:\/\/cryptocurrencyminers.net\/de\/wp-json\/wp\/v2\/posts\/273\/revisions"}],"predecessor-version":[{"id":312,"href":"https:\/\/cryptocurrencyminers.net\/de\/wp-json\/wp\/v2\/posts\/273\/revisions\/312"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cryptocurrencyminers.net\/de\/wp-json\/wp\/v2\/media\/371"}],"wp:attachment":[{"href":"https:\/\/cryptocurrencyminers.net\/de\/wp-json\/wp\/v2\/media?parent=273"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cryptocurrencyminers.net\/de\/wp-json\/wp\/v2\/categories?post=273"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cryptocurrencyminers.net\/de\/wp-json\/wp\/v2\/tags?post=273"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}