VITALIK BUTERIN: KI KÖNNTE DIE BLOCKCHAIN-SICHERHEIT ZU EINEM ANDEREN ANSATZ HINBEWEGEN
Vitalik Buterin wies die Auffassung zurück, dass KI-gestützte Hacker den Zusammenbruch der Cybersicherheit verursachen würden. Seiner Ansicht nach, wie PANews berichtet, sollte der Fokus darauf liegen, Systeme zu bauen, die Angriffen widerstehen und verifiziert werden können, statt darum zu wetteifern, Schwachstellen zu finden.
Buterin verglich das mit der Mathematik: Wenn KI Navier-Stokes und den Großen Fermatschen Satz beweisen kann, dann könnte sie grundsätzlich auch ein Programm so beweisen, dass es sicher ist – wie ein Theorem.
Er stellte fest, dass „Sicherheit“ Fälschungen, Replay-Angriffe, Serverkompromittierung, Schlüssel-Leakage und Side-Channel-Angriffe umfasst. Dieser Umfang ist weiterhin kleiner als die Angriffsoberfläche von Quellcode und möglicherweise leichter zu verifizieren.
Buterin sagte zuvor, dass frühere Bemühungen, nur Teile von Sicherheitssystemen zu verifizieren, gescheitert seien. Mit KI müsste das gesamte Programm verifiziert werden, einschließlich Datenbanken, Netzwerken, Caches und anderer Komponenten.
Er stellt das nicht einfach als Wettrennen zwischen guten und schlechten Akteuren dar. Das Ziel ist widerstandsfähigerer Code gegen Angriffe, und Buterin sagte, dies werde Teil der Entwicklung von Ethereum sein.
Diese Sicht ist wichtig, weil viele Blockchain-Software- und Infrastrukturschichten miteinander interagieren. Buterin sagte, dass Blockchains, die Skalierbarkeit und Privatsphäre kombinieren, ohne starke Verifikation langfristig Schwierigkeiten haben werden.
Buterin sagte außerdem, dass er weiterhin Krypto hält – etwa 90 % seines Nettovermögens – als Wette darauf, dass Sicherheit durch Design und Verifikation verbessert wird.
KI erhöht zwar die offensiven Fähigkeiten, aber Buterins Argument verlagert die Frage von „Wer findet den Bug zuerst?“ zu „Wie gut kann ein System beweisen, dass es sicher ist?“
Könnte die Vollprogramm-Verifikation zum neuen Sicherheitsstandard für Ethereum und für Blockchains werden, die Skalierbarkeit mit Privatsphäre kombinieren?
Bitte führen Sie Ihre eigenen Recherchen sorgfältig durch, bevor Sie irgendwelche Transaktionen tätigen (DYOR). $ETH $SOL $ZEC
Vitalik Buterin wies die Auffassung zurück, dass KI-gestützte Hacker den Zusammenbruch der Cybersicherheit verursachen würden. Seiner Ansicht nach, wie PANews berichtet, sollte der Fokus darauf liegen, Systeme zu bauen, die Angriffen widerstehen und verifiziert werden können, statt darum zu wetteifern, Schwachstellen zu finden.
Buterin verglich das mit der Mathematik: Wenn KI Navier-Stokes und den Großen Fermatschen Satz beweisen kann, dann könnte sie grundsätzlich auch ein Programm so beweisen, dass es sicher ist – wie ein Theorem.
Er stellte fest, dass „Sicherheit“ Fälschungen, Replay-Angriffe, Serverkompromittierung, Schlüssel-Leakage und Side-Channel-Angriffe umfasst. Dieser Umfang ist weiterhin kleiner als die Angriffsoberfläche von Quellcode und möglicherweise leichter zu verifizieren.
Buterin sagte zuvor, dass frühere Bemühungen, nur Teile von Sicherheitssystemen zu verifizieren, gescheitert seien. Mit KI müsste das gesamte Programm verifiziert werden, einschließlich Datenbanken, Netzwerken, Caches und anderer Komponenten.
Er stellt das nicht einfach als Wettrennen zwischen guten und schlechten Akteuren dar. Das Ziel ist widerstandsfähigerer Code gegen Angriffe, und Buterin sagte, dies werde Teil der Entwicklung von Ethereum sein.
Diese Sicht ist wichtig, weil viele Blockchain-Software- und Infrastrukturschichten miteinander interagieren. Buterin sagte, dass Blockchains, die Skalierbarkeit und Privatsphäre kombinieren, ohne starke Verifikation langfristig Schwierigkeiten haben werden.
Buterin sagte außerdem, dass er weiterhin Krypto hält – etwa 90 % seines Nettovermögens – als Wette darauf, dass Sicherheit durch Design und Verifikation verbessert wird.
KI erhöht zwar die offensiven Fähigkeiten, aber Buterins Argument verlagert die Frage von „Wer findet den Bug zuerst?“ zu „Wie gut kann ein System beweisen, dass es sicher ist?“
Könnte die Vollprogramm-Verifikation zum neuen Sicherheitsstandard für Ethereum und für Blockchains werden, die Skalierbarkeit mit Privatsphäre kombinieren?
Bitte führen Sie Ihre eigenen Recherchen sorgfältig durch, bevor Sie irgendwelche Transaktionen tätigen (DYOR). $ETH $SOL $ZEC
