Vitalik: KI-Verifikation soll Krypto-Sicherheit härten
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.