PANews 3月14日消息，，据网易新闻消息，Web3安全巨头CertiK与蚂蚁集团旗下的蚂蚁密算联合发布了最新研究工作，对下一代开源通用操作系统——星绽(Asterinas)——的核心组件进行了形式化验证。星绽基于Rust开发，兼容Linux应用。此项工作展示了对Rust操作系统形式化验证的重要进展，推动其安全性迈向“数学证明级”标准，并为提升下一代通用操作系统的安全性提供了新的思路。此前，CertiK已成功为蚂蚁密算的TEE平台HyperEnclave完成形式化验证。
Disclaimer: Investing carries risk. This is not financial advice. The above content should not be regarded as an offer, recommendation, or solicitation on acquiring or disposing of any financial products, any associated discussions, comments, or posts by author or other users should not be considered as such either. It is solely for general information purpose only, which does not consider your own investment objectives, financial situations or needs. TTM assumes no responsibility or warranty for the accuracy and completeness of the information, investors should do their own research and may seek professional advice before investing.