Vitalik aktuelle Tweets widersprechen „AI-Hacker werden die Cybersicherheit endgültig zum Scheitern bringen“: Er ist der Ansicht, dass Sicherheit von Natur aus der Verteidigerseite zugutekommt – vorausgesetzt, man setzt die richtigen Methoden auch tatsächlich um. Dass er weiterhin etwa 90 % seines Nettovermögens in Kryptoassets hält, ist an sich schon eine Wette auf diese Einschätzung.
Die Kernidee besteht nicht darin, mit Angreifern zu messen, wer schneller eine Schwachstelle findet, sondern darin, den Code von vornherein widerstandsfähiger gegen Angriffe zu machen – wenn KI dabei helfen kann, komplexe mathematische Theoreme zu beweisen, kann sie auch „dass dieses Programm sicher ist“ in maschinell überprüfbare mathematische Beweise übersetzen.
Die eigentliche Schwierigkeit liegt darin, dass „Sicherheit“ allzu leicht zu eng definiert wird und dadurch die Angriffsflächen in Komponenten wie Nachrichtenprotokollen, Sandboxes, SNARKs, FHE usw. übersehen werden. In der Vergangenheit deckte formale Verifikation oft nur die als selbst als kritisch angesehenen Module ab; Datenbanken, Netzwerke, Caches und andere Teile konnten dennoch zur Schwachstelle werden. Vitalik plädiert dafür, dass künftig alle Programme verifiziert werden sollten, und moderne KI macht diesen Weg realistischer.
Er sagt, insbesondere für Blockchain-Systeme mit Skalierungs- und Datenschutzfunktionen gebe es ohne diese Grundlagen keine Zukunft; Ethereum wird in den kommenden Jahren in diese Richtung vorantreiben.
#以太坊 #AI #网络安全 $ETH
Die Kernidee besteht nicht darin, mit Angreifern zu messen, wer schneller eine Schwachstelle findet, sondern darin, den Code von vornherein widerstandsfähiger gegen Angriffe zu machen – wenn KI dabei helfen kann, komplexe mathematische Theoreme zu beweisen, kann sie auch „dass dieses Programm sicher ist“ in maschinell überprüfbare mathematische Beweise übersetzen.
Die eigentliche Schwierigkeit liegt darin, dass „Sicherheit“ allzu leicht zu eng definiert wird und dadurch die Angriffsflächen in Komponenten wie Nachrichtenprotokollen, Sandboxes, SNARKs, FHE usw. übersehen werden. In der Vergangenheit deckte formale Verifikation oft nur die als selbst als kritisch angesehenen Module ab; Datenbanken, Netzwerke, Caches und andere Teile konnten dennoch zur Schwachstelle werden. Vitalik plädiert dafür, dass künftig alle Programme verifiziert werden sollten, und moderne KI macht diesen Weg realistischer.
Er sagt, insbesondere für Blockchain-Systeme mit Skalierungs- und Datenschutzfunktionen gebe es ohne diese Grundlagen keine Zukunft; Ethereum wird in den kommenden Jahren in diese Richtung vorantreiben.
#以太坊 #AI #网络安全 $ETH