Cycles Protocol está cuidadosamente diseñado para asegurar que los TEE no sean confiables para la corrección de *ninguna* ejecución. Toda la ejecución está completamente probada a través de zk-SNARK. El TEE solo está ahí para ejecutar el algoritmo de grafo de manera privada.

Esta es una privacidad práctica. Podemos bloquear al operador de TEE en un centro de datos seguro para prevenir filtraciones, pero también podemos estar seguros de que la solidez del protocolo no depende en absoluto del TEE.

Esperamos que otras soluciones avancen en el ínterin, como MPC (o FHE+MPC, ya que FHE nunca es una solución por sí sola) y TEEs realmente seguras por física. Ambas direcciones mejorarán materialmente la seguridad de la computación distribuida. Por ahora, nosotros zk+TEE.