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

Esta é uma privacidade prática. Podemos restringir o operador TEE num centro de dados seguro para evitar vazamentos, mas também podemos ter a certeza de que a solidez do protocolo não depende de forma alguma do TEE.

Estamos ansiosos por outras soluções que progridam entretanto, como MPC (ou FHE+MPC, uma vez que FHE nunca é uma solução por si só) e TEEs realmente seguras por física. Ambas estas direções irão melhorar materialmente a segurança da computação distribuída. Por agora, estamos zk+TEE.