PANews 7月26日消息,安全機構CertiK宣布已完成對螞蟻集團創新開放式跨平台可信執行環境(TEE)HyperEnclave的先進形式化驗證。據悉,螞蟻集團的可信原生技術團隊開發的開放跨平台軟件可信執行環境HyperEnclave,旨在提高螞蟻集團隱私保護計算工作負載的效率和兼容性。

CertiK已完成對螞蟻集團HyperEnclave先進形式化驗證