Протокол Cycles ретельно розроблений, щоб гарантувати, що TEE не довіряють за правильність *будь-якого* виконання. Все виконання повністю доведено за допомогою zk-SNARK. TEE існує лише для приватного виконання алгоритму графа.

Це практична конфіденційність. Ми можемо заблокувати оператора TEE в безпечному дата-центрі, щоб запобігти витокам, але ми також можемо бути впевнені, що надійність протоколу зовсім не залежить від TEE.

Тим часом ми з нетерпінням чекаємо на прогрес інших рішень, таких як MPC (або FHE+MPC, оскільки FHE ніколи не є самостійним рішенням) і фактично безпечні за фізикою TEE. Обидва ці напрямки суттєво підвищать безпеку розподілених обчислень. Поки що ми zk+TEE.