NEAR聯創：AI支援によるハッキング攻撃の速度が従来のコードレビューを上回っている

PANews 7月21日の報道によると、The Blockによれば、NEAR Protocolの共同創設者Illia Polosukhinは、AIがハッカーによるソフトウェアの脆弱性発見能力を大きく加速させており、従来のコードレビューの手法ではもはや対応しきれないと述べた。彼は、昨年10月のBalancer事件はAI支援による攻撃の始まりであり、人工による審査に依存する旧来のモデルはAI時代には持続不可能だと指摘した。

Polosukhinは、形式検証を採用し、数学的にコードの動作が仕様と完全に一致することを証明すべきだと主張している。AIは大部分の証明を生成でき、人間がその正しさを検証することで、証明生成にかかる時間を大幅に短縮できるという考えだ。彼は、形式検証はスマートコントラクトの外にも拡張されるべきで、重要なインターネットおよびネットワークソフトを対象にすべきだと考えている。NEARは同日、アップグレードを公開し、ユーザーは耐量子アカウント鍵に切り替えでき、ネットワークは活動の増加に応じて容量を自動的に拡張できる。