Paper 2026/1063 Original: eprint.iacr.org/2026/1063 ↗
The Cost of Intelligence: Proving Machine Learning Inference with Zero-Knowledge
Abstract
Zero-Knowledge (ZK) scaling solutions have seen wide adoption recently in emerging technologies, such as cryptocurrencies. Yet, the concrete limits of current ZK proof systems are not well understood for an emerging class of particularly compute-heavy operations -- artificial intelligence algorithms. To that end, this technical whitepaper explores the current limits of constructing proofs for machine learning computation. We do this by benchmarking a common suite of multi-layer perceptrons (MLPs) across a set of zero-knowledge proof systems, including Groth16, Gemini, Winterfell, Halo2, Plonky2, and zkCNN. We showcase comparisons of proof time and memory consumption between the aforementioned proof systems, and how each scales with increasingly large and deep MLPs, examining bottlenecks for both proof time and memory consumption for each proof system. We conclude by examining the performance needed for production grade use-cases, motivating future work in a custom prover.
Metadata
- Available format(s)
PDF- Category
- Applications
- Publication info
- Preprint.
- History
- 2026-05-27: last updated
- 2026-05-27: published
- Short URL
- https://ia.cr/2026/1063
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2026/1063,
author = {Ryan Cao and Nick Cosby and Vishruti Ganesh and Ende Shen and Daniel Shorr and Benjamin Wilson},
title = {The Cost of Intelligence: Proving Machine Learning Inference with Zero-Knowledge},
howpublished = {Cryptology {ePrint} Archive, Paper 2026/1063},
year = {2026},
url = {https://eprint.iacr.org/2026/1063}
}