deep-prove

收录理由

当验证方需要确信某个模型输出确实来自该模型时，DeepProve 给出了一条实际可行的路径：它把神经网络的 forward pass 转换成零知识证明，任何人都能确认推理被正确计算，而无需重新运行模型。这种保证对于监管报告、审计留痕或链上可验证推理场景很有价值——一份紧凑的证明，第三方花几秒钟即可校验，远比把整个模型搬过去更现实。这个 Rust 工作区覆盖了完整流水线，从模型量化、逐层证明 transformer 层，到运行提供证明生成任务的 worker，公布的基准测试显示它已端到端证明 GPT-2、Gemma 3 和 Llama 2。需要提醒的是，计算成本不低：生成证明比普通推理重得多，因此更适合已经熟悉 zk 工具链、愿意投入高内存 CPU 服务器或 GPU 集群的团队。