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

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

北京炎明生物科技有限公司，一家专注于开发治疗炎症和肿瘤的革命性创新药物的公司，宣布已完成数亿人民币的A+轮融资。本轮融资由市

北京炎明生物科技有限公司，一家专注于开发治疗炎症和肿瘤的革命性创新药物的公司，宣布已完成数亿人民币的A+轮融资。本轮融资由北京市医药健康产业投资基金领投，百洋医药基金跟投，现有投资方峰瑞资本、太平医疗健康基金、礼来亚洲基金等继续追加投资。募集资金将支持ALPK1小分子激动剂PTT-936的临床研究，推进先天免疫抑制剂及细胞焦亡抑制剂项目的临床研究，并加速多个临床前项目，拓展研发管线，促进北京医药健康产业发展。