PANews 7月26日消息，安全机构CertiK宣布已完成对蚂蚁集团创新开放式跨平台可信执行环境（TEE）HyperEnclave的先进形式化验证。据悉，蚂蚁集团的可信原生技术团队开发的开放跨平台软件可信执行环境HyperEnclave，旨在提高蚂蚁集团隐私保护计算工作负载的效率和兼容性。

CertiK已完成对蚂蚁集团HyperEnclave先进形式化验证