Cycles Protocol jest starannie zaprojektowany, aby zapewnić, że TEE nie są uważane za wiarygodne w zakresie poprawności *jakiejkolwiek* egzekucji. Cała egzekucja jest w pełni udowodniona za pomocą zk-SNARK. TEE jest tylko po to, aby prywatnie wykonać algorytm grafowy.

To jest praktyczna prywatność. Możemy zablokować operatora TEE w bezpiecznym centrum danych, aby zapobiec wyciekom, ale możemy również być pewni, że solidność protokołu wcale nie zależy od TEE.

Czekamy na postęp innych rozwiązań w międzyczasie, takich jak MPC (lub FHE+MPC, ponieważ FHE nigdy nie jest rozwiązaniem samodzielnym) oraz rzeczywiście bezpieczne z fizyki TEE. Oba te kierunki znacznie zwiększą bezpieczeństwo obliczeń rozproszonych. Na razie mamy zk+TEE.