Formal Verification: CertiK 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… Read More
Read more in: Blockchain & Digital Assets, Asia, Fintech, Global | Tagged ant group, certik, digital technology, distributed ledger technology, dlt, formal verification, innovation, tee, trusted execution environment