AIを活用したハッカー攻撃の速度が従来のコードレビューを上回る中、NEAR共同創業者が形式検証の採用を提唱

Odaily星球日报ニュース NEAR Protocolの共同創業者Illia Polosukhin氏は、AIがハッカーによるソフトウェア脆弱性発見能力を大幅に加速させており、従来のコードレビューモデルでは対応が困難になっていると述べた。同氏は、昨年10月のBalancer事件がAI支援型ハッキングの始まりであり、人手によるレビューに依存した旧来のモデルはAI時代において持続不可能だと指摘。Polosukhin氏は形式検証の採用を提唱し、数学的証明によってコードの動作が仕様と完全に一致することを保証する方法を推奨している。AIが証明の大部分を生成し、人間がその正しさを検証することで、証明生成時間を大幅に短縮できるという。同氏は形式検証をスマートコントラクトを超えて、重要なインターネットおよびネットワークソフトウェアにも拡張すべきだと主張。NEARは同日、アップグレードを発表し、ユーザーは耐量子アカウントキーに切り替えられるようになり、ネットワークはアクティビティの増加に応じて自動的に容量を拡張できるようになる。