Cycles-protokollet är noggrant utformat för att säkerställa att TEE:er inte är betrodda för att *någon* körning är korrekt. All exekvering är fullt bevisad via zk-SNARK. TEE är bara till för att köra grafalgoritmen privat.

Detta är praktisk integritet. Vi kan låsa in TEE-operatören i ett säkert datacenter för att förhindra läckor, men vi kan också vara säkra på att protokollets sundhet inte alls beror på TEE.

Vi ser fram emot att andra lösningar utvecklas under tiden, som MPC (eller FHE+MPC, eftersom FHE aldrig är en lösning på egen hand) och faktiskt TEE:er som är säkra genom fysik. Båda dessa riktningar kommer att avsevärt förbättra säkerheten för distribuerad databehandling. För tillfället zk+TEE.