Le Cycles Protocol est soigneusement conçu pour garantir que les TEE ne sont pas dignes de confiance pour l'exactitude de *quoi que ce soit* d'exécuté. Toute exécution est entièrement prouvée via zk-SNARK. Le TEE est uniquement là pour exécuter l'algorithme de graphe de manière privée.

C'est une confidentialité pratique. Nous pouvons verrouiller l'opérateur TEE dans un centre de données sécurisé pour prévenir les fuites, mais nous pouvons également être assurés que la solidité du protocole ne dépend pas du tout du TEE.

Nous attendons avec impatience d'autres solutions qui progresseront en attendant, comme MPC (ou FHE+MPC, puisque FHE n'est jamais une solution à elle seule) et des TEE réellement sécurisés par la physique. Ces deux directions amélioreront considérablement la sécurité de l'informatique distribuée. Pour l'instant, nous zk+TEE.