形式化验证

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