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