7月26日，全球区块链和智能合约安全领域先锋 CertiK 通过其官方推特宣布，已经完成了对蚂蚁集团创新开放式跨平台可信执行环境（TEE）HyperEnclave 的先进形式化验证。
CertiK 是区块链安全领域的知名独角兽公司。该公司通过将学术界的尖端创新技术延伸到业界，可帮助企业任务关键型软件及应用在足够安全和正确的环境下构建，从而保护 Web 3.0 世界。
蚂蚁集团的可信原生技术团队开发了开放跨平台软件可信执行环境 HyperEnclave，旨在提高蚂蚁集团隐私保护计算工作负载的效率和兼容性。CertiK 独有的先进形式化验证技术，在 Web 3.0 领域除了确保智能合约的安全外，此次也验证了 HyperEnclave 核心组件的安全性和技术正确性。
CertiK 的联合创始人、其所独有的系统代码验证方法发明人顾荣辉教授表示：“该形式化验证工作印证了我们要不断发展技术和推动 Web 3.0 领域安全不断进步的承诺。”
自今年6月以来，经历调整的 Web 3.0 市场日益呈现回暖信号，行业内对于安全合规普遍给予了高度重视。行业宏观趋势将 CertiK 这样的头部安全审计公司推向舞台中心。综合此间媒体报道，CertiK 今日刚刚宣布完成对 XRPLedger 上自动做市商（AMM）的审计；6月底宣布完成了对 OKX 用于支持 BRC-20 代币基础设施的安全审计；6月初，CertiK 还因成功发现并报告了 Sui 的“仓鼠轮”新型安全威胁而被授予了50万漏洞赏金。