deep-prove

DeepProve 是一个用于高效生成机器学习模型推理零知识证明的框架。它基于 Rust 实现，采用 sumcheck 和 logup GKR 等先进密码学技术，支持 MLP 和 CNN 模型，实现亚线性证明时间，在 264k 参数 CNN 和 400 万参数全连接网络上分别比同类方案快 158 倍和 54 倍。其核心子模块 zkml 提供端到端的 ZKML 推理证明能力，兼顾性能与通用性。适用于对隐私与可验证性要求高的场景，如医疗数据预测、金融模型合规审计及区块链上的可信 AI 计算。