Vitalik Buterin sagte, Fortschritte in der artificial intelligence could reshape how crypto systems are attacked und verteidigt werden, wodurch die Infrastruktur in Richtung mathematisch verifizierter Software gedrängt werde.
Buterins Essay skizziert KI-Bedrohung
Der Ethereum-Mitbegründer argued, dass increasingly powerful AI models es erheblich leichter machen werden, Schwachstellen in komplexer Software zu entdecken und auszunutzen.
Buterin bezeichnete Bugs in der Krypto-Infrastruktur als noch alarmierender, sobald KI-Tools die Schwachstellensuche automatisieren – eine Sorge, die in der gesamten Sicherheitsforschung geteilt wird.
Er hob insbesondere Ethereum (ETH)-Infrastruktur, Konsensmechanismen und Post-Quanten-Kryptografie als vorrangige Ziele für stärkere Abwehrmaßnahmen hervor.
Anstatt sich auf traditionelle Audits zu verlassen, sollten Entwickler laut Buterin said formale Verifikation einsetzen – einen Ansatz, der mathematisch beweist, dass sich Code unter festgelegten Bedingungen wie vorgesehen verhält.
Auch lesen: Crypto Funds Bleed $1.07B As Iran Tensions End Six-Week Inflow Run
Formale Verifikation als Verteidigung
„KI gibt dir die Fähigkeit, große Mengen an Code zu schreiben – auf Kosten der Genauigkeit – und formale Verifikation gibt dir die Genauigkeit zurück“, schrieb Buterin.
Er widersprach Forschern, die argumentieren, KI-generierte Software sei nicht mehr vollständig vertrauenswürdig, und präsentierte stattdessen eine optimistischere Sicht.
Buterin glaubt, dass KI-gestützte Programmierung in Kombination mit Verifikationstools letztlich Software hervorbringen könnte, die robuster ist als reine Menschensoftware.
Er verwies außerdem auf aktive Projekte wie Arklib und evm-asm, die sich auf die Absicherung kryptografischer Infrastruktur und der Ethereum Virtual Machine-Software konzentrieren.
Der Essay [warned](https://mpost.io/vitalik-buterin-ai-and-formal-verification-can-make-critical-code-unhackable/ jedoch), dass formale Verifikation kein Allheilmittel ist. Selbst mathematisch bewiesene Systeme können scheitern, wenn Entwickler die falschen Annahmen verifizieren oder wenn Exploits außerhalb des verifizierten Codepfads liegen.
Buterins Sicherheitsbilanz
Buterin skizzierte eine Zukunft, in der sich sensible digitale Infrastruktur in kleinere „sichere Kern“-Systeme konzentriert, die isoliert und stark verifiziert sind, während weniger kritische Anwendungen mit eingeschränkten Berechtigungen laufen.
Der Ethereum-Mitbegründer ist in diesem Jahr wiederholt auf das Thema KI-Sicherheit zurückgekommen. Im Februar schlug er vor, die Produktivitätsgewinne durch KI zwischen Geschwindigkeit und Sicherheit aufzuteilen, und im Mai befürwortete er formale Verifikationstools wie Lean für High-Assurance-Entwicklung. Sein jüngster Beitrag erweitert diese Argumente zu einer breiteren These und stellt mathematische Beweise als glaubwürdigste Antwort auf KI-getriebene Angriffswerkzeuge in Blockchain- und klassischen Internetsystemen dar.
Als Nächstes lesen: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul