MetaTrust Labs 现已开发出一款创新的基于GPT的审计引擎，专门用于分析逻辑智能合约的漏洞。

在数字资产安全领域，GPT已经能够解释复杂的区块链、智能合约等安全问题，但也存在一定的局限性和风险。

MetaTrust Labs与MAP Protocol的合作旨在提供全面的安全支持和审计服务。

行业安全专家将现场演示运用自然语言机器人 ChatGPT 等最新人工智能黑客技术和工具，情景重现模拟发动黑客攻击。

Prover 引擎使用形式方法证明重入安全性，并提供数学证明。

SoMo 在分析大型数据集中的62464个合约时的精度达91.2%。

MetaTrust Labs 最近应Xcalibyte邀约完成了Uniswap V3 Swap协议的主体部分形式化验证。