NEAR共同創設者がAI支援ハッキングに対抗するための形式的検証を提唱

NEARプロトコルの共同創設者であるイリヤ・ポロスキンは、AIハッキングからブロックチェーンコードを守るために形式的検証の必要性を強調しました。彼は、AIがソフトウェアの脆弱性の発見を加速させており、従来のセキュリティ対策を上回っていると指摘しました。ポロスキンは、サイバーセキュリティが人間のコードレビューに依存してきたが、進化したAIモデルによりその効果が不十分になっていると述べました。彼は、開発者がコードの整合性を確保するために数学的証明を採用することを提案し、AIがこれらの証明を生成するのを支援できるようになったことで、必要な時間が数年から数週間に大幅に短縮されると述べました。例として、プロジェクト・タキオンがAI支援の検証を利用して、Zcashのアイアンウッドシールドプールがオーチャードプールで見つかった偽造バグから自由であることを確認したことが挙げられます。ポロスキンは、スマートコントラクトだけでなく、すべてのインターネットコードに対して形式的検証への移行を呼びかけました。さらに、NEARはネットワークのセキュリティとスケーラビリティを向上させるためのアップグレードを発表し、ユーザーが量子耐性のあるアカウントキーを採用できるようにしました。

免責事項：本コンテンツは一般的なブランディングおよび情報提供のみを目的としており、金融、投資、法的、または税務上の助言を構成するものではありません。ここに記載されているイベント、報酬、オンラインイベント、または関連情報は、暗号資産の購入、売却、取引、もしくはその他の取り扱い、または各種サービスの利用を推奨、勧誘、あるいは案内するものとみなされるべきではありません。暗号資産は価格変動が非常に激しく、損失が生じるリスクがあります。WEEXのサービスおよびオンラインイベントは、一部の地域ではご利用いただけない場合があり、現地の適用法令、規制、および利用資格要件が適用されます。ユーザーの皆様は、WEEXサービスの利用が居住国の法律に準拠していることをご自身の責任で確認し、暗号資産に関連する活動に参加する前に、リスクを慎重に評価してください。