SNARKs for Verifiable Inference

In this talk, I will present cryptographic tools for proving the correctness of inferences made by popular deep learning models. These tools leverage advancements in SNARKs to achieve significantly faster prover and verifier times—up to two orders of magnitude faster than an existing baseline.