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