O Cycles Protocol foi cuidadosamente projetado para garantir que os TEEs não sejam confiáveis para a exatidão de *qualquer* execução. Toda a execução é totalmente comprovada via zk-SNARK. O TEE existe apenas para executar o algoritmo gráfico de forma privada.

Isso é privacidade prática. Podemos bloquear o operador do TEE em um data center seguro para evitar vazamentos, mas também podemos ter certeza de que a solidez do protocolo não depende do TEE.

Esperamos que outras soluções progridam nesse meio tempo, como MPC (ou FHE+MPC, já que FHE nunca é uma solução por si só) e TEEs realmente seguros por física. Ambas as direções aumentarão materialmente a segurança da computação distribuída. Por enquanto, nós zk + TEE.