SNARK+深度神经网络
Posted mutourend
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了SNARK+深度神经网络相关的知识,希望对你有一定的参考价值。
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层深度神经网络的执行证明。
- 2.1)Nova Scotia(Rust+javascript):为中间件,将Circom circuits编译后给Nova prover。
以上是关于SNARK+深度神经网络的主要内容,如果未能解决你的问题,请参考以下文章
Filecoin官方信息丨zk-SNARK在Filecoin网络上的价值