Cycles Protocol は、TEE が *any* 実行の正確性について信頼されないように慎重に設計されています。すべての実行は、zk-SNARKを介して完全に証明されています。 TEEは、グラフアルゴリズムを非公開で実行するためにのみ存在します。

これは実用的なプライバシーです。漏洩を防ぐために安全なデータセンターでTEEオペレーターをロックダウンできますが、プロトコルの健全性はTEEにまったく依存しないためも安心できます。

MPC(またはFHE+MPCはそれ自体では決してソリューションではないため)や実際に物理学によるセキュアなTEEなど、他のソリューションが進歩することを楽しみにしています。 これらの方向性は両方とも、分散コンピューティングのセキュリティを大幅に強化します。 今のところ、zk+TEE。