Cycles Protocol je pečlivě navržen tak, aby zajistil, že TEE nejsou důvěryhodné pro správnost *jakéhokoli* provedení. Veškeré provedení je plně prokázáno pomocí zk-SNARK. TEE je zde pouze pro soukromé spuštění algoritmu grafu.

To je praktické soukromí. Můžeme uzamknout operátora TEE v zabezpečeném datovém centru, abychom zabránili únikům, ale také si můžeme být jisti, že spolehlivost protokolu vůbec nezávisí na TEE.

Těšíme se na další řešení, která se mezitím budou vyvíjet, jako je MPC (nebo FHE+MPC, protože FHE nikdy není řešením samo o sobě) a ve skutečnosti TEE zabezpečené fyzikou. Oba tyto směry podstatně zvýší bezpečnost distribuovaných výpočtů. Prozatím zk+TEE.