Cycles-protokolla on suunniteltu huolellisesti varmistamaan, että TEE:ihin ei luoteta *minkään* suorituksen oikeellisuuteen. Kaikki toteutus on täysin todistettu zk-SNARKin kautta. TEE on olemassa vain graafialgoritmin suorittamiseksi yksityisesti.

Tämä on käytännön yksityisyyttä. Voimme lukita TEE-operaattorin turvalliseen konesaliin vuotojen estämiseksi, mutta voimme myös olla varmoja siitä, että protokollan luotettavuus ei riipu lainkaan TEE:stä.

Odotamme innolla muiden ratkaisujen etenemistä sillä välin, kuten MPC (tai FHE+MPC, koska FHE ei ole koskaan ratkaisu itsessään) ja itse asiassa fysiikan turvalliset TEE:t. Molemmat suunnat parantavat olennaisesti hajautetun tietojenkäsittelyn turvallisuutta. Toistaiseksi me zk+TEE.