Foresight News 消息，据网易新闻消息，Web3 安全公司 CertiK 与蚂蚁集团旗下的蚂蚁密算联合发布最新研究工作，对下一代开源通用操作系统“星绽（Asterinas）”的核心组件进行了形式化验证。星绽基于 Rust 开发，兼容 Linux 应用。此项工作展示了对 Rust 操作系统形式化验证的重要进展，推动其安全性迈向“数学证明级”标准，并为提升下一代通用操作系统的安全性提供了新的思路。 [查看更多]
免责声明：投资有风险，本文并非投资建议，以上内容不应被视为任何金融产品的购买或出售要约、建议或邀请，作者或其他用户的任何相关讨论、评论或帖子也不应被视为此类内容。本文仅供一般参考，不考虑您的个人投资目标、财务状况或需求。TTM对信息的准确性和完整性不承担任何责任或保证，投资者应自行研究并在投资前寻求专业建议。