MetaTrust Labs 現已開發出一款創新的基於GPT的審計引擎，專門用於分析邏輯智能合約的漏洞。

在數字資產安全領域，GPT已經能夠解釋複雜的區塊鏈、智能合約等安全問題，但也存在一定的局限性和風險。

MetaTrust Labs與MAP Protocol的合作旨在提供全面的安全支持和審計服務。

行業安全專家將現場演示運用自然語言機器人 ChatGPT 等最新人工智能黑客技術和工具，情景重現模擬發動黑客攻擊。

Prover 引擎使用形式方法證明重入安全性，並提供數學證明。

SoMo 在分析大型數據集中的62464個合約時的精度達91.2%。

MetaTrust Labs 最近應Xcalibyte邀約完成了Uniswap V3 Swap協議的主體部分形式化驗證。