FlashProve 开放可验证推理研究原型

FlashProve 开放可验证推理研究原型 项目用零知识证明核对输出是否来自承诺的模型计算，并提供证明器、验证器及 Lean 形式化材料。

当前实现限定整数模型与贪心解码，快速代码仍有验证边界，仓库也不承诺持续维护；它证明计算来源，不保证回答事实正确。