Techub News 消息,据网易新闻消息,Web3 安全公司 CertiK 与蚂蚁集团旗下的蚂蚁密算联合发布最新研究工作,对下一代开源通用操作系统「星绽(Asterinas)」的核心组件进行了形式化验证。星绽基于 Rust 开发,兼容 Linux 应用。此项工作展示了对 Rust 操作系统形式化验证的重要进展,推动其安全性迈向「数学证明级」标准,并为提升下一代通用操作系统的安全性提供了新的思路。此前,CertiK 已成功为蚂蚁密算的 TEE 平台 HyperEnclave 完成形式化验证。
查看原文