Cycles Protocol được thiết kế cẩn thận để đảm bảo rằng các TEE không được tin cậy cho độ chính xác của *bất kỳ* thực thi nào. Tất cả các thực thi đều được chứng minh hoàn toàn thông qua zk-SNARK. TEE chỉ có mặt để thực thi thuật toán đồ thị một cách riêng tư.

Đây là sự riêng tư thực tiễn. Chúng tôi có thể khóa chặt nhà điều hành TEE trong một trung tâm dữ liệu an toàn để ngăn chặn rò rỉ, nhưng chúng tôi cũng có thể yên tâm rằng tính hợp lệ của giao thức hoàn toàn không phụ thuộc vào TEE.

Chúng tôi mong chờ các giải pháp khác tiến triển trong thời gian tới, như MPC (hoặc FHE+MPC, vì FHE không bao giờ là một giải pháp độc lập) và các TEE thực sự an toàn theo vật lý. Cả hai hướng này sẽ nâng cao đáng kể tính bảo mật của điện toán phân tán. Hiện tại, chúng tôi sử dụng zk+TEE.