Paper Citation Record · LEDGER

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing

As of 18 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2504.12217.

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

pith.paper-citation-record.v1
2504.12217 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T12:39:54.303271Z

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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

42 of 42 outbound references displayed

verified exact1
verified fuzzy28
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 69063e79-7f25-4325-938c-418eea92620f · outbound

This paper cites Pinocchio: Nearly practical verifiable computation,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Pinocchio: Nearly practical verifiable computation,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.964029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 61cfbac3-8fbf-4ab6-b4fb-711e19ade392 · outbound

This paper cites On the size of pairing-based non-interactive arguments,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing On the size of pairing-based non-interactive arguments,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.946477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 70192ea4-b576-4885-8ffd-4f74e6cca6ac · outbound

This paper cites Attention is all you need,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Attention is all you need,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.122285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59c19f92-2757-42a2-92e1-0c6081e787c2 · outbound

This paper cites An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.126686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a881a733-a616-4725-ad9c-7ec4705e55d8 · outbound

This paper cites Imagenet: A large-scale hierarchical image database,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Imagenet: A large-scale hierarchical image database,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.131804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9dc93b07-cc84-4e9c-b4a9-2f0ed8104ec4 · outbound

This paper cites vcnn: Verifiable convolutional neural network based on zk-snarks,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing vcnn: Verifiable convolutional neural network based on zk-snarks,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.137676Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ac35645-172d-4dad-b5b3-d8ce570f67d9 · outbound

This paper cites Zkcnn: Zero knowledge proofs for convolutional neural network predictions and accuracy,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Zkcnn: Zero knowledge proofs for convolutional neural network predictions and accuracy,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.892864Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6d5b23b9-0b17-4bfc-a94c-da8d6a9105b6 · outbound

This paper cites Scaling up trustless dnn inference with zero-knowledge proofs,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Scaling up trustless dnn inference with zero-knowledge proofs,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.874021Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 02763bfa-5624-480b-9a9f-3a48da431b36 · outbound

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

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing pvcnn: Privacy-preserving and verifiable convolutional neural network testing,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.856007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fd8ca7d4-cef0-49b7-a6d6-a880649d993d · outbound

This paper cites Sonic: Zero- knowledge snarks from linear-size universal and updatable structured reference strings,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Sonic: Zero- knowledge snarks from linear-size universal and updatable structured reference strings,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.836534Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5b319186-431e-45a7-b3c8-5f1a00955efb · outbound

This paper cites Marlin: Preprocessing zksnarks with universal and updatable srs,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Marlin: Preprocessing zksnarks with universal and updatable srs,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.817613Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7adaaac9-d62b-434c-8eac-6d431a1313ea · outbound

This paper cites Spartan: Efficient and general-purpose zksnarks without trusted setup,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Spartan: Efficient and general-purpose zksnarks without trusted setup,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.783445Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 9a760249-71d4-4e2f-9a1d-7cb07c725d78 · outbound

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

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Safetynets: Verifiable execution of deep neural networks on an untrusted cloud,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.172881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3721e90e-f10a-45d9-8a65-d35194a9fdb8 · outbound

This paper cites Efficient proof composition for verifiable computation,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Efficient proof composition for verifiable computation,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.750798Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 15f94ac3-bbe4-4f16-b180-d93f253839d6 · outbound

This paper cites Veriml: Enabling integrity assurances and fair payments for machine learning as a service,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Veriml: Enabling integrity assurances and fair payments for machine learning as a service,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.735861Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8789cc38-5f35-4ced-bcfa-73613127ba0c · outbound

This paper cites Zen: An optimizing compiler for verifiable, zero-knowledge neural network inferences,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Zen: An optimizing compiler for verifiable, zero-knowledge neural network inferences,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.722225Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8a4ff5dd-fdc8-4ec9-a52d-9972f12b79b8 · outbound

This paper cites Interactive oracle proofs,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Interactive oracle proofs,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.707794Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b5d12a5d-c4db-4ccc-b0f8-5fb916b5062f · outbound

This paper cites Transparent snarks from dark compilers,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Transparent snarks from dark compilers,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.693414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5d625f6a-af29-4183-a0bf-b7996c1122b4 · outbound

This paper cites She: A fast and accurate deep neural network for encrypted data,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing She: A fast and accurate deep neural network for encrypted data,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.679155Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ae09dce3-96fc-4a66-95df-9f7e82b364b5 · outbound

This paper cites Primer: Fast private transformer inference on encrypted data,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Primer: Fast private transformer inference on encrypted data,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.664418Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 29d0b669-6174-42b9-a678-f7ef51084901 · outbound

This paper cites Safenet: A secure, accurate and fast neural network inference,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Safenet: A secure, accurate and fast neural network inference,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.648547Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 32515cf9-e105-4d64-a5d5-641e44cf6f3b · outbound

This paper cites Hemet: A homomorphic-encryption-friendly privacy-preserving mobile neural network architecture,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Hemet: A homomorphic-encryption-friendly privacy-preserving mobile neural network architecture,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.634299Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1beb1227-cb47-439e-bc2c-359b59486127 · outbound

This paper cites vFHE: Verifiable Fully Homomorphic Encryption with Blind Hash.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing vFHE: Verifiable Fully Homomorphic Encryption with Blind Hash

Reference 24

Resolution: verified exact; local_arxiv, observed 2026-08-16T12:39:54.442484Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 0ad691a3-4043-4c3d-9155-d8e7edabb4e6 · outbound

This paper cites Dataseal: Ensuring the verifiability of private computation on encrypted data,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Dataseal: Ensuring the verifiability of private computation on encrypted data,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.620081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation c5963b11-2fa3-4411-b39f-e65a3b7fec9d · outbound

This paper cites TFHE-Coder: Evaluating LLM-agentic Fully Homomorphic Encryption Code Generation.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing TFHE-Coder: Evaluating LLM-agentic Fully Homomorphic Encryption Code Generation

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.224306Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f41a6747-6a13-4d58-9ce4-50c25292b2e5 · outbound

This paper cites Heprune: Fast private training of deep neural networks with encrypted data pruning,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Heprune: Fast private training of deep neural networks with encrypted data pruning,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.605700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d082fb3b-747f-47cb-89fe-929000e389ae · outbound

This paper cites CipherPrune: Efficient and Scalable Private Transformer Inference.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing CipherPrune: Efficient and Scalable Private Transformer Inference

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.233515Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ca9aedf-082b-43f2-ae55-e120acdab048 · outbound

This paper cites Trinity: A general purpose fhe accelerator,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Trinity: A general purpose fhe accelerator,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.591215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 71027c32-6be2-418a-a2f4-4a84bad248ab · outbound

This paper cites Doubly- efficient zksnarks without trusted setup,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Doubly- efficient zksnarks without trusted setup,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.801040Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6c80acb8-9ea8-4fa9-8847-c07e324f7e9a · outbound

This paper cites How to prove yourself: Practical solutions to identification and signature problems,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing How to prove yourself: Practical solutions to identification and signature problems,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.248462Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9773e61d-16b0-4774-a91a-61470128505c · outbound

This paper cites Escaping the Big Data Paradigm with Compact Transformers.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Escaping the Big Data Paradigm with Compact Transformers

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.253638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1992db99-cf31-419a-996f-1b8ecf8894b4 · outbound

This paper cites MPCViT: Searching for Accurate and Efficient MPC-Friendly Vision Transformer with Heterogeneous Attention.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing MPCViT: Searching for Accurate and Efficient MPC-Friendly Vision Transformer with Heterogeneous Attention

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.258073Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 052bb587-0818-4df9-af5f-1aab36f25405 · outbound

This paper cites Swintransformer:Hierarchicalvisiontransformerusingshiftedwindows,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Swintransformer:Hierarchicalvisiontransformerusingshiftedwindows,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.565888Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a05fe1c9-f143-47f0-80ab-0fd1d12acc58 · outbound

This paper cites Metaformer is actually what you need for vision,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Metaformer is actually what you need for vision,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.549670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation c71308ab-27a2-4ccc-99a8-e18b1d936971 · outbound

This paper cites GLUE: A Multi-Task Benchmark and Analysis Platform for Natural Language Understanding.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing GLUE: A Multi-Task Benchmark and Analysis Platform for Natural Language Understanding

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.270899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d49d2db8-7e99-48ed-badd-fdffac49eec2 · outbound

This paper cites libsnark,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing libsnark,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.533922Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 211085a4-8d37-4ff4-bb51-34d7089e569c · outbound

This paper cites Efficient attention: Attention with linear complexities,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Efficient attention: Attention with linear complexities,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.517652Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7d2f23f3-61a7-45f9-994f-c539415fc818 · outbound

This paper cites Non-local neural networks,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Non-local neural networks,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.502828Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 9bfbf95d-135d-4644-a8fb-8f85199581b8 · outbound

This paper cites FNet: Mixing Tokens with Fourier Transforms.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing FNet: Mixing Tokens with Fourier Transforms

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.290028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48c134b3-0ed7-43e4-813b-b03239e9972a · outbound

This paper cites DARTS: Differentiable Architecture Search.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing DARTS: Differentiable Architecture Search

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-16T12:39:54.294540Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd94cb47-8af9-4c8b-bf57-2e51dc86c8c6 · outbound

This paper cites NITI: Training integer neural networks using integer-only arithmetic,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing NITI: Training integer neural networks using integer-only arithmetic,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.488147Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 589f02ea-3f76-4103-ad1a-009783f3c333 · outbound

This paper cites Recursive proof composition without a trusted setup,.

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing Recursive proof composition without a trusted setup,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T12:39:54.473035Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

No inbound Pith citation observations are available.