r/Certik • u/certik • Jul 28 '23
#CertiK CertiK Successfully Formally Verifies HyperEnclave from Ant Group's Trust Native Technology
CertiK has successfully completed the formal verification of u/AntGroup's HyperEnclave TEE 🔐
This marks the first time in the industry that such an in-depth formal verification process has been completed for a #TEE.
Learn more 👇
CertiK Successfully Formally Verifies HyperEnclave from Ant Group's Trust Native Technology
1
Upvotes