PANewsは3月14日、NetEase Newsによると、Web3セキュリティ大手のCertiKとAnt Groupの子会社であるAnt Cryptographic Computingが共同で最新の研究成果を発表し、次世代オープンソース汎用オペレーティングシステムAsterinasのコアコンポーネントを正式に検証したと報じた。 Xingzhan は Rust ベースで開発されており、Linux アプリケーションと互換性があります。この研究は、Rust オペレーティング システムの形式検証における重要な進歩を示し、そのセキュリティを「数学的に証明されたレベル」の標準に向けて押し上げ、次世代の汎用オペレーティング システムのセキュリティを向上させるための新しいアイデアを提供します。これまでに、CertiK は Ant Crypto の TEE プラットフォーム HyperEnclave の形式検証を成功裏に完了しています。