Cycles Protocol è progettato con attenzione per garantire che i TEE non siano considerati affidabili per la correttezza di *qualsiasi* esecuzione. Tutta l'esecuzione è completamente dimostrata tramite zk-SNARK. Il TEE è presente solo per eseguire l'algoritmo grafico in modo privato.

Questa è una privacy pratica. Possiamo bloccare l'operatore TEE in un centro dati sicuro per prevenire perdite, ma possiamo anche essere certi che la solidità del protocollo non dipende affatto dal TEE.

Non vediamo l'ora che altre soluzioni progrediscano nel frattempo, come MPC (o FHE+MPC, poiché FHE non è mai una soluzione da sola) e TEE effettivamente sicuri per fisica. Entrambe queste direzioni miglioreranno materialmente la sicurezza del calcolo distribuito. Per ora, noi zk+TEE.