[CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证]金色财经报道，CertiK宣布完成对蚂蚁集团开放式跨平台可信执行环境（TEE）HyperEnclave的先进形式化验证。蚂蚁集团的可信原生技术团队开发了开放跨平台软件可信执行环境HyperEnclave，旨在提高蚂蚁集团隐私保护计算工作负载的效率和兼容性。CertiK通过其独有的先进形式化验证技术，验证了HyperEnclave核心组件的安全性和技术正确性。
CertiK：苹果iOS内核存在的两个安全漏洞会对iOS设备造成影响:金色财经报道，根据苹果公司最新操作系统更新的发布说明，区块链安全机构CertiK因与苹果iOS内核的两个安全漏洞有关的安全贡献获苹果官方认可。经证实，这些漏洞会对最新的iOS设备造成影响。
据苹果公司官方安全更新页面信息显示，这些漏洞会允许“一个应用程序以内核权限执行任意代码”。在最新发布的版本中，苹果已通过改进内存处理来解决这些漏洞。[2023/8/9 16:15:59]
CertiK：Orbiter Finance推特账号被入侵并发布网络钓鱼链接:金色财经报道，据CertiK监测，Layer 2桥接项目Orbiter Finance的推特账号已被入侵并发布了一个网络钓鱼网址，请勿点击链接。此外，Orbiter Finance的推特账号还发布了一个文档链接，请勿点击、互动或下载。[2023/6/24 21:57:40]
区块链时尚透明度平台tex.tracer完成150万欧元种子轮融资:金色财经报道，区块链时尚透明度平台tex.tracer宣布完成150万欧元种子轮融资，ROM InWest、HearstLab、Joanna Invests、以及一批天使投资人参投。tex.tracer使用区块链技术、时间和地理位置标记、以及点对点审核功能从主要来源收集可靠的验证数据。[2023/3/7 12:47:22]
郑重声明： CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。