The Blockによると、NEAR Protocolの共同創業者イリア・ポロスキン（Illia Polosukhin）は7月21日、AIがハッカーによるソフトウェアの脆弱性発見を、従来のコードレビューで対応できるよりも速めていると述べた。ポロスキンは、10月2025年のBalancerのインシデントをAI支援型の攻撃が始まった時期として挙げ、レガシーな手作業によるレビュー手法はAI時代ではもはや持続可能ではないと主張した。彼は形式的検証の導入を提唱している。形式的検証とは、コードの挙動が仕様と完全に一致することを保証する数学的アプローチであり、AIが大半の証明を生成し、人間がその正しさを検証することで、証明作成にかかる時間を大幅に削減できるとしている。
免責事項：本ページの情報には第三者提供の内容が含まれる場合があり、参考目的のみで提供されています。これらはGateの見解や意見を示すものではなく、金融、投資、または法律上の助言を構成するものでもありません。暗号資産取引には高いリスクが伴います。意思決定を行う際には、本ページの情報のみに依存しないでください。詳細については、
免責事項をご確認ください。
