安全审计公司 CertiK 已完成对蚂蚁集团 HyperEncalve 先进形式化验证
2024-09-19 08:29:27
分享至 
ChainCatcher 消息，据CertiK 官方消息，CertiK 已经完成对蚂蚁集团创新开放式跨平台可信执行环境（TEE）HyperEnclave 的先进形式化验证。
据悉，蚂蚁集团的可信原生技术团队开发了开放跨平台软件可信执行环境 HyperEnclave，旨在提高蚂蚁集团隐私保护计算工作负载的效率和兼容性。
相关项目
最新快讯
美 SEC 就 ENERGY 代币向 Fuse Energy 出具不采取行动函
ChainCatcher
2025-11-25 07:27:54
Brevan Howard 对 Berachain 的投资享有 2500 万美元的退款权
ChainCatcher
2025-11-25 07:27:02
数据：755.54 万枚 TRX 从 Binance 转出，价值约 208 万美元
ChainCatcher
2025-11-25 07:20:15
Exodus 将以 1.75 亿美元收购 Baanx 和 Monavate 的母公司 W3C Corp
ChainCatcher
2025-11-25 07:05:56
数据：1369.58 万枚 TON 从匿名地址转出，价值约 2136 万美元
ChainCatcher
2025-11-25 06:21:58
