在現實世界應用中，可信計算是有趣的。 零知識證明（ZKPs）最大化了理論安全性，但電路設計和專用硬體的成本使得許多操作在今天變得不切實際。 當經濟風險的價值不值得完全的加密證明時，可信執行環境（TEEs）是正確的工程選擇。 例如，進行一個簡單的 SQL 查詢的成本可能是小於一分錢和小於一秒，與超過 10 美元和幾分鐘的時間相比。 隨著未來幾年 ZK 研究的進步，這種權衡將會改變。

我們還需要 LLMs 在撰寫 Circom 方面變得更好。