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

  • 米上院銀行委員会の委員長は、ステーブルコインの利回りに関する新たな草案が早ければ今週中にも公表される可能性があると述べた。

    Cointimeの報道によると、上院銀行委員会の委員長を務めるティム・スコット上院議員は、ワシントンD.C.で開催されたブロックチェーンサミットで、議員らは早ければ今週中にも、少なくともステーブルコイン関連の条項を含む新たな法案草案を目にする可能性があると述べた。スコット議員は、法案の中で最も注目を集めているのはステーブルコインの利回り問題だが、議員らは引き続きこの問題に取り組んでいると指摘した。 スコット議員は、「今週中に最初の提案が提出されるだろう。もしそれが週末までに実現すれば、少なくとも法案の枠組みが形になりつつあるかどうかが分かるだろう。そうなれば、我々はより良​​い状況に立てると思う」と述べた。また、ステーブルコインの利回り問題に関して、民主党のアンジェラ・アルソブルックス上院議員、共和党のトム・ティリス上院議員、そしてホワイトハウス高官のパトリック・ウィット氏の尽力も、この進展に貢献していると述べた。 スコット氏は、過去1か月間の交渉で、ドナルド・トランプ大統領とその家族の暗号資産プロジェクトに対する議員の懸念、主要な規制機関における超党派代表の欠如、顧客確認(KYC)規制など、その他の未解決問題も取り上げられたと述べた。 スコット氏はまた、「倫理問題と定足数については、合意に非常に近づいていると思います。これは相手側にとっても重要な問題だと認識しているので、こちらも対応しています。また、いくつかの人事についても進展が見られており、これは良いニュースです。DeFiに関しては、マーク・ワーナー上院議員が注力している分野であり、マネーロンダリング対策(AML)は非常に重要な要素です。これらの問題についても前進していると思います」と述べた。

  • ゴールデンモーニングブリーフィング|3月18日の主要な夜間動向

    21:00~7:00 キーワード:ファントムウォレット、ストライプウォレット、オートノマスウォレット、イラン 1. イランは、米国とイスラエルが自国領土を使用することを容認する国に対して、合法的に攻撃できると主張している。 2. 米国CFTC(商品先物取引委員会)は、ファントムウォレットはブローカーとしての登録を必要としないと発表。 3. アリゾナ州司法長官は、予測マーケティング担当者のカルシ氏を刑事告発。 4. 米国国務省は、世界中のすべての在外公館に対し、「直ちに」安全保障評価を実施するよう命じた。 5. ロビンフッド・ベンチャーキャピタルは、ストライプウォレットとイレブンラボに約3500万ドルを投資。 6. GSRは、オートノマスウォレットとアーキテックを買収するために5700万ドルを投資し、暗号資産ファンド管理プラットフォームを構築。 7. 米国証券取引委員会(SEC)とCFTCは、ほとんどのデジタル資産は証券ではないとする新たな暗号資産ガイダンスを発表。

  • 米国証券取引委員会(SEC)と商品先物取引委員会(CFTC)は、仮想通貨に関する新たな見解を発表し、ほとんどのデジタル資産は証券の範疇には含まれないとした。

    Cointimeは3月18日、米国証券取引委員会(SEC)と商品先物取引委員会(CFTC)が暗号資産に関する68ページのガイダンス文書を公表し、ほとんどのデジタル資産は証券ではないと明記したと報じた。この新たな説明では、ステーブルコイン、デジタル商品、および「デジタル商品」トークンの分類が詳細に説明されており、これらはすべて証券ではないと両機関は述べている。また、「非証券暗号資産」がどのようにして証券になり得るのかを説明し、マイニング、プロトコルステーキング、エアドロップに連邦証券法がどのように適用されるのかを明確にしている。 SECはさらに、非証券デジタル資産が投資契約の対象となる仕組みについても説明している。SECの説明によると、「非証券暗号資産は、発行者が投資家に対し共同事業への投資を促し、必要な経営業務を行うという約束または表明を行い、かつ購入者がそこから利益を得ると期待する理由がある場合に、投資契約の対象となる」。

  • マスターカードは、ステーブルコイン企業であるBVNKを最大18億ドルで買収する計画だ。

    Cointimeの報道によると、Mastercardはステーブルコインインフラのスタートアップ企業であるBVNKを、条件付き買収額3億ドルを含め最大18億ドルで買収する計画だ。この買収は、BVNKとCoinbaseの約20億ドル規模の合併交渉が決裂してからわずか4ヶ月後のことである。両社は火曜日に発表した共同声明で、この取引を確認した。

  • ビットコインが7万5000ドルを突破

    市場データによると、BTCは75,000ドルを突破し、現在75,033.01ドルで取引されており、24時間で2.83%上昇しています。市場は著しい変動に見舞われているため、リスク管理には十分ご注意ください。

  • ビットコインが7万1500ドルを突破

    市場データによると、BTCは71,500ドルを突破し、現在71,510.19ドルで取引されており、24時間で1.06%上昇しています。市場は著しい変動に見舞われているため、リスク管理には十分ご注意ください。

  • イーサリアムが2100ドルを突破

    市場データによると、イーサリアム(ETH)は2,100ドルを突破し、現在2,100.58ドルで取引されており、24時間で0.44%上昇しています。市場は著しい変動に見舞われていますので、リスク管理に十分ご注意ください。

  • 米国の現物イーサリアムETFには、昨日2670万ドルの純流入があった。

    Farside Investorsが監視しているデータによると、3月14日、米国の現物イーサリアムETFには昨日、2670万ドルの純流入があった。

  • 米国司法省はパウエル事件の判決を不服として控訴する予定であり、これによりウォーシュ氏の任命が遅れる可能性がある。

    3月14日、裁判官が連邦準備制度理事会(FRB)に発行された召喚状を却下した後、ロバート・ピロ連邦検事は、FRB議長ジェローム・パウエル氏に対する捜査を継続すると誓い、5月に任期が満了する後任のケビン・ウォーシュ氏の任命を遅らせる可能性があると述べた。ジェームズ・ボスバーグ連邦地裁判事は、FRB本部の改修工事とパウエル氏の同プロジェクトに関する発言に関連する召喚状を政府が正当化する証拠を提示できなかったと述べた。ピロ氏は、「この手続きは過激な判事によって恣意的に妨害された。手続きは円滑に進むべきだったが、そうはならなかった。彼らは恥ずべき行為をしている」と述べた。上院銀行委員会のメンバーであるティリス上院議員は、司法省によるパウエル氏に対する捜査が続く限り、FR​​B議長の指名を阻止すると警告した。「この判決は、パウエル議長に対する刑事捜査がいかに弱く根拠のないものであったかを裏付けるものであり、FRBの独立性に対する失敗した攻撃に過ぎない」とティリス氏は述べた。 「この控訴は、ケビン・ウォーシュ氏の次期連邦準備制度理事会議長への就任承認を遅らせるだけだろう。」

  • ビットコインが7万2000ドルを下回る

    市場データによると、BTCは72,000ドルを下回り、現在71,996.46ドルで取引されています。24時間での上昇率は2.32%に縮小しました。市場の変動性が高いため、リスク管理を徹底してください。