CertiK, "Star Bloom" projesi üzerinde resmi doğrulama araştırması yapmak için Ant Group ile işbirliği yapıyor.
Foresight News'a göre, Web3 güvenlik şirketi CertiK, Ant Group'un Ant Group Cloud'u ile birlikte en son araştırma çalışmasını yayınladı ve gelecek nesil açık kaynaklı genel amaçlı işletim sistemi "Asterinas"ın temel bileşenlerinin doğrulamasını resmileştirdi. Asterinas, Rust tabanlı olarak geliştirilmiştir ve Linux uygulamalarıyla uyumludur. Bu çalışma, Rust işletim sistemlerinin resmi doğrulamasında önemli bir ilerleme göstermekte, güvenliğini "matematiksel kanıt düzeyi" standardına doğru ilerletmekte ve gelecek nesil genel amaçlı işletim sistemlerinin güvenliğini artırmak için yeni fikirler sunmaktadır.
\nForesight News'a göre, Web3 güvenlik şirketi CertiK, Ant Group'un Ant Group Cloud'u ile birlikte en son araştırma çalışmasını yayınladı ve gelecek nesil açık kaynaklı genel amaçlı işletim sistemi "Asterinas"ın temel bileşenlerinin doğrulamasını resmileştirdi. Asterinas, Rust tabanlı olarak geliştirilmiştir ve Linux uygulamalarıyla uyumludur. Bu çalışma, Rust işletim sistemlerinin resmi doğrulamasında önemli bir ilerleme göstermekte, güvenliğini "matematiksel kanıt düzeyi" standardına doğru ilerletmekte ve gelecek nesil genel amaçlı işletim sistemlerinin güvenliğini artırmak için yeni fikirler sunmaktadır.