NEAR-Mitbegründer plädiert für formale Verifizierung zur Bekämpfung von KI-unterstütztem Hacking

Der Mitbegründer des NEAR Protocols, Illia Polosukhin, betonte die Notwendigkeit formaler Verifizierung, um den Blockchain-Code gegen KI-Hacking abzusichern. Er stellte fest, dass KI die Entdeckung von Softwareanfälligkeiten beschleunigt hat und damit die traditionellen Sicherheitsmaßnahmen überholt. Polosukhin hob hervor, dass die Cybersicherheit auf menschlichen Code-Überprüfungen beruht, die aufgrund fortschrittlicher KI-Modelle zunehmend unzureichend sind. Er schlug vor, dass Entwickler mathematische Beweise annehmen, um die Integrität des Codes sicherzustellen, und erklärte, dass KI jetzt bei der Erstellung dieser Beweise helfen kann, wodurch die benötigte Zeit von Jahren auf Wochen erheblich verkürzt wird. Ein Beispiel ist das Projekt Tachyon, das KI-unterstützte Verifizierung nutzte, um zu bestätigen, dass der geschützte Pool von Zcash, Ironwood, frei von einem Fälschungsfehler ist, der im Orchard-Pool gefunden wurde. Polosukhin forderte einen Wechsel zur formalen Verifizierung für allen Internet-Code, nicht nur für Smart Contracts. Darüber hinaus hat NEAR ein Upgrade gestartet, um die Netzwerksicherheit und Skalierbarkeit zu verbessern, sodass Benutzer quantenresistente Kontoschlüssel annehmen können.

Dieser Inhalt wird nur zu allgemeinen Informationszwecken bereitgestellt und stellt keine finanzielle, Anlage-, Rechts- oder Steuerberatung dar. Alle erwähnten Ereignisse, Prämien, Online-Aktionen oder zugehörige Informationen sollten nicht als Empfehlung, Aufforderung oder Einladung zum Kauf, Verkauf, Handel oder anderweitigem Umgang mit Krypto-Assets betrachtet werden. Krypto-Assets sind sehr volatil und können zu Verlusten führen. Die Verfügbarkeit von WEEX Services, Produkten und zugehörigen Aktionen kann je nach Region unterschiedlich sein. Sie sind dafür verantwortlich sicherzustellen, dass Ihre Teilnahme mit geltenden lokalen Gesetzen und Vorschriften übereinstimmt.