Techub Haberleri, Netease Haberlerine göre, Web3 güvenlik şirketi CertiK ve Ant Group'un Ant Financial Group'unun altında yer alan Ant Cryptology, gelecek nesil Açık Kaynak genel işletim sistemi 'Asterinas'ın çekirdek bileşenlerini Biçimsel Doğrulama sürecine tabi tuttu. Asterinas, Rust geliştirme diline dayanmakta olup Linux uygulamalarıyla uyumludur. Bu çalışma, Rust işletim sisteminin Biçimsel Doğrulama sürecine olan önemli ilerlemeleri sergilemekte, güvenliğini 'matematiksel kanıt seviyesi' standartlarına taşımakta ve gelecek nesil genel işletim sistemlerinin güvenliğini artırmak için yeni bir yol göstermektedir. Daha önce, CertiK, Ant Cryptology'nin TEE platformu HyperEnclave için Biçimsel Doğrulama işlemini başarıyla tamamlamıştı.
View Original
The content is for reference only, not a solicitation or offer. No investment, tax, or legal advice provided. See Disclaimer for more risks disclosure.
Techub Haberleri, Netease Haberlerine göre, Web3 güvenlik şirketi CertiK ve Ant Group'un Ant Financial Group'unun altında yer alan Ant Cryptology, gelecek nesil Açık Kaynak genel işletim sistemi 'Asterinas'ın çekirdek bileşenlerini Biçimsel Doğrulama sürecine tabi tuttu. Asterinas, Rust geliştirme diline dayanmakta olup Linux uygulamalarıyla uyumludur. Bu çalışma, Rust işletim sisteminin Biçimsel Doğrulama sürecine olan önemli ilerlemeleri sergilemekte, güvenliğini 'matematiksel kanıt seviyesi' standartlarına taşımakta ve gelecek nesil genel işletim sistemlerinin güvenliğini artırmak için yeni bir yol göstermektedir. Daha önce, CertiK, Ant Cryptology'nin TEE platformu HyperEnclave için Biçimsel Doğrulama işlemini başarıyla tamamlamıştı.