伦敦 AI×Crypto 社区聚焦以密码学证明验证 AI 推理与训练

伦敦 AI×Crypto 社区近日举办 AI Verification Mixer，探讨利用 ZK 证明、TEE、MPC 等密码学工具验证 AI 推理与训练。研究者 Davide Crapis 提出两项核心问题：如何证明数据中心仅运行特定模型推理，以及如何在不泄露模型细节的前提下提供训练与推理的来源证明。