立刻保护您的项目
借助最大的web3安全提供商来增强您的项目。
CertiK 安全专家将审核您的请求，并尽快与您联系。

CertiK Successfully Formally Verifies HyperEnclave from Ant Group's Trust Native Technology

消息 ·公告 ·
CertiK Successfully Formally Verifies HyperEnclave from Ant Group's Trust Native Technology

CertiK has successfully completed the formal verification of HyperEnclave, an innovative open and cross-platform Trusted Execution Environment (TEE) from Ant Group’s Trust Native Technology team. This marks the first time in the industry that such an in-depth formal verification process has been completed for a TEE.

Ant Group’s Trust Native Technology team developed HyperEnclave as an open and cross-platform TEE to increase the efficiency and compatibility of its privacy-preserving computing workload. CertiK, using its exclusive world-class advanced formal verification technologies, successfully verified the security and technical correctness of HyperEnclave's core components.

CertiK's formal verification process involved applying machine-checked proofs to validate the correctness and security of HyperEnclave's code, including its most critical component: RustMonitor. CertiK applied its exclusive advanced systems code verification approach and developed a customized framework for verifying Rust code.

With extensive experience in formal verification and a number of innovative applications of the process, the CertiK team was able to accurately evaluate the security of HyperEnclave.

"CertiK is proud to work on this ground-breaking project," said Prof. Ronghui Gu, co-founder of CertiK and inventor of the exclusive approach to systems code verification. "Our work on this formal verification is a testament to our commitment to pushing the boundaries of security in the ever-evolving tech and Web3 landscapes."

CertiK looks forward to further auditing, testing, and formal verification of other confidential computing building blocks.

相关博客

The Counterparty Challenge in Institutional Crypto
新的 · 技术博客 ·教育

The Counterparty Challenge in Institutional Crypto

When an institution sends digital assets to an address provided by a counterparty, it is relying on the counterparty's claim that they control it. The blockchain will settle the transaction regardless of who is on the other end. This gap between how institutions want to use digital assets and what the compliance infrastructure can actually verify is becoming harder to ignore as more regulated capital moves on-chain.

CertiK Completes Proof of Reserves Verification for Gate Dubai
新的 · 消息 ·公告

CertiK Completes Proof of Reserves Verification for Gate Dubai

CertiK has completed an independent Proof of Reserves (PoR) audit for Gate Technology FZE, the Dubai-based entity of the Gate Group. Gate Dubai exchange is licensed by the Virtual Assets Regulatory Authority (VARA). The audit verified that the platform's on-chain reserves fully back its user liabilities across all in-scope assets as of December 31, 2025.

CertiK’s Path Forward: Advancing Trust, Transparency, and Web3 Infrastructure
消息 ·公告

CertiK’s Path Forward: Advancing Trust, Transparency, and Web3 Infrastructure

As conversations at the 2026 World Economic Forum at Davos-Klosters, Switzerland continue to influence how global leaders engage with emerging technologies, one message is becoming increasingly clear: Web3 is entering a new phase defined by institutional participation, regulatory engagement, and long-term infrastructure.