Techub Newsによると、NetEase Newsによると、Web3セキュリティ企業CertiKとアリペイグループ傘下のアントファイナンシャルが共同で次世代のオープンソース汎用オペレーティングシステム「星綻(Asterinas)」の中核コンポーネントを形式的に認証しました。AsterinasはRustで開発され、Linuxアプリケーションと互換性があります。この作業は、Rustオペレーティングシステムの形式的認証における重要な進展を示し、そのセキュリティを「数学的に証明されたレベル」に向上させ、次世代の汎用オペレーティングシステムのセキュリティを向上させる新しいアプローチを提供しています。以前、CertiKはアントファイナンシャルのTEEプラットフォームHyperEnclaveに対して形式的な認証を完了しています。
原文表示