NEAR-Protocol-Mitgründer Illia Polosukhin sagte, dass KI die Fähigkeit von Hackern, Software-Schwachstellen zu finden, deutlich beschleunigt und herkömmliche Code-Review-Methoden schwer aufrechtzuerhalten seien. Laut Odaily habe er gesagt, dass der Balancer-Vorfall im letzten Oktober den Beginn des KI-gestützten Hackens markiert habe und dass ältere Review-Modelle, die auf menschlichen Checks basieren, im KI-Zeitalter nicht mehr nachhaltig seien.

Polosukhin sagte, dass formale Verifikation, bei der mit mathematischen Beweisen sichergestellt wird, dass das Code-Verhalten den Spezifikationen entspricht, übernommen werden sollte. Er sagte, dass KI die meisten Beweise generieren könne, während Menschen ihre Korrektheit überprüfen und so die Zeit verkürzen, die für die Erstellung benötigt wird. Außerdem fügte er hinzu, dass formale Verifikation über Smart Contracts hinaus auf wichtige Internet- und Netzwerkssoftware ausgeweitet werden sollte.

Am selben Tag kündigte NEAR ein Upgrade an, das es Nutzern ermöglicht, auf post-quantum Konto-Schlüssel umzusteigen, und das Netzwerk kann die Kapazität automatisch erweitern, wenn die Aktivität zunimmt.