像 @brevis_zk 的 Pico Prism 這樣的 zkVM 正在實現實時證明。 目前,證明者以明文處理輸入,而 TEE 增加了硬體級的保密性,以避免操作員濫用數據。 以下是 Automata 如何在 zkVM 上啟用可驗證 TEE 的私密證明 ↓
目前的 zkVM 設置基於一個信任假設,即明文輸入不會被證明操作員訪問。 為了讓用戶無需信任地共享他們的數據,可以集成 TEE 以提供數據保密性和計算完整性的保證。
Pico Prism 在像 Intel SGX 或 TDX 這樣的硬體隔離區域內執行,明文證據完全在加密記憶體內處理。 任何人都可以在分享私人數據之前,通過遠端證明來驗證證明者的完整性。
整個驗證信任鏈透過 Automata 的 DCAP 儀表板保持有效,該儀表板自動化管理 Intel SGX 和 TDX 的抵押品管理。 鏈上 DCAP 驗證實時更新,以防止在抵押品到期時發生驗證中斷。
Automata Network
Automata Network2025年9月23日
TEEs are only as secure as their trust chain. Introducing the DCAP Dashboard for automating onchain collateral upkeep for Intel SGX and TDX:
33.74K