安全審計公司 CertiK 已完成對螞蟻集團 HyperEncalve 先進形式化驗證

2023-07-26 10:48:46
收藏

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

關聯標籤
鏈捕手ChainCatcher提醒,請廣大讀者理性看待區塊鏈,切實提高風險意識,警惕各類虛擬代幣發行與炒作,站內所有內容僅係市場信息或相關方觀點,不構成任何形式投資建議。如發現站內內容含敏感信息,可點擊“舉報”,我們會及時處理。
ChainCatcher 與創新者共建Web3世界