ChainCatcher 消息,据 CertiK 官方消息,CertiK 已經完成對螞蟻集團創新開放式跨平台可信執行環境(TEE)HyperEnclave 的先進形式化驗證。 據悉,螞蟻集團的可信原生技術團隊開發了開放跨平台軟體可信執行環境 HyperEnclave,旨在提高螞蟻集團隱私保護計算工作負載的效率和相容性。