【CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证】

【CertiK完成对蚂蚁集团可信执行环境HyperEnclave的先进形式化验证】2023年07月26日10点22分老不正经报道，CertiK宣布完成对蚂蚁集团开放式跨平台可信执行环境（TEE）HyperEnclave的先进形式化验证。蚂蚁集团的可信原生技术团队开发了开放跨平台软件可信执行环境HyperEnclave，旨在提高蚂蚁集团隐私保护计算工作负载的效率和兼容性。CertiK通过其独有的先进形式化验证技术，验证了HyperEnclave核心组件的安全性和技术正确性。

阿里巴巴：蚂蚁集团已完成相关整改事项

阿里巴巴：蚂蚁集团已完成相关整改事项阿里巴巴在年度报告中表示，蚂蚁集团一直与中国监管部门讨论其业务整改方案，而监管部门在7月初，对蚂蚁处以70.7亿元人民币的罚款，并且蚂蚁集团已完成相关整改事项。阿里巴巴在年报中的风险因素中指出，蚂蚁可能需要投入大量时间和资源调整业务，可能会对其营运和增长前景不利，而蚂蚁的业务和未来前景的变化，以及其他监管要求，可能会对阿里的证券交易价格产生重大不利影响。年报又指出，阿里巴巴与支付宝及蚂蚁集团之间的商业安排，可能会受到反垄断挑战，若需要转而使用其他第三方支付服务，或显著扩大与其他第三方支付服务商的合作，将需要耗费大量时间和资源，其他第三方支付服务亦可能无法达到相同效果或效率，有机会影响业务。年报提到，国内外复杂且不断变化的隐私和数据保护法律法规，或会增加营运成本，并可能要求集团改变数据收集和其他经营方式，或会对用户增长和参与度产生负面影响。阿里巴巴又指，今个月收到蚂蚁集团的通知，蚂蚁将召开股东大会，以批准向其全体股东回购不超过7.6%股份的议案。今次回购的股份将转入蚂蚁集团的股权激励池，计划仍待股东批准。2023-07-2122:40:32