\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915300807540736 |
|---|---|
| author | Rahimi, Ali Khalaj, Babak H. Maddah-Ali, Mohammad Ali |
| author_facet | Rahimi, Ali Khalaj, Babak H. Maddah-Ali, Mohammad Ali |
| contents | Verifiable computing (VC) has gained prominence in decentralized machine learning systems, where resource-intensive tasks like deep neural network (DNN) inference are offloaded to external participants due to blockchain limitations. This creates a need to verify the correctness of outsourced computations without re-execution. We propose \texttt{Range-Arithmetic}, a novel framework for efficient and verifiable DNN inference that transforms non-arithmetic operations, such as rounding after fixed-point matrix multiplication and ReLU, into arithmetic steps verifiable using sum-check protocols and concatenated range proofs. Our approach avoids the complexity of Boolean encoding, high-degree polynomials, and large lookup tables while remaining compatible with finite-field-based proof systems. Experimental results show that our method not only matches the performance of existing approaches, but also reduces the computational cost of verifying the results, the computational effort required from the untrusted party performing the DNN inference, and the communication overhead between the two sides. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_17623 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | \texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Rahimi, Ali Khalaj, Babak H. Maddah-Ali, Mohammad Ali Cryptography and Security Artificial Intelligence Emerging Technologies Machine Learning Performance Verifiable computing (VC) has gained prominence in decentralized machine learning systems, where resource-intensive tasks like deep neural network (DNN) inference are offloaded to external participants due to blockchain limitations. This creates a need to verify the correctness of outsourced computations without re-execution. We propose \texttt{Range-Arithmetic}, a novel framework for efficient and verifiable DNN inference that transforms non-arithmetic operations, such as rounding after fixed-point matrix multiplication and ReLU, into arithmetic steps verifiable using sum-check protocols and concatenated range proofs. Our approach avoids the complexity of Boolean encoding, high-degree polynomials, and large lookup tables while remaining compatible with finite-field-based proof systems. Experimental results show that our method not only matches the performance of existing approaches, but also reduces the computational cost of verifying the results, the computational effort required from the untrusted party performing the DNN inference, and the communication overhead between the two sides. |
| title | \texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party |
| topic | Cryptography and Security Artificial Intelligence Emerging Technologies Machine Learning Performance |
| url | https://arxiv.org/abs/2505.17623 |