信任在 AI 中不是可選的。 大型語言模型（LLMs）做出的決策影響著生命、金錢、安全和文化真實性。我們需要知道 AI 模型的運作完全符合設計。 可驗證的 AI，基於 zk 證明，是真正信任 AI 的唯一方法。