現実世界の応用における信頼できる計算は楽しいものです。 ZKPは理論的なセキュリティを最大化しますが、回路設計や特殊なハードウェアのコストが多くの運用を今日では実用的にしていません。 経済的価値が完全な暗号証明を正当化しない場合、TEEは適切な工学的選択です。 例えば、1セント未満と10ドル、そして簡単なSQLクエリを行うのに数分かかるの>と比べて、1セント未満、秒単位で対応するのと比べて。 このトレードオフは、今後数年でZK研究が進展するにつれて変化していくでしょう。

また、Circomの執筆能力を高めるにはLLMが必要です。