FlashProve: 零知识证明 AI 推理

FlashProve 让 AI 提供商能证明某条回复由特定模型生成，同时保持模型权重秘密。该协议在 Lean 4 中证明了安全性，并支持在单块 NVIDIA H100 上运行 Llama 4 Maverick 全尺寸模型，预填充速度达 110 tokens/秒，验证可在普通 CPU 上几秒内完成。