Cycles Protocol 精心設計，以確保不信任 TEE 來保證 *任何* 執行的正確性。所有執行都通過 zk-SNARK 完全證明。 TEE 只是用來私下執行圖算法。

這是實用的隱私。我們可以將 TEE 操作員鎖定在安全的數據中心以防止洩漏，但我們也可以放心，協議的健全性根本不依賴於 TEE。

我們期待在此期間其他解決方案的進展，例如 MPC（或 FHE+MPC，因為 FHE 本身從來不是解決方案）以及實際上由物理安全的 TEE。 這兩個方向將實質上增強分散計算的安全性。 目前，我們使用 zk+TEE。