Cointime

Download App
iOS & Android

GPTScan: 境界の突破、AI を活用したスマート コントラクトの脆弱性キャッチャー

Validated Project

最近、MetaTrust Labs は新しい AI 研究レポートをリリースしました。その研究結果は、スマート コントラクトの脆弱性に対処するための新しい武器 GPTScan を Web3 セキュリティ業界に提供します。 GPTScan は、強力なエンジンとして、生成事前トレーニング トランスフォーマー (GPT) と静的分析を AI 駆動のセキュリティ スキャン ツール MetaScan に統合しており、スマート コントラクトのロジックの脆弱性を効率的に検出できます。

GPTScan に関するこの論文 < When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan > は、2023 年 8 月初旬に初めて公開され、ソフト エンジニアリング分野のトップ カンファレンスに提出されました。この論文では、GPTScan のアーキテクチャ、設計、評価結果について詳細に説明し、複雑なスマート コントラクトの脆弱性検出における GPTScan の有効性を実証しています。約400の契約プロジェクトと3,000のSolidityファイルからなる多様なデータセットでの評価では、GPTScanがトークンコントラクトで高い精度を達成し、特にDefiHacksのような大規模プロジェクトで90%以上の精度を達成していることが示されています。 70% 以上のトレースバック率で実際のロジックの脆弱性を効果的に検出します。

https://github.com/MetaTrustLabs/GPTScan-DefiHacks

研究者にとって、GPTScan は AI 主導型セキュリティの分野に新たな状況を切り開き、GPTScan のテクノロジーに基づいて、AI 機能の包括的な応用に関するさらなる研究を促進します。 GPTScan を使用することで、ソフトウェア エンジニアリングの分野は、より堅牢で信頼性が高く、安全な分散システムの構築において急速な進歩を遂げることができると、MetaTrust AI Labs の研究者は学術訪問で次のように述べています。

「GPTScan は、GPT テクノロジーを活用して、コードレベルのシナリオと機能に基づいて潜在的に脆弱な機能を照合する最初のツールです。」

スマートコントラクトとDeFiプロジェクトが拡大し続ける中、脆弱なコントラクトが悪用されると最大数十億ドルの損失が発生しており、業界では高度なセキュリティソリューションの必要性が緊急になっています。 GPTScan は、スマート コントラクトの開発者と監査人に明確な利点を提供し、これまで検出されなかった脆弱性を特定することで財務的および評判のリスクを軽減します。

スマートコントラクトとDeFiプロジェクトが拡大し続ける中、脆弱なコントラクトが悪用されると最大数十億ドルの損失が発生しており、業界では高度なセキュリティソリューションの必要性が緊急になっています。 GPTScan は、スマート コントラクトの開発者と監査人に明確な利点を提供し、これまで検出されなかった脆弱性を特定することで財務的および評判のリスクを軽減します。

研究者らが GPT を誘導して主要な変数とステートメントをインテリジェントに識別し、静的確認を通じてそれらを検証したことは注目に値します。この方法により、スマート コントラクト スキャンの精度が向上し、GPT のみに依存する場合に発生する可能性のある 3 点エラーが減少しました。脆弱性の特定 2 番目の問題は誤検知です。さらに、研究者らは GPTScan を使用して、Code4rena 監査レポートに含まれていない 9 つの新しい脆弱性を発見しました。これは、人間の監査人にとって有用な補足として GPTScan の価値を十分に強調しています。

https://github.com/MetaTrustLabs/GPTScan-Web3Bugs

この研究では、AI + ブロックチェーンの革新的な組み合わせである GPTScan が AI 分野の研究者からも認められました。

「人工知能の固有の自律性は、ブロックチェーンとスマートコントラクトの分散型かつ自律的な性質と密接に連携しており、ブロックチェーンエコシステムで普及している現在の集中型ガバナンスを真の分散型かつ自律型パラダイムに変える可能性を秘めています。」

スマート コントラクトのセキュリティへの道において、GPTScan の出現により、効率的なツールの前例のないエクスペリエンスが提供され、スマート コントラクトを理解し、潜在的な脅威から保護するのに役立ちます。開発者、監査人、またはブロックチェーン エコシステムの参加者であっても、GPTScan は、かつては検出できなかったロジックの抜け穴を解決する効果的な方法を提供します。

GPTScan の誕生は、人工知能とブロックチェーンの有機的な組み合わせを表しており、私たちに新たな機会と課題をもたらします。私たちは、スマート コントラクトのセキュリティと信頼性を向上させ続けるために、将来さらに多くのイノベーションが出現することを楽しみにしています。

メタトラスト・ラボについて

MetaTrust Labs は、シンガポールの南洋理工大学によって設立された Web3 AI セキュリティ ツールとコード監査サービスの世界有数のプロバイダーです。アジア最大のセキュリティ研究チームを擁し、プロジェクトを効率的に保護するための豊富な機能を備えた AI セキュリティ ツールを開発者とプロジェクト関係者に提供しています。そして契約上のセキュリティ。当社のサービス範囲には、AI セキュリティ スキャン、セキュリティ監査、セキュリティ監視が含まれます。当社はソフトウェア開発ライフサイクルの各段階に迅速かつ正確かつ効果的なソリューションを提供し、ビルダーが安全な Web3 アプリケーションを簡単に開発できるように支援します。

コメント

全てのコメント

Recommended for you

  • ヴィタリク氏:仮想通貨ユーティリティの最低点は過ぎた

    ヴィタリック・ブテリン氏は、仮想通貨ユーティリティの最低点は過ぎたとツイートした。テクノロジーの観点から見ると、過去 5 年間の最大の発展は主に、ブロックチェーンのスケーラビリティ問題が差し迫った解決を迎えたことです。 Vitalik氏は特に予測市場Polymarketに言及し、今春のインタビュー後、同社がイーサリアム上に存在することに非常に満足していると述べた。

  • FBI:仮想通貨取引所の従業員になりすまして資金を違法に盗む詐欺師に注意してください

    FBIは8月1日、詐欺師が仮想通貨取引所の従業員になりすまして、一方的なメッセージや電話を通じて資金を盗んでいると警告を発し、アカウントに問題があると主張して被害者にログインメッセージを提供させた。リンクをクリックするか、識別情報を共有します。

  • 7月の安定通貨発行額は1,443億米ドルに増加し、USDTの市場シェアは78.9%に達した

    TheBlockProのデータによると、7月のチェーン上のステーブルコインの調整後の取引量は18.8%増加して9,974億米ドルに達し、ステーブルコインの供給量は1.2%増加して1,443億米ドルに達し、そのうちUSDTとUSDCが市場シェアを占めていた。それぞれ78.9%と17.1%。さらに、ビットコインとイーサリアムの調整後のオンチェーン取引量は全体で31.8%増加し、4,450億米ドルに達しました。このうち、ビットコインの調整後のオンチェーン取引量は34.7%増加し、イーサリアムの調整後オンチェーン取引量は4,450億米ドルに増加しました。 27.7%。

  • アラブ首長国連邦のドバイ商業銀行が仮想資産サービスプロバイダーの専用口座を開設

    アラブ首長国連邦(UAE)のドバイ商業銀行(CBD)は、顧客の資金を管理し、規制上の健全性要件を満たすために、仮想資産サービスプロバイダー(VASP)の専用口座を開始しました。CBDは中央銀行に準拠するための専用口座を開始しました。 UAE およびドバイ仮想資産規制庁 (VARA) の規制。 CEOのベルント・ファン・リンダー氏は、この動きはドバイ商業銀行の中核的な銀行サービスと一致しており、デジタル経済の発展を促進する同銀行の計画を支援すると述べた。

  • ブロックチェーン融資プロトコルMorphoがRibbit Capital主導で5,000万米ドルの資金調達を完了

    DeFi企業モルフォは、CEOのポール・フランボットがまだ大学3年生だったときに1,800万ドルの資金を調達した。今回、モルフォはプライベートトークンセールを通じて5000万ドルを調達したが、評価額は明らかにしなかった。この戦略的資金調達ラウンドは、Robinhood、Revolut、Coinbaseなどの金融テクノロジー企業への初期投資家であるRibbit Capitalが主導しました。

  • 北京:預金保管と家賃監督におけるデジタル人民元の使用を奨励

    「北京市住宅賃貸保証金保管及び家賃監督暫定措置」が発布された。本措置は、本市内で他人の住宅を借りて転貸事業を行う住宅賃貸事業者が賃借人から徴収する敷金及び家賃の保管、監督、管理にも適用されるとしている。この市は、預金の保管と家賃の監督にデジタル人民元の使用を奨励しています。

  • アクティブな融資額は2022年初頭以来の最高水準に戻り、これはDeFiが再び回復していることを示している可能性がある

    ゴールデン・ファイナンスは、仮想通貨市場分析プラットフォームのトークンターミナルが7月31日の記事で「DeFiは再び回復しつつある」と述べたと報じた。データによると、アクティブ融資量やTVLなどの主要指標は最近の最低水準である2023年から上昇しており、その中にはアクティブ融資額も含まれている。融資額は約133億ドルと2022年初め以来の高水準に戻っており、これは「強気市場の先行指標」であるレバレッジが上昇していることを意味する可能性がある。

  • 7月末のグレースケール位置データ更新:GBTCは約241,000BTCに下落、ETHEは約207万ETHを保有

    Grayscale は、7 月 31 日の時点でビットコインとイーサリアムのファンド データを次のように公式に更新しました。

  • 7月のビットコインチェーンのNFT売上高は約7,730万ドルで、2023年11月以来の最低記録となった

    Cryptoslamのデータによると、7月のビットコインチェーンにおけるNFT売上高は77,311,729.1ドルで、2023年11月以来の最低記録を樹立した。さらに、7月のビットコインチェーン上のNFT取引数は12万件未満で、これも2023年11月以来の最低水準となった。その中には、約35,477人の独立した売り手と約49,348人の独立した買い手がいた。

  • Kinto は、金融機関と分散型プロトコルをサポートするために 500 万ドルの資金を確保しました。

    フロリダ州オーランドに拠点を置き、金融機関と分散型プロトコルをサポートするKYC認定の第2層ブロックチェーンを提供するKintoは、2回の資金調達ラウンドで合計500万ドルを調達した。このうち、150万米ドルはKyber Capital Cryptoが主導するシードラウンドから調達され、350万米ドルはKyber Capital Crypto、Spartan Group、Parafi、Skybridge、Kraynos、Soft Holdings、Deepが主導する第2回資金調達ラウンドから調達された。 Ventures、Modular、Tane、Robot Ventures、その他の投資家が参加しました。同社はこの資金をチーム拡大とネットワーク開発に活用する予定だ。 CEO の Ramon Recuero 氏が率いる Kinto は、現代の金融機関と分散型プロトコルをサポートできる KYC 認定の第 2 層ネットワークです。これは、DeFi と従来の金融の要件を満たす、低コストで安全なネットワークです。 Kinto はユーザーのプライバシーと資産を保護します。その KYC メカニズムはすべての個人情報を暗号化して第三者に保管し、ユーザーの要求があった場合にのみ共有します。さらに、すべてのアプリケーションに保険が適用され、追跡不可能な脆弱性や匿名の詐欺からユーザーを保護します。最後に、Kinto は開発者向けのインセンティブを提供しており、新しいアプリケーションを立ち上げるのに理想的な場所となっています。