在AI中，信任不是可选的。 大型语言模型（LLMs）做出的决策影响着生活、金钱、安全和文化真实性。我们需要知道AI模型的工作方式完全符合设计。 可验证的AI，由零知识证明（zk proofs）驱动，是我们真正信任AI的唯一途径。