[CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证]金色财经报道，CertiK宣布完成对蚂蚁集团开放式跨平台可信执行环境（TEE）HyperEnclave的先进形式化验证。蚂蚁集团的可信原生技术团队开发了开放跨平台软件可信执行环境HyperEnclave，旨在提高蚂蚁集团隐私保护计算工作负载的效率和兼容性。CertiK通过其独有的先进形式化验证技术，验证了HyperEnclave核心组件的安全性和技术正确性。
IMF总裁：全球已有114家央行探索CBDC，约10家已完成:金色财经报道，国际货币基金组织（IMF）总裁克里斯塔利娜·格奥尔基耶娃在拉巴特举行的中央银行数字货币（CBDC）高层政策圆桌会议上透露，截至目前全球已有114家央行探索CBDC，约10家已完成，她认为CBDC应该背靠资产支持，加密货币在有资产支持时是一种投资机会，若果没有，则是投机的投资。（hket）[2023/6/20 21:48:58]
IMF正在开发央行数字货币平台:金色财经报道，国际货币基金组织（IMF）正在开发央行数字货币平台。国际货币基金组织总裁克里斯塔利娜·格奥尔基耶娃表示，国际货币基金组织正在开发该平台，以促进各国之间更容易的交易。CBDC不应该是支离破碎的国家主张，为了实现更高效、更公平的交易，我们需要连接各国的系统：我们需要互操作性。正是出于这个原因，国际货币基金组织正在开发一个全球CBDC平台。
此外，国际货币基金组织表示希望中央银行就数字货币的统一监管框架达成共识，以实现全球互操作性。格奥尔基耶娃建议，如果没有这样的协议，可能会导致可能被加密货币占据的空白。[2023/6/20 21:48:24]
IMF回应对中国的增长预期为正:IMF首席经济学家吉塔?戈皮纳斯在接受采访时回应称，中国和印度的增长潜力比其他经济体都高得多。她同时指出，由于一些新兴市场和发展中国家还未经历严重的来自疫情的冲击，其未来将面临显著的下行风险，经济增长结果可能比IMF当前的预期更差。（金十）[2020/4/16]
郑重声明： CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。