1. 引言

SNARK+深度神经网络，相关开源实现有：

• 1）Ezkl（Rust）：借助Halo2证明系统，实现了50层的MobileNetV2的执行证明。具体见Daniel Kang等人2022年论文Scaling up Trustless DNN Inference with Zero-Knowledge Proofs。

• 2）Zator（Python+Rust）：用递归SNARK证明任意深度神经网络的执行。借助新的证明系统：

  • 2.1）Nova Scotia（Rust+JavaScript）：为中间件，将Circom circuits编译后给Nova prover。
    
  • 2.2）微软Nova: Recursive SNARKs without trusted setup：为高速递归证明SNARK方案。
  • 2.3）微软Spartan: Efficient and general-purpose zkSNARKs without trusted setup

  借助Nova和Spartan证明系统，Zator可实现512层深度神经网络的执行证明。