FlashProve: 零知识证明 AI 推理过程

FlashProve 允许 AI 提供方在不泄露模型权重的情况下证明某请求由特定模型处理。该工具基于 Llama 4 Maverick 全尺寸模型，在单块 NVIDIA H100 上运行，支持 1,024-token 上下文窗口，预填充速度约为 110 tokens/秒。验证过程可在普通 CPU 上通过 cp_verify 工具在数秒内完成，且协议安全性已在 Lean 4 中形式化证明。