Ethereum Foundation: KI findet Bugs, Menschen führen
Die Foundation veröffentlicht einen Sicherheitsbericht, der KI als Beschleuniger für Audits einordnet, nicht als Ersatz für formale Verifikation und menschliche Prüfer.
Jede Zipp-Geschichte mit dem Tag #AISecurity, die neueste zuerst.
Die Foundation veröffentlicht einen Sicherheitsbericht, der KI als Beschleuniger für Audits einordnet, nicht als Ersatz für formale Verifikation und menschliche Prüfer.
Die Schlagzeile ist der Bug selbst, doch die Botschaft des Protocol Security Teams der Foundation reicht weiter: KI-gestützte Triage übernimmt inzwischen die Arbeit, die menschliche Reviewer früher manuell schultern mussten.
Wenn einfache Smart-Contract-Prüfungen von wochenlangen Aufträgen zu On-Demand-Abrufen werden, verschiebt sich auch der Sorgfaltsmaßstab – und sie auszulassen könnte als Fahrlässigkeit gelten.
Ein einziger Auditbericht reichte früher aus, um ein DeFi-Protokoll zu zertifizieren. Da KI beim Finden von Bugs immer besser wird, werden Multi-Agenten-Systeme, die Code gegenseitig prüfen, zum neuen Mindeststandard – nicht zu einer optionalen Dreingabe.
Buterins Vorschlag kommt in einer Zeit, in der die Branche mit Smart-Contract-Verlusten in Milliardenhöhe kämpft — automatisierte Korrektheitsbeweise sind der Bereich, in dem KI tatsächlich liefern könnte.