在现实世界应用中，可信计算是有趣的。 零知识证明（ZKPs）最大化了理论安全性，但电路设计和专用硬件的成本使得许多操作在今天变得不切实际。 当面临的经济风险不值得进行完整的密码学证明时，可信执行环境（TEEs）是正确的工程选择。 例如，进行一个简单的SQL查询的成本可能是小于一美分和小于一秒，而超过10美元和几分钟。 随着未来几年ZK研究的进展，这种权衡将会发生变化。

我们还需要让LLMs在编写Circom方面变得更好。