Scaling up Trustless DNN Inference with Zero-Knowledge Proofs

Scaling up Trustless DNN Inference with Zero-Knowledge Proofs

17 October 2022

Tatsunori Hashimoto

ArXiv (abs)PDF HTML

Papers citing "Scaling up Trustless DNN Inference with Zero-Knowledge Proofs"

13 / 13 papers shown

Title
ExpProof : Operationalizing Explanations for Confidential Models with ZKPs Chhavi Yadav Evan Monroe Laufer Dan Boneh Kamalika Chaudhuri 137 0 0 06 Feb 2025
Verifiable and Provably Secure Machine Unlearning Thorsten Eisenhofer Doreen Riepel Varun Chandrasekaran Esha Ghosh O. Ohrimenko Nicolas Papernot AAML MU 84 26 0 17 Oct 2022
Tabula: Efficiently Computing Nonlinear Activation Functions for Secure Neural Network Inference Maximilian Lam Michael Mitzenmacher Vijay Janapa Reddi Gu-Yeon Wei David Brooks 68 3 0 05 Mar 2022
pvCNN: Privacy-Preserving and Verifiable Convolutional Neural Network Testing Jiasi Weng Jian Weng Gui Tang Anjia Yang Ming Li Jia-Nan Liu 52 32 0 23 Jan 2022
CrypTen: Secure Multi-Party Computation Meets Machine Learning Brian Knott Shobha Venkataraman Awni Y. Hannun Shubho Sengupta Mark Ibrahim Laurens van der Maaten 78 361 0 02 Sep 2021
HEMET: A Homomorphic-Encryption-Friendly Privacy-Preserving Mobile Neural Network Architecture Qian Lou Lei Jiang 80 66 0 31 May 2021
DeepReDuce: ReLU Reduction for Fast Private Inference N. Jha Zahra Ghodsi S. Garg Brandon Reagen 77 91 0 02 Mar 2021
Privacy-Preserving Video Classification with Convolutional Neural Networks Sikha Pentyala Rafael Dowsley Martine De Cock PICV 86 21 0 06 Feb 2021
CrypTFlow: Secure TensorFlow Inference Nishant Kumar Mayank Rathee Nishanth Chandran Divya Gupta Aseem Rastogi Rahul Sharma 141 243 0 16 Sep 2019
Gazelle: A Low Latency Framework for Secure Neural Network Inference Chiraag Juvekar Vinod Vaikuntanathan A. Chandrakasan 65 893 0 16 Jan 2018
MobileNetV2: Inverted Residuals and Linear Bottlenecks Mark Sandler Andrew G. Howard Menglong Zhu A. Zhmoginov Liang-Chieh Chen 184 19,316 0 13 Jan 2018
SafetyNets: Verifiable Execution of Deep Neural Networks on an Untrusted Cloud Zahra Ghodsi Tianyu Gu S. Garg 59 160 0 30 Jun 2017
Time-Optimal Interactive Proofs for Circuit Evaluation J. Thaler 77 222 0 13 Apr 2013