CertiK 與螞蟻密算合作開展“星綻”形式化驗證研究工作

foresightnews
03-14

Foresight News 消息,據網易新聞消息,Web3 安全公司 CertiK 與螞蟻集團旗下的螞蟻密算聯合發佈最新研究工作,對下一代開源通用操作系統“星綻(Asterinas)”的核心組件進行了形式化驗證。星綻基於 Rust 開發,兼容 Linux 應用。此項工作展示了對 Rust 操作系統形式化驗證的重要進展,推動其安全性邁向“數學證明級”標準,併爲提升下一代通用操作系統的安全性提供了新的思路。 [查看更多]

免責聲明:投資有風險,本文並非投資建議,以上內容不應被視為任何金融產品的購買或出售要約、建議或邀請,作者或其他用戶的任何相關討論、評論或帖子也不應被視為此類內容。本文僅供一般參考,不考慮您的個人投資目標、財務狀況或需求。TTM對信息的準確性和完整性不承擔任何責任或保證,投資者應自行研究並在投資前尋求專業建議。

熱議股票

  1. 1
     
     
     
     
  2. 2
     
     
     
     
  3. 3
     
     
     
     
  4. 4
     
     
     
     
  5. 5
     
     
     
     
  6. 6
     
     
     
     
  7. 7
     
     
     
     
  8. 8
     
     
     
     
  9. 9
     
     
     
     
  10. 10