Cycles Protocol is zorgvuldig ontworpen om ervoor te zorgen dat TEE's niet worden vertrouwd voor de correctheid van *eender* welke uitvoering. Alle uitvoering is volledig bewezen via zk-SNARK. De TEE is alleen daar om het grafalgoritme privé uit te voeren.

Dit is praktische privacy. We kunnen de TEE-operator in een veilig datacenter afsluiten om lekken te voorkomen, maar we kunnen er ook op vertrouwen dat de degelijkheid van het protocol helemaal niet afhankelijk is van de TEE.

We kijken uit naar andere oplossingen die in de tussentijd vorderen, zoals MPC (of FHE+MPC, aangezien FHE nooit een oplossing op zichzelf is) en daadwerkelijk fysiek veilige TEE's. Beide richtingen zullen de beveiliging van gedistribueerd rekenen aanzienlijk verbeteren. Voor nu, we zk+TEE.