Cycles Protocol er nøye utformet for å sikre at TEE-er ikke er klarert for riktigheten av *noen* utførelse. All utførelse er fullstendig bevist via zk-SNARK. TEE er bare der for å utføre grafalgoritmen privat.

Dette er praktisk personvern. Vi kan låse TEE-operatøren i et sikkert datasenter for å forhindre lekkasjer, men vi kan også være trygge på at protokollens forsvarlighet ikke i det hele tatt avhenger av TEE.

Vi ser frem til andre løsninger som utvikler seg i mellomtiden, som MPC (eller FHE+MPC, siden FHE aldri er en løsning alene) og faktisk sikre-av-fysikk TEE-er. Begge disse retningene vil vesentlig forbedre sikkerheten til distribuert databehandling. Foreløpig zk+TEE.