像 @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:
10