Zero Knowledge & Cryptography
SNARKs for Verifiable Inference
Talk
Monday, June 30th 2025
14:35 - 14:55
burton-stage-ws
Description
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.