デジタル資産のセキュリティ分野では、GPTは複雑なブロックチェーンやスマートコントラクトなどのセキュリティ問題を説明できるようになっていますが、一定の限界やリスクも存在します。

MetaTrust LabsとMAP Protocolの協力は、包括的なセキュリティサポートと監査サービスを提供することを目的としています。

業界のセキュリティ専門家が、現場で自然言語ロボットChatGPTなどの最新のAIハッキング技術やツールを使用して、シナリオを再現しハッキング攻撃を模擬します。

Proverエンジンは形式手法を使用して再入安全性を証明し、数学的証明を提供します。

SoMoが大規模データセットの62464件の契約を分析した際の精度は91.2%でした。

MetaTrust Labsは最近、Xcalibyteの招待に応じてUniswap V3 Swapプロトコルの主要部分の形式的検証を完了しました。