MetaTrust LabsとAgentLayerはトップクラスの学術機関と連携し、トップクラスの学術会議で賞を受賞し、AI強化型スマートコントラクトセキュリティの画期的な進歩を達成しました。

元のソース: AgentLayer

カリフォルニア州サンディエゴ - 2025 年 2 月 27 日 - 第 32 回ネットワークおよび分散システム セキュリティ シンポジウム (NDSS 2025) は、「PropertyGPT: 検索強化プロパティ生成によるスマート コントラクトの LLM 駆動型形式検証」に、念願の優秀論文賞を授与しました。 MetaTrust Labs と AgentLayer の研究者が主要な学術機関と共同で実施したこの画期的な研究では、大規模言語モデル (LLM) を活用して形式検証プロセスを自動化および強化する革新的なアプローチが紹介されています。

PropertyGPT は、これまでは専門家主導の手動プロセスであった包括的な検証済みプロパティの作成を自動化することで、ブロックチェーン セキュリティの重大なギャップを解消します。この技術は AgentLayer の分散型 AI ネットワークを介して実装され、スマート コントラクトのセキュリティ保護方法に大きな進歩をもたらしました。 「PropertyGPTは、従来の形式検証の効率ボトルネックを解決するだけでなく、AgentLayerの分散アーキテクチャを通じてスケーラブルなアプリケーションも可能にします」と、シンガポールの南洋理工大学サイバーセキュリティ研究センターのエグゼクティブディレクターであり、AgentLayerの共同創設者でもあるLiu Yang教授は述べています。 「私たちのアプローチは、LLM が形式検証プロセスを大幅に改善し、よりアクセスしやすく包括的なものにできることを示しています。」

技術革新と影響

PropertyGPT は、最先端の LLM のコンテキスト学習機能を活用して、既存の手書きプロパティの知識を転送し、新しいスマート コントラクト コードのカスタマイズされたセキュリティ仕様を生成します。このシステムは、さまざまな最先端技術を使用しています。 - LLMの意味理解とベクトルデータベースを介した過去の脆弱性データの検索を組み合わせた検索強化生成技術- プロパティの品質を反復的に向上させるコンパイラと静的解析のフィードバック ループ - プロパティのランク付けと選択のための多次元類似性評価 - 生成されたプロパティの形式検証のための専用証明器 広範なテストでは、PropertyGPT は専門家が生成したプロパティと比較して 80% という驚異的な再現率を達成しています。このシステムは、37 件のテストケースのうち 26 件の既知の脆弱性を検出し、これまで知られていなかった 12 件のセキュリティ上の欠陥を発見し、バグ報奨金として 8,256 ドルを獲得しました。

AgentLayer の統合と業界への影響

AgentLayer は、自社開発の AI エージェントを PropertyGPT と統合し、スマート コントラクトの自動検証プロセスを最適化しました。実験では、このツールにより、DeFi および Web3 シナリオにおける複雑な契約の脆弱性検出効率が 40% 向上することが示されています。

NDSS レビュー委員会は、この成果を「スマート コントラクト セキュリティの実装可能なパラダイム アップグレードを提供する」と称賛しました。

戦略的協力

MetaTrust Labs と AgentLayer のコラボレーションは、高度な AI テクノロジーを通じてブロックチェーンのセキュリティを強化するという重要な取り組みを表しています。今後の計画には以下が含まれます。 - MetaTrust Labs のスマート コントラクト セキュリティに関する専門知識と AgentLayer の AI テクノロジーの革新を組み合わせた、より最先端の AI 製品のリリース - ブロックチェーン アプリケーション向けの特殊な AI エージェントの開発 - より堅牢な分散型 AI エコシステムの構築 - NDSS シンポジウムについて - NDSS シンポジウムは、インターネット協会が 30 年以上にわたって主催しており、世界有数のセキュリティ カンファレンスの 1 つに成長しました。もともとネットワークおよび分散システム セキュリティ シンポジウムであったこの会議では、実用的なセキュリティ技術を進歩させるために、世界中から何百人ものセキュリティ教育者、研究者、実務者が集まります。

研究チームについて

共同チームには、MetaTrust Labs、AgentLayer、シンガポール経営大学、香港科技大学、シンガポール南洋理工大学の研究者である Ye Liu (SMU、AgentLayer)、Yue Xue (MetaTrust Labs)、Daoyuan Wu (HKUST、AgentLayer)、Yuqiang Sun (NTU)、Yi Li (NTU)、Miaolei Shi (MetaTrust Labs)、Yang Liu (NTU、AgentLayer) が含まれます。

MetaTrust Labs について

MetaTrust Labs は、ブロックチェーン開発者向けに AI 主導のソリューションを提供する、主要な Web3 セキュリティ プラットフォームです。シンガポールの南洋理工大学から生まれたこの企業は、自動化されたセキュリティスキャン、スマートコントラクト監査、セキュリティ管理を簡素化するツールを提供しています。 MetaTrust Labs は、安全な Web3 インフラストラクチャの未来を形作っています。

AgentLayer について

AgentLayer は、自律型 AI エージェント向けに設計された世界初のブロックチェーン ネットワークを立ち上げ、分散型 AI の未来を切り開いています。 AgentLayer は、最先端の AI 機能とブロックチェーン テクノロジーをシームレスに統合することで、開発者や企業が大規模なインテリジェント エージェントを構築、展開、取引できるようにします。

BlockBeats の公式コミュニティに参加しよう：

Telegram 公式チャンネル：https://t.me/theblockbeats

Telegram 交流グループ：https://t.me/BlockBeats_App

Twitter 公式アカウント：https://twitter.com/BlockBeatsAsia