形式的検証

ChainCatcher のメッセージによると、CertiK の公式情報によれば、CertiK はアリババグループの革新的なオープンソースクロスプラットフォーム信頼実行環境（TEE）HyperEnclave の高度な形式的検証を完了しました。報告によると、アリババグループの信頼できるネイティブ技術チームは、オープンなクロスプラットフォームソフトウェア信頼実行環境 HyperEnclave を開発し、アリババグループのプライバシー保護計算ワークロードの効率と互換性を向上させることを目的としています。