CertiKはAnt Groupと協力して「Star Bloom」プロジェクトの正式な検証研究を行います。

フォーサイトニュースによると、Web3セキュリティ会社CertiKは、Ant GroupのAnt Group Cloudと共同で、次世代オープンソース汎用オペレーティングシステム「Asterinas」のコアコンポーネントの確認を正式化する最新の研究を発表しました。AsterinasはRustを基に開発されており、Linuxアプリケーションと互換性があります。この作業は、Rustオペレーティングシステムの形式的検証において重要な進展を示しており、そのセキュリティを「数学的証明レベル」の基準に向けて進め、新世代の汎用オペレーティングシステムのセキュリティを強化するための新しいアイデアを提供しています。

フォーサイトニュースによると、Web3セキュリティ会社CertiKは、Ant GroupのAnt Group Cloudと共同で、次世代オープンソース汎用オペレーティングシステム「Asterinas」のコアコンポーネントの確認を正式化する最新の研究を発表しました。AsterinasはRustを基に開発されており、Linuxアプリケーションと互換性があります。この作業は、Rustオペレーティングシステムの形式的検証において重要な進展を示しており、そのセキュリティを「数学的証明レベル」の基準に向けて進め、新世代の汎用オペレーティングシステムのセキュリティを強化するための新しいアイデアを提供しています。