Techub News 消息，據網易新聞消息，Web3 安全公司 CertiK 與螞蟻集團旗下的螞蟻密算聯合發佈最新研究工作，對下一代開源通用操作係統「星綻（Asterinas）」的核心組件進行了形式化驗證。星綻基於 Rust 開發，兼容 Linux 應用。此項工作展示了對 Rust 操作係統形式化驗證的重要進展，推動其安全性邁向「數學證明級」標準，並為提升下一代通用操作係統的安全性提供了新的思路。此前，CertiK 已成功為螞蟻密算的 TEE 平台 HyperEnclave 完成形式化驗證。
内容來源：TECHUB NEWS
財華網所刊載內容之知識產權為財華網及相關權利人專屬所有或持有。未經許可，禁止進行轉載、摘編、複製及建立鏡像等任何使用。
如有意願轉載，請發郵件至 content@finet.com.hk，獲得書面確認及授權後，方可轉載。
香港領先,世界一流的科技媒體平台 在數字化時代,Web3技術的崛起為媒體行業注入了新的活力。作為香港領先的Web3媒體平台,Techub News憑借其專業的團隊、豐富的資源和創新的業務模式,成為了行業内的佼佼者。Techub News,作為香港的科技媒體翹楚,致力於打造「香港領先,世界一流」的科技媒體和新媒體集群。Techub News平台提供最新、最快、最專業的Web3科技資訊,為用戶呈現科技前沿的無限魅力。
財華財經APP下載 
或
按钮分享