deep-prove

DeepProve 是一个用于快速验证机器学习模型推理的框架。它采用零知识证明技术，支持多层感知机（MLP）和卷积神经网络（CNN）等模型的高效验证，利用sumchecks和logup GKR等高级加密方法实现亚线性时间证明，显著提升了验证速度。例如，在处理264k参数的CNN时，其证明速度比传统方法快158倍。该框架适用于对隐私和信任要求较高的场景，如医疗健康中的患者数据保护、金融行业的合规验证以及区块链上的去中心化应用，确保AI计算的完整性和透明度。项目主要使用Rust语言编写，并在Apache 2.0许可下发布。