您现在的位置是：首页  新闻资讯  财经资讯财经资讯

CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证

网络 2023-09-24 13:20:38 财经资讯 已有人查阅

导读据报道，CertiK宣布完成对蚂蚁集团开放式跨平台可信执行环境（TEE）HyperEnclave的先进形式化验证。蚂蚁集团的可信原生技术团队开发了开放跨平台软件可信执行环境HyperEnclave，旨在提高蚂蚁集团隐私保护计算工作负载的效率和兼容性。CertiK通过其独有的先进形式化验证技术，验证了HyperEnclave核心组件的安全性和技术正确性。