zkComposer: Decomposing Proof Construction to Scale zkML | Paper Citation Record

Observation 725e2954-41e2-43e6-9fe0-2c277b50499d · outbound

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

zkComposer: Decomposing Proof Construction to Scale zkML zkCNN: Zero knowledge proofs for convolutional neural network predictions and accuracy,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.473479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6a55a03b-0170-41ad-aa49-c1602dabc5e9 · outbound

This paper cites zkGPT: An efficient non-interactive zero-knowledge proof framework for LLM inference,.

zkComposer: Decomposing Proof Construction to Scale zkML zkGPT: An efficient non-interactive zero-knowledge proof framework for LLM inference,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.430522Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e6a87e28-5797-4ed3-addd-b35e27abfa55 · outbound

This paper cites Deep learning based recom- mender system: A survey and new perspectives,.

zkComposer: Decomposing Proof Construction to Scale zkML Deep learning based recom- mender system: A survey and new perspectives,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.427707Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 13ac308c-0f60-455c-ac07-4fa88b1cdd22 · outbound

This paper cites Fraud detection system: A survey,.

zkComposer: Decomposing Proof Construction to Scale zkML Fraud detection system: A survey,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.435240Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2240035d-16e2-4ef2-aa8f-e9c06d94c34e · outbound

This paper cites Deeptriangle: A deep learning approach to loss reserving,.

zkComposer: Decomposing Proof Construction to Scale zkML Deeptriangle: A deep learning approach to loss reserving,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.482680Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f3150f23-2d89-4188-9a7f-4e97cd6d32bc · outbound

This paper cites A guide to deep learning in healthcare,.

zkComposer: Decomposing Proof Construction to Scale zkML A guide to deep learning in healthcare,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.420132Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ceecf003-eafc-4a51-a277-eaaf2b444cce · outbound

This paper cites Critical appraisal of fairness metrics for artificial intelligence- based clinical prediction models: a scoping review,.

zkComposer: Decomposing Proof Construction to Scale zkML Critical appraisal of fairness metrics for artificial intelligence- based clinical prediction models: a scoping review,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.417934Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 22918331-5f58-4462-90fc-1cee9f250239 · outbound

This paper cites Are you getting what you pay for? auditing model substitution in llm apis,.

zkComposer: Decomposing Proof Construction to Scale zkML Are you getting what you pay for? auditing model substitution in llm apis,

Reference 8

Resolution: verified exact; arxiv_id, observed 2026-07-10T13:17:05.976302Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a663756a-2e21-4be9-b38d-278e8a600808 · outbound

This paper cites The rising costs of training frontier AI models.

zkComposer: Decomposing Proof Construction to Scale zkML The rising costs of training frontier AI models

Reference 9

Resolution: metadata mismatch; local_arxiv, observed 2026-07-10T13:17:05.981442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2c2d7eb6-68c2-43d5-be9f-c633163d21ef · outbound

This paper cites ZKML: An optimizing system for ML inference in zero-knowledge proofs,.

zkComposer: Decomposing Proof Construction to Scale zkML ZKML: An optimizing system for ML inference in zero-knowledge proofs,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.422550Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 032478a8-1b22-4b0f-946f-968f519366ee · outbound

This paper cites In: IEEE Symposium on Security and Privacy (S&P).

zkComposer: Decomposing Proof Construction to Scale zkML In: IEEE Symposium on Security and Privacy (S&P)

Reference 11

Resolution: metadata mismatch; arxiv_id, observed 2026-07-10T13:17:05.892119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b0d0cb5d-9fc9-44ef-a212-3ba0c8460611 · outbound

This paper cites Libra: Succinct zero-knowledge proofs with optimal prover computation,.

zkComposer: Decomposing Proof Construction to Scale zkML Libra: Succinct zero-knowledge proofs with optimal prover computation,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.412207Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 6ab01bed-ecb6-4bd3-b06b-032cd86ac966 · outbound

This paper cites Unlocking the lookup singularity with lasso,.

zkComposer: Decomposing Proof Construction to Scale zkML Unlocking the lookup singularity with lasso,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.408509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 75fbebe0-b837-4c2b-842e-9cc5b327f116 · outbound

This paper cites The knowledge com- plexity of interactive proof systems,.

zkComposer: Decomposing Proof Construction to Scale zkML The knowledge com- plexity of interactive proof systems,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.414521Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5d8f028a-aa44-4939-9381-37ab924b5f20 · outbound

This paper cites vCNN: Verifiable convolutional neural network based on zk-SNARKs,.

zkComposer: Decomposing Proof Construction to Scale zkML vCNN: Verifiable convolutional neural network based on zk-SNARKs,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.425397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8a9e8fdd-55b6-4cf0-9e54-6fcd10ae2c72 · outbound

This paper cites VerfCNN, Optimal Complexity zkSNARK for Convolutional Neural Networks,.

zkComposer: Decomposing Proof Construction to Scale zkML VerfCNN, Optimal Complexity zkSNARK for Convolutional Neural Networks,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.438590Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 27220394-b0f4-4fb9-b5a0-029bdc69a9a1 · outbound

This paper cites Available: https://eprint.iacr.org/2025/2020.

zkComposer: Decomposing Proof Construction to Scale zkML Available: https://eprint.iacr.org/2025/2020

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.444430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1a21f9e0-e2b8-4e5c-8b70-aae07d034c82 · outbound

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

zkComposer: Decomposing Proof Construction to Scale zkML Safetynets: Verifiable execution of deep neural networks on an untrusted cloud,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.461125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 80cb620e-93d8-45b1-a248-03aa50cd023d · outbound

This paper cites Zero-knowledge proofs of training for deep neural networks,.

zkComposer: Decomposing Proof Construction to Scale zkML Zero-knowledge proofs of training for deep neural networks,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.489694Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3c7fdddd-6ac6-4457-b425-ee339643c856 · outbound

This paper cites zkLLM: Zero Knowledge Proofs for Large Language Models.

zkComposer: Decomposing Proof Construction to Scale zkML zkLLM: Zero Knowledge Proofs for Large Language Models

Reference 20

Resolution: metadata mismatch; arxiv_id, observed 2026-07-10T13:17:05.870097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c33f5c6c-7b98-491b-a61d-73dcae430b58 · outbound

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

zkComposer: Decomposing Proof Construction to Scale zkML Artemis: Efficient Commit-and-Prove SNARKs for zkML

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-07-10T13:17:05.978931Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ffe9c368-998b-4fa1-971a-3359d3e356cb · outbound

This paper cites Zen: Efficient zero-knowledge proofs for neural networks,.

zkComposer: Decomposing Proof Construction to Scale zkML Zen: Efficient zero-knowledge proofs for neural networks,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.514794Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a43e3611-b5af-4fef-bb1a-2223837d9d66 · outbound

This paper cites Zeno: A type- based optimization framework for zero-knowledge neural network inference,.

zkComposer: Decomposing Proof Construction to Scale zkML Zeno: A type- based optimization framework for zero-knowledge neural network inference,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.518414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1e95c270-f04d-4b2f-b36f-a1bbc8697307 · outbound

This paper cites zkonduit/ezkl,.

zkComposer: Decomposing Proof Construction to Scale zkML zkonduit/ezkl,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.530433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 27fe38a1-4314-4227-8362-3c48557ab15f · outbound

This paper cites Language models are unsupervised multitask learners,.

zkComposer: Decomposing Proof Construction to Scale zkML Language models are unsupervised multitask learners,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.532221Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3836287f-4d32-418a-9efd-cbfd3fcdc2a7 · outbound

This paper cites Delegating compu- tation: Interactive proofs for muggles,.

zkComposer: Decomposing Proof Construction to Scale zkML Delegating compu- tation: Interactive proofs for muggles,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.441484Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 64718121-a5fa-482a-ba5d-b7d7bb56c786 · outbound

This paper cites Doubly efficient interactive proofs for general arithmetic circuits with linear prover time,.

zkComposer: Decomposing Proof Construction to Scale zkML Doubly efficient interactive proofs for general arithmetic circuits with linear prover time,

Reference 27

Resolution: metadata mismatch; arxiv_id, observed 2026-07-10T13:17:05.885191Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 295ee557-ae5a-4a95-a7af-2f9c906e8d95 · outbound

This paper cites Algebraic methods for interactive proof systems,.

zkComposer: Decomposing Proof Construction to Scale zkML Algebraic methods for interactive proof systems,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.463237Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation fbe2d239-e80c-437a-8d7d-dd0507d96a27 · outbound

This paper cites A zero knowledge sumcheck and its applications,.

zkComposer: Decomposing Proof Construction to Scale zkML A zero knowledge sumcheck and its applications,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.492380Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 128e7e84-300d-44ed-b547-f089e3256f25 · outbound

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

zkComposer: Decomposing Proof Construction to Scale zkML Doubly-efficient zksnarks without trusted setup,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.507419Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 9b6a33d5-b9f3-46db-b61d-04766ddfedd2 · outbound

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

zkComposer: Decomposing Proof Construction to Scale zkML Spartan: Efficient and general-purpose zksnarks with- out trusted setup,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.509364Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation cf997654-2a49-4749-8c27-b676e8ace21b · outbound

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

zkComposer: Decomposing Proof Construction to Scale zkML Marlin: Preprocessing zksnarks with universal and updatable srs,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.505631Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8ac153ce-0aae-4246-87b9-33eb26c41e2a · outbound

This paper cites an unresolved cited work.

zkComposer: Decomposing Proof Construction to Scale zkML Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-07-10T13:37:07.499741Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation dcd319b2-e9b9-4e8e-a0a6-a4f7579993b3 · outbound

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

zkComposer: Decomposing Proof Construction to Scale zkML On the size of pairing-based non-interactive arguments,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.513029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b44f7456-e6c4-4f4d-8678-5d51ea988c10 · outbound

This paper cites Legosnark: Modular design and composition of succinct zero-knowledge proofs,.

zkComposer: Decomposing Proof Construction to Scale zkML Legosnark: Modular design and composition of succinct zero-knowledge proofs,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.525378Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1d87ac2a-6d2b-412d-990b-ee33bb6f4aa3 · outbound

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

zkComposer: Decomposing Proof Construction to Scale zkML How to prove yourself: Practical solutions to identification and signature problems,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.446478Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 62a1735a-289a-4fe7-bf04-0fc72839202b · outbound

This paper cites SHA-3 standard : permutation-based hash and extendable-output functions,.

zkComposer: Decomposing Proof Construction to Scale zkML SHA-3 standard : permutation-based hash and extendable-output functions,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.449035Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d10854d7-4d66-4cf4-8507-312d30de47bd · outbound

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

zkComposer: Decomposing Proof Construction to Scale zkML Proofs, arguments, and zero-knowledge,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.450940Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 46bb207c-8d49-4f2d-9e98-40b972bfd8d8 · outbound

This paper cites Available: http://dx.doi.org/10.1561/3300000030.

zkComposer: Decomposing Proof Construction to Scale zkML Available: http://dx.doi.org/10.1561/3300000030

Reference 39

Resolution: verified exact; doi, observed 2026-07-10T13:17:05.879760Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 89082be4-ae88-45ca-b3b5-73adf9421f55 · outbound

This paper cites Lunar: A toolbox for more efficient universal and updatable zksnarks and commit-and-prove extensions,.

zkComposer: Decomposing Proof Construction to Scale zkML Lunar: A toolbox for more efficient universal and updatable zksnarks and commit-and-prove extensions,

Reference 40

Resolution: verified exact; doi, observed 2026-07-10T13:17:05.887891Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 858dc676-fb27-4fe3-80fc-fb951ab75d90 · outbound

This paper cites (n.d.) GKR input layer chunks.

zkComposer: Decomposing Proof Construction to Scale zkML (n.d.) GKR input layer chunks

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.454719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d00ba84a-38ac-4d4a-a18d-d2878c3ffefe · outbound

This paper cites How to prove false statements: Practical attacks on fiat-shamir,.

zkComposer: Decomposing Proof Construction to Scale zkML How to prove false statements: Practical attacks on fiat-shamir,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.465654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5ebcc6c1-6b22-4300-a399-725068f5165a · outbound

This paper cites On the evaluation of powers and related problems,.

zkComposer: Decomposing Proof Construction to Scale zkML On the evaluation of powers and related problems,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.458539Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 69c1cd0a-278f-4a29-8414-930c9cee5e56 · outbound

This paper cites herumi/mcl,.

zkComposer: Decomposing Proof Construction to Scale zkML herumi/mcl,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.479679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7423628a-02c3-443a-a7a8-1afacbaee326 · outbound

This paper cites BLS12-381: New zk-SNARK elliptic curve construction,.

zkComposer: Decomposing Proof Construction to Scale zkML BLS12-381: New zk-SNARK elliptic curve construction,

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.523754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 22e7d149-1dc5-4a79-9c05-f78950abb029 · outbound

This paper cites Pairing-friendly elliptic curves of prime order,.

zkComposer: Decomposing Proof Construction to Scale zkML Pairing-friendly elliptic curves of prime order,

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.528769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a84382c2-f884-4e08-a548-2e56608a6614 · outbound

This paper cites Imagenet classifica- tion with deep convolutional neural networks,.

zkComposer: Decomposing Proof Construction to Scale zkML Imagenet classifica- tion with deep convolutional neural networks,

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.516576Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 52e38a6d-a43b-4353-8af0-ecc279859b9a · outbound

This paper cites Very Deep Convolutional Networks for Large-Scale Image Recognition.

zkComposer: Decomposing Proof Construction to Scale zkML Very Deep Convolutional Networks for Large-Scale Image Recognition

Reference 48

Resolution: verified exact; local_arxiv, observed 2026-07-10T13:17:05.973679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d61e894c-2ea6-473b-8a50-b9d01f268fa0 · outbound

This paper cites Scalable zero-knowledge proofs for non-linear functions in machine learning,.

zkComposer: Decomposing Proof Construction to Scale zkML Scalable zero-knowledge proofs for non-linear functions in machine learning,

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.522045Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3bc53eb6-97df-4991-86ff-f2f6e3d7f02d · outbound

This paper cites ZKTorch: Compiling ML Inference to Zero-Knowledge Proofs via Parallel Proof Accumulation.

zkComposer: Decomposing Proof Construction to Scale zkML ZKTorch: Compiling ML Inference to Zero-Knowledge Proofs via Parallel Proof Accumulation

Reference 50

Resolution: verified exact; local_arxiv, observed 2026-07-10T13:17:05.971303Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3eced442-00ac-4ac7-803a-99fe31dcc34e · outbound

This paper cites zkPyTorch: A Hierarchical Optimized Compiler for Zero-Knowledge Machine Learning,.

zkComposer: Decomposing Proof Construction to Scale zkML zkPyTorch: A Hierarchical Optimized Compiler for Zero-Knowledge Machine Learning,

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.520237Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0176b5d9-a50c-4dd9-805b-b2493288f341 · outbound

This paper cites Modular sumcheck proofs with applications to machine learning and image processing,.

zkComposer: Decomposing Proof Construction to Scale zkML Modular sumcheck proofs with applications to machine learning and image processing,

Reference 52

Resolution: metadata mismatch; arxiv_id, observed 2026-07-10T13:17:05.874081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation dad35229-af35-4840-a589-5517540be6e0 · outbound

This paper cites InProceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2(Vancouver, BC, Canada)(ASPLOS 2023).

zkComposer: Decomposing Proof Construction to Scale zkML InProceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2(Vancouver, BC, Canada)(ASPLOS 2023)

Reference 53

Resolution: metadata mismatch; arxiv_id, observed 2026-07-10T13:17:05.877642Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a0d475a5-cedc-4df5-acac-afa4ac0d84e8 · outbound

This paper cites ZKPoG: Accelerating WitGen-incorporated end-to-end zero-knowledge proof on GPU,.

zkComposer: Decomposing Proof Construction to Scale zkML ZKPoG: Accelerating WitGen-incorporated end-to-end zero-knowledge proof on GPU,

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.503761Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 288403da-f287-4118-b4a2-c84a3cf0fc74 · outbound

This paper cites Pipelonk: Accelerating end-to-end zero-knowledge proof generation on gpus for plonk-based protocols,.

zkComposer: Decomposing Proof Construction to Scale zkML Pipelonk: Accelerating end-to-end zero-knowledge proof generation on gpus for plonk-based protocols,

Reference 55

Resolution: verified exact; arxiv_id, observed 2026-07-10T13:17:05.894908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation be188030-8dfe-45f1-bdb6-17ea2ede3eb5 · outbound

This paper cites Benchmarking gpu acceleration for zk-snarks with icicle,.

zkComposer: Decomposing Proof Construction to Scale zkML Benchmarking gpu acceleration for zk-snarks with icicle,

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.485460Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3486174a-b992-4e85-8350-807b8374a066 · outbound

This paper cites Accelerat- ing zero-knowledge proofs through hardware-algorithm co-design,.

zkComposer: Decomposing Proof Construction to Scale zkML Accelerat- ing zero-knowledge proofs through hardware-algorithm co-design,

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.496557Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 77f205fa-f99b-4eb4-83dd-f0a39196a408 · outbound

This paper cites Szkp: A scalable accelerator architecture for zero-knowledge proofs,.

zkComposer: Decomposing Proof Construction to Scale zkML Szkp: A scalable accelerator architecture for zero-knowledge proofs,

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.494302Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1da5ba31-3f09-45f3-9b7c-2c1b1a0c6f32 · outbound

This paper cites Unizk: Accelerating zero-knowledge proof with unified hardware and flexible kernel mapping,.

zkComposer: Decomposing Proof Construction to Scale zkML Unizk: Accelerating zero-knowledge proof with unified hardware and flexible kernel mapping,

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.501931Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 16357fff-124e-4c04-8c13-089226844353 · outbound

This paper cites Need for zkspeed: Accelerating hyperplonk for zero- knowledge proofs,.

zkComposer: Decomposing Proof Construction to Scale zkML Need for zkspeed: Accelerating hyperplonk for zero- knowledge proofs,

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.511169Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8c218709-545a-4ef0-bd40-6030421cab42 · outbound

This paper cites Speeding up sum-check proving,.

zkComposer: Decomposing Proof Construction to Scale zkML Speeding up sum-check proving,

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.527008Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b82ac0ab-bdf0-466d-8f93-f718f6ad8194 · outbound

This paper cites Available: https://eprint.iacr.org/2025/1117.

zkComposer: Decomposing Proof Construction to Scale zkML Available: https://eprint.iacr.org/2025/1117

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.467602Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 47fd29ec-a07d-4888-a62a-98511caec64c · outbound

This paper cites Hydra: Succinct fully pipelineable interactive arguments of knowledge,.

zkComposer: Decomposing Proof Construction to Scale zkML Hydra: Succinct fully pipelineable interactive arguments of knowledge,

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.470632Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b6cd9556-80b6-4101-8346-90f408de5f6e · outbound

This paper cites Practical secure aggregation for privacy-preserving machine learning.

zkComposer: Decomposing Proof Construction to Scale zkML Practical secure aggregation for privacy-preserving machine learning

Reference 64

Resolution: metadata mismatch; arxiv_id, observed 2026-07-10T13:17:05.902184Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 12e66093-3fba-400f-9670-ed0aeb59df4b · outbound

This paper cites A Hybrid Architecture for Interactive Verifiable Computation,.

zkComposer: Decomposing Proof Construction to Scale zkML A Hybrid Architecture for Interactive Verifiable Computation,

Reference 65

Resolution: verified exact; arxiv_id, observed 2026-07-10T13:17:05.984110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e7833984-4a7e-4197-931a-4ee945bd4076 · outbound

This paper cites Practical verified computation with streaming interactive proofs,.

zkComposer: Decomposing Proof Construction to Scale zkML Practical verified computation with streaming interactive proofs,

Reference 66

Resolution: verified exact; arxiv_id, observed 2026-07-10T13:17:05.905015Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 58ccc9d2-a2ab-48de-a156-332dd593edf4 · outbound

This paper cites Sparrow: Space-efficient zksnark for data-parallel circuits and applications to zero-knowledge decision trees,.

zkComposer: Decomposing Proof Construction to Scale zkML Sparrow: Space-efficient zksnark for data-parallel circuits and applications to zero-knowledge decision trees,

Reference 67

Resolution: verified exact; doi, observed 2026-07-10T13:17:05.898732Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation ad308237-ad51-49b2-afa5-7162f97b9c59 · outbound

This paper cites Time-space trade-offs for sumcheck,.

zkComposer: Decomposing Proof Construction to Scale zkML Time-space trade-offs for sumcheck,

Reference 68

Resolution: verified exact; doi, observed 2026-07-10T13:17:05.896831Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation fbad457d-3ad7-4278-ac3c-e000ade76635 · outbound

This paper cites Deep residual learning for image recognition.

zkComposer: Decomposing Proof Construction to Scale zkML Deep residual learning for image recognition

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.477605Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0d4afcf7-64b7-48c2-9c17-963a5e0db307 · outbound

This paper cites Plonk: Permutations over lagrange-bases for oecumenical noninteractive arguments of knowledge,.

zkComposer: Decomposing Proof Construction to Scale zkML Plonk: Permutations over lagrange-bases for oecumenical noninteractive arguments of knowledge,

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-07-10T13:37:07.487820Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers