The security audit company CertiK has completed the advanced formal verification of Ant Group's HyperEncalve

ChainCatcher news, according to official news from CertiK, CertiK has completed advanced formal verification of Ant Group's innovative open cross-platform Trusted Execution Environment (TEE) HyperEnclave.
It is reported that Ant Group's Trusted Native Technology Team developed the open cross-platform software Trusted Execution Environment HyperEnclave, aiming to improve the efficiency and compatibility of Ant Group's privacy-preserving computing workloads.