Cycles Protocol经过精心设计，以确保不信任TEE对*任何*执行的正确性。所有执行都通过zk-SNARK完全证明。 TEE仅用于私密地执行图算法。

这就是实用的隐私。我们可以在安全的数据中心锁定TEE操作员以防止泄漏，但我们也可以放心，协议的健全性根本不依赖于TEE。

我们期待在此期间其他解决方案的进展，比如MPC（或FHE+MPC，因为FHE本身从来不是一个解决方案）以及实际上由物理安全保障的TEE。 这两个方向将实质性增强分布式计算的安全性。 目前，我们使用zk+TEE。