リスク提示：本サイトのすべての内容は投資助言ではなく、いかなるシグナル配信・取引勧誘サービスも行いません。中国人民銀行など十部委の「仮想通貨取引投機リスクの防止と処置に関する通知」に基づき、リスク意識の向上をお願いいたします。お問い合わせ / [email protected] 琼ICP备2022009338号
TechFlowの報道によると、公式微信公众号の情報によれば、グローバルなブロックチェーンおよびスマートコントラクトセキュリティ企業CertiKは、アントグループが開発した革新的なオープンクロスプラットフォーム型トラステッドエグゼキューションエンバイロメント（TEE）「HyperEnclave」に対して高度な形式化検証を完了した。
アントグループのオープンクロスプラットフォーム型ソフトウェアTEE「HyperEnclave」は、同社のトラストネイティブ技術チームによって開発されたもので、アントグループのプライバシー保護コンピューティングワークロードの効率性と互換性を向上させることを目的としている。
CertiKによる形式化検証プロセスでは、機械チェック可能な証明を適用して、HyperEnclaveコードの正しさと安全性を検証しており、その中でも最も重要な構成要素である「RustMonitor」を対象とした。CertiKは独自の先進的なシステムコード検証手法を用い、Rustコードの検証に特化したカスタムフレームワークを開発した。
ブロックチェーンおよびスマートコントラクトのセキュリティを専門とするグローバル企業CertiKは、アントグループが開発したオープンでクロスプラットフォーム対応の信頼性保証実行環境（TEE）「HyperEnclave」に対して、先進的な形式的検証を完了した。アントグループのHyperEnclaveは、同社のトラステッドネイティブ技術チームにより開発されたもので、アントグループにおけるプライバシー保護計算ワークロードの効率性と互換性の向上を目指している。CertiKによる形式的検証では、機械チェック可能な証明を用いてHyperEnclaveコードの正しさと安全性を検証しており、特にその中核をなすコンポーネントである「RustMonitor」も対象となっている。CertiKは独自の高度なシステムコード検証手法を活用し、Rustコードの検証に特化したカスタムフレームワークを開発した。
Web3業界の深掘り報道に専念し潮流を洞察
