CertiK携手蚂蚁密算：为星绽操作系统打造“数学证明级”安全

3月14日，据网易新闻报道，Web3安全公司CertiK与蚂蚁集团旗下的蚂蚁密算合作，完成了对下一代开源通用操作系统星绽(Asterinas)核心组件的形式化验证。星绽基于Rust开发，兼容Linux应用。此次验证标志着Rust操作系统在安全性方面取得重要进展，达到“数学证明级”标准，并为提升通用操作系统的安全性提供了新方向。此前，CertiK已为蚂蚁密算的TEE平台HyperEnclave完成形式化验证。