Paper Citation Record · LEDGER

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party

As of 9 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 0 inbound Pith citation observations for arXiv:2505.17623.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.17623 v2

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T14:53:19.349258Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

32 of 32 outbound references displayed

verified exact0
verified fuzzy29
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ba4c2189-73fc-4906-8c5b-5c061f575058 · outbound

This paper cites Accountable magic: Ai alignment and governance, 2025.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Accountable magic: Ai alignment and governance, 2025

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:50.960372Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d787b075-d475-4db6-b0ce-afbda2212789 · outbound

This paper cites The sum-check protocol over fields of small characteristic.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party The sum-check protocol over fields of small characteristic

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:25.591092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d2e6fde2-ba41-4d7c-a279-3820770d561a · outbound

This paper cites Deep learning, volume 1.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Deep learning, volume 1

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:25.453904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 52e3855b-a328-41c8-afa7-67349aecca6e · outbound

This paper cites Sumcheck arguments and their applications.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Sumcheck arguments and their applications

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:25.312706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8f033ce9-1723-4cd8-a82a-223bd4528000 · outbound

This paper cites Bulletproofs: Short proofs for confidential transactions and more.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Bulletproofs: Short proofs for confidential transactions and more

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:25.165601Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2b7b5b39-4b92-456c-bb53-7e4a3e214302 · outbound

This paper cites Interactive proofs for rounding arithmetic.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Interactive proofs for rounding arithmetic

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:24.988252Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 93b4975b-2608-4bab-8ac6-bd2451f0acae · outbound

This paper cites More optimizations to sum-check proving.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party More optimizations to sum-check proving

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:24.815471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 63a715ad-ebfb-4a5b-9813-f0d1f6512fa5 · outbound

This paper cites The mnist database of handwritten digit images for machine learning research.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party The mnist database of handwritten digit images for machine learning research

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T14:53:17.076305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 834abe0e-4e6b-4d64-9ede-2ee064c26949 · outbound

This paper cites EZKL: Zero-knowledge machine learning, 2025.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party EZKL: Zero-knowledge machine learning, 2025

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:24.688238Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5030d8cd-7666-4174-bb5e-855f50d2e205 · outbound

This paper cites Succinct zero knowledge for floating point computations.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Succinct zero knowledge for floating point computations

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:24.514218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e22dd29c-668a-40cc-ab53-f75e0742d648 · outbound

This paper cites Experimenting with zero-knowledge proofs of training.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Experimenting with zero-knowledge proofs of training

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:24.282991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0c0f5ccb-bb03-43ae-a368-df71b5864aed · outbound

This paper cites Safetynets: Verifiable execution of deep neural networks on an untrusted cloud.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Safetynets: Verifiable execution of deep neural networks on an untrusted cloud

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:24.020095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 834e2428-d655-4800-ab8d-e8c128d45bd5 · outbound

This paper cites Efficient sum-check protocol for convolution.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Efficient sum-check protocol for convolution

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:23.714957Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 21c0c345-f2cc-4138-aeec-433cf8783b0a · outbound

This paper cites Snargs and ppad hardness from the decisional diffie-hellman assumption.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Snargs and ppad hardness from the decisional diffie-hellman assumption

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:23.491177Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 44dd1586-3300-47a1-bd33-1ec1b8b1d85f · outbound

This paper cites Sparsity-aware protocol for zk-friendly ml models: Shedding lights on practical zkml.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Sparsity-aware protocol for zk-friendly ml models: Shedding lights on practical zkml

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:23.331825Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation fedcc26d-d03b-412e-a56f-bd67894c85fb · outbound

This paper cites Artemis: Efficient Commit-and-Prove SNARKs for zkML.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Artemis: Efficient Commit-and-Prove SNARKs for zkML

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T14:53:17.728177Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5bd5a817-7a76-4b3e-9f50-e0cfb49d0007 · outbound

This paper cites Noya: Ai-powered infrastructure for zero-knowledge proofs, 2025.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Noya: Ai-powered infrastructure for zero-knowledge proofs, 2025

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:23.193889Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8b08de96-e0c3-473b-afff-a08ae6d09c1e · outbound

This paper cites Pinocchio: Nearly practical verifiable computation.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Pinocchio: Nearly practical verifiable computation

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:23.053697Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 29a06769-359b-495c-a103-7e672536f86a · outbound

This paper cites A Survey of Zero-Knowledge Proof Based Verifiable Machine Learning.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party A Survey of Zero-Knowledge Proof Based Verifiable Machine Learning

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-07T14:53:17.908968Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad6d2988-e51b-474b-81b6-84d199d40b84 · outbound

This paper cites Polygon zkEVM: Ethereum scaling with zero-knowledge proofs, 2025.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Polygon zkEVM: Ethereum scaling with zero-knowledge proofs, 2025

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:22.885104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation ac8da78a-84eb-47a6-8a36-52fa2f1dc1c6 · outbound

This paper cites Provably: Trustless ai verification, 2025.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Provably: Trustless ai verification, 2025

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:21.322589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 057c027a-5702-430e-a87b-6f9c0a10a8b7 · outbound

This paper cites Fast probabilistic algorithms for verification of polynomial identities.Journal of the ACM (JACM), 27(4):701–717, 1980.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Fast probabilistic algorithms for verification of polynomial identities.Journal of the ACM (JACM), 27(4):701–717, 1980

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:21.201586Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2771fa69-99b5-4a0c-8967-1faaba081246 · outbound

This paper cites Proofs, arguments, and zero-knowledge.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Proofs, arguments, and zero-knowledge

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:21.076279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d109cfd2-e3f7-4418-866a-62acaa427265 · outbound

This paper cites Mystique: Efficient conversions for {Zero-Knowledge} proofs with applications to machine learning.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Mystique: Efficient conversions for {Zero-Knowledge} proofs with applications to machine learning

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:20.958526Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2921e33c-0dbb-4e0c-9269-2db695cab384 · outbound

This paper cites pvcnn: Privacy- preserving and verifiable convolutional neural network testing.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party pvcnn: Privacy- preserving and verifiable convolutional neural network testing

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:20.784485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 559e62c5-8ad4-468d-860d-aa658cf15e1b · outbound

This paper cites Validating the integrity for deep learning models based on zero-knowledge proof and blockchain.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Validating the integrity for deep learning models based on zero-knowledge proof and blockchain

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:20.678996Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6cf0021e-94b8-4cd7-b06e-ca835de6287e · outbound

This paper cites Probabilistic algorithms for sparse polynomials.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Probabilistic algorithms for sparse polynomials

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:20.514009Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7460ef40-f726-4cc3-846e-715dbce7a04a · outbound

This paper cites zkAGI: Zero-knowledge artificial general intelligence, 2025.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party zkAGI: Zero-knowledge artificial general intelligence, 2025

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:20.400029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6caf21b5-fd68-46e7-a64a-5c07708f9e93 · outbound

This paper cites ZKML: Zero-knowledge machine learning systems, 2025.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party ZKML: Zero-knowledge machine learning systems, 2025

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:20.219019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c10b230b-ca16-4f10-a2f0-660520bcae94 · outbound

This paper cites From these inequalities, we deduce that −2t+s+2 + 1≤ (e2 − e1) + 2s × (a′ 2 − a′.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party From these inequalities, we deduce that −2t+s+2 + 1≤ (e2 − e1) + 2s × (a′ 2 − a′

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:20.020057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 992c89f8-fcea-49c1-86b5-5f5c742acdbe · outbound

This paper cites Since p has at least s + t + 3bits, we can conclude that 2s+t+2 ≤ p.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Since p has at least s + t + 3bits, we can conclude that 2s+t+2 ≤ p

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:19.821184Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation aaab3724-5936-45a9-9a37-2c3cf1c32cc1 · outbound

This paper cites Given the bounds on e1 and e2 as well as the multiple of 2s, it follows that e1 = e2, and consequently, a′ 1 = a′ 2.

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party Given the bounds on e1 and e2 as well as the multiple of 2s, it follows that e1 = e2, and consequently, a′ 1 = a′ 2

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T14:53:19.590882Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Pith citing papers

No inbound Pith citation observations are available.