Foresight News 消息，據網易新聞消息，Web3 安全公司 CertiK 與螞蟻集團旗下的螞蟻密算聯合發佈最新研究工作，對下一代開源通用操作系統“星綻（Asterinas）”的核心組件進行了形式化驗證。星綻基於 Rust 開發，兼容 Linux 應用。此項工作展示了對 Rust 操作系統形式化驗證的重要進展，推動其安全性邁向“數學證明級”標準，併爲提升下一代通用操作系統的安全性提供了新的思路。 [查看更多]
免責聲明：投資有風險，本文並非投資建議，以上內容不應被視為任何金融產品的購買或出售要約、建議或邀請，作者或其他用戶的任何相關討論、評論或帖子也不應被視為此類內容。本文僅供一般參考，不考慮您的個人投資目標、財務狀況或需求。TTM對信息的準確性和完整性不承擔任何責任或保證，投資者應自行研究並在投資前尋求專業建議。