NEARプロトコルの共同創設者イリヤ・ポロスキンは、従来のコードレビュー手法を凌駕するAI支援ハッキングの脅威の高まりを指摘しています。ポロスキンは、AIがソフトウェアの脆弱性発見を大幅に加速させており、手動によるレビュー手法が時代遅れになっていると述べました。彼は、昨年10月のBalancer事件をAI主導の攻撃の転換点として挙げています。 これに対抗するため、ポロスキンは数学的証明によってコードの挙動が仕様に合致していることを保証する形式的検証の採用を提唱しています。AIはこれらの証明を生成し、人間がそれを検証することで、証明生成にかかる時間を短縮します。彼は、形式的検証をスマートコントラクトにとどまらず、重要なインターネットおよびネットワークソフトウェアにも拡大すべきだと示唆しています。同時に、NEARはユーザーが量子耐性のあるアカウントキーに切り替えられるアップグレードをリリースし、ネットワークが活動の増加に応じて自動的にスケールすることを可能にしました。