您现在的位置是:主页 > 行业动态 >
TokenPocket钱包链接|CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证
2023-07-26 12:42行业动态 人已围观
简介财经是集行业新闻、资讯、行情、数据等一站式区块链产业服务平台,我们追求及时、全面、专业、准确的资讯与数据,致力于为区块链创业者以及数字货币投资者提供最好的产品和服...
财经报道,CertiK宣布完成对蚂蚁集团开放式跨平台可信执行环境(TEE)HyperEnclave的先进形式化验证。蚂蚁集团的可信原生技术团队开发了开放跨平台软件可信执行环境HyperEnclave,旨在提高蚂蚁集团隐私保护计算工作负载的效率和兼容性。CertiK通过其独有的先进形式化验证技术,验证了HyperEnclave核心组件的安全性和技术正确性。