NEARプロトコルの共同創設者イリヤ・ポロスキヒン氏は月曜、AI支援によるハッキングが昨年10月に始まり、現在では従来のコードのセキュリティレビューを上回る速度で進んでいると述べた。The Blockのポッドキャスト「The Starting Block」で語ったポロスキヒン氏は、このトレンドの最初の例としてバランサーのインシデントを挙げた。加速の理由として、AIモデルが人間のレビュアーよりも速くソフトウェアの脆弱性を見つけ、その修正が追いつかないという点を挙げた。サイバーセキュリティ業界はこれまで手作業のコードレビューに依存してきたが、AIツールが進化する中ではこのやり方は持続不可能になっているとポロスキヒン氏は主張した。
ポロスキヒン氏、セキュリティ解決策として形式的検証を提案
ポロスキヒン氏は、「コードが『自分で言っていることを実際にやる』こと」を数学的に証明する形式的検証を推進した。同氏は、このプロセスは歴史的に費用がかかり、時間もかかり、作業負担も大きかったが、AIによって必要な証明の大部分を生成できるようになり、その後それを独立して検証できるようになったと述べた。
「AIに頼る必要はありません。AIはただ証明を作るだけです」とポロスキヒン氏は述べた。「あなたがするのは、その証明が正しいことを検証することです。」
これまでのサイバーセキュリティは、主に「頭のいい人たち」がコードをレビューし、自分たちが見落とした何かをさらに頭のいい誰かが見つけないことを願うものだった、と同氏は指摘した。「考え方を変える必要があります」とポロスキヒン氏は語った。「つまり、『より良いモデルで全部をレビューして、次のより良いモデルがそれを見つけないといいな』という話ではないんです。」
ポロスキヒン氏は、このアプローチは最終的にスマートコントラクトを超えて、重要なインターネットおよびネットワーキングソフトウェアにまで広がるべきだとした。「私たちは、ブロックチェーンのコード――そして正直、インターネット上のあらゆるコード――を形式的に検証できるよう、根本から作り方を変える必要があります」と同氏は述べた。
ZcashプロジェクトTachyonがAI支援による証明生成を実演
プロジェクトTachyonはAI支援の検証を用いて、ZcashのIronwoodシールドプールが、先月のOrchardプールで見つかったのと同種の、検出不能な偽造バグを含むことができないことを数学的に証明した。Tachyonは、AI支援による証明生成の進歩によって、かつては数年かかっていた作業が数週間で済むようになったと述べた。
NEARが量子耐性アップグレードを展開
NEARは月曜、ネットワークを新たなセキュリティおよびスケーラビリティの要求に備えることを目的としたアップグレードを展開した。ユーザーは今、量子耐性アカウント鍵に切り替え可能になり、またネットワークは活動の拡大に応じて自動的に容量を拡張できるようになる。
FAQ
NEARプロトコルの共同創設者は、AI支援によるハッキングについて何を述べましたか？
イリヤ・ポロスキヒン氏は月曜、AI支援によるハッキングは昨年10月にバランサーのインシデントから始まっており、現在では従来のコードのセキュリティレビューを上回る速度で進んでいると述べた。AIモデルは、人間のレビュアーが修正するよりも速くソフトウェアの脆弱性を見つけられると同氏は語った。
形式的検証はポロスキヒン氏によればどのように機能しますか？
ポロスキヒン氏は、形式的検証を「コードが『自分で言っていることを実際にやる』こと」を数学的に証明するプロセスだと説明した。同氏は、AIが必要な証明の大部分を生成できるようになったため、その後AI自体に頼らずに独立して検証できると述べた。
NEARはどのようなアップグレードを発表しましたか？
NEARは月曜、ユーザーが量子耐性のアカウント鍵に切り替えられるようにし、活動の成長に応じてネットワークが自動的に容量を拡張できるようにするアップグレードを展開した。
