Das Cycles Protocol ist sorgfältig gestaltet, um sicherzustellen, dass TEEs nicht für die Korrektheit von *irgendeiner* Ausführung vertraut werden. Alle Ausführungen sind vollständig durch zk-SNARK bewiesen. Das TEE ist nur dazu da, den Graphalgorithmus privat auszuführen.

Dies ist praktische Privatsphäre. Wir können den TEE-Betreiber in einem sicheren Rechenzentrum sperren, um Lecks zu verhindern, aber wir können auch sicher sein, dass die Solidität des Protokolls überhaupt nicht von dem TEE abhängt.

Wir freuen uns auf andere Lösungen, die in der Zwischenzeit vorankommen, wie MPC (oder FHE+MPC, da FHE niemals eine Lösung für sich allein ist) und tatsächlich physikalisch sichere TEEs. Beide Richtungen werden die Sicherheit des verteilten Rechnens erheblich verbessern. Für jetzt, wir zk+TEE.