Toplam Piyasa Değeri:$00
API
TR
Karanlık

SSI/Mag7/Meme/ETF/Coin/Endeks/Grafikler/Araştırma Ara
00:00 / 00:00
Görüş
    Piyasalar
    Endeksler
    Haber Akışı
    TokenBar®
    Analiz
    Makro
    İzleme listesi
Paylaş

CertiK, "Star Bloom" projesi üzerinde resmi doğrulama araştırması yapmak için Ant Group ile işbirliği yapıyor.

ForesightNews
505Kelimeler
14/03/2025

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.

\n

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.

10 saniyede bilmeniz gerekenler
ŞartlarGizlilik PolitikasıBeyaz KitapResmi DoğrulamaCookieBlog
sha512-gmb+mMXJiXiv+eWvJ2SAkPYdcx2jn05V/UFSemmQN07Xzi5pn0QhnS09TkRj2IZm/UnUmYV4tRTVwvHiHwY2BQ==
sha512-kYWj302xPe4RCV/dCeCy7bQu1jhBWhkeFeDJid4V8+5qSzhayXq80dsq8c+0s7YFQKiUUIWvHNzduvFJAPANWA==