Scaling up Trustless Neural Network Inference with Zero-Knowledge Proofs
Duration: 00:13:19
Speaker: Yi Sun
Type: Talk
Expertise: Beginner
Event: Devcon
Date: Oct 2022
We present the first ZK-SNARK proof of valid inference for a full resolution ImageNet model. We will describe the arithmetization and quantization optimizations enabling us to SNARK large neural networks as well as a software package enabling transpilation from off-the-shelf models to halo2 circuits. We design protocols using our circuits to verify machine learning model predictions and accuracy and present concrete estimates of overhead costs based on our circuit implementations. This is joint
