您現在的位置是：眾鏈財經 > 幣快訊 >
CertiK完成對螞蟻集團可信執行環境HyperEnclave的先進形式化驗證
2023-07-26 10:30
簡介據報道，CertiK宣布完成對螞蟻集團開放式跨平臺可信執行環境（TEE）HyperEnclave的先進形式化驗證。螞蟻集團的可信原生技術團隊開發了開放跨平臺軟件可信執行環境HyperEnclave，旨在提高螞蟻集團隱私保護計算工作負載的效率和兼容性。CertiK通過其獨有的先進形式化驗證技術，驗證了HyperEnclave核心組件的安全性和技術正確性。
據報道，CertiK宣布完成對螞蟻集團開放式跨平臺可信執行環境（TEE）HyperEnclave的先進形式化驗證。螞蟻集團的可信原生技術團隊開發了開放跨平臺軟件可信執行環境HyperEnclave，旨在提高螞蟻集團隱私保護計算工作負載的效率和兼容性。CertiK通過其獨有的先進形式化驗證技術，驗證了HyperEnclave核心組件的安全性和技術正確性。
