AI 推理零知识证明研究原型

FlashProve 是一个研究原型，目标是为 AI 推理生成零知识证明，使用 Lean 语言编写。仓库明确标注该项目已不再维护，适合对零知识证明与 AI 推理交叉领域感兴趣的研究者参考其思路与实现方式，而非作为可直接投入生产的工具使用。