{"as_of":"2026-08-21T03:20:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bf0f3e3011e3a1ed53fd5038abf981525ff2ae99c0fedd1c2ab7e146f6e25a94","coverage":[{"denominator":70,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":70,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-10T13:10:32.267776Z","state":"measured"},{"denominator":70,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":70,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.08095/citation-record","integrity":"/paper/2607.08095/integrity","json":"/paper/2607.08095/citation-record.json","paper":"/paper/2607.08095"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.471287Z","title":"zkCNN: Zero knowledge proofs for convolutional neural network predictions and accuracy,","venue":null,"work_id":"395e7c7e-c203-4a64-88bd-3beefb1b1226","year":2021},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:1e5d950bcc5d32bcbe163f4f5993c51d2a7b15b6043dacc84d08a6f4e7805697","observation_id":"725e2954-41e2-43e6-9fe0-2c277b50499d","resolution":{"observed_at":"2026-07-10T13:37:07.473479Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.428341Z","title":"zkGPT: An efficient non-interactive zero-knowledge proof framework for LLM inference,","venue":null,"work_id":"ad4aff4a-2714-4f08-9e16-15145ab0abd4","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:963b9a7190c143d192f137e95a12deee7ba7472e0a15beeb81388fe8220cd380","observation_id":"6a55a03b-0170-41ad-aa49-c1602dabc5e9","resolution":{"observed_at":"2026-07-10T13:37:07.430522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.426041Z","title":"Deep learning based recom- mender system: A survey and new perspectives,","venue":null,"work_id":"797849b2-8f7e-492f-b600-a8e9583958e7","year":2019},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:0f73212b629075c4377459dcfb2e5e7a87c8989cfdade44c34e5a019b0b126fa","observation_id":"e6a87e28-5797-4ed3-addd-b35e27abfa55","resolution":{"observed_at":"2026-07-10T13:37:07.427707Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.433245Z","title":"Fraud detection system: A survey,","venue":null,"work_id":"85426c45-9107-42a1-86c1-c56c1369943f","year":2016},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:e8e890feaf98194c72048e254e5270e481d6a1a39f5c4a9557d7a56e50b0357b","observation_id":"13ac308c-0f60-455c-ac07-4fa88b1cdd22","resolution":{"observed_at":"2026-07-10T13:37:07.435240Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.480675Z","title":"Deeptriangle: A deep learning approach to loss reserving,","venue":null,"work_id":"95930a64-52d6-4756-8c96-d38f701e7d0b","year":2019},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:a00f3457f30e8db062ea314c9e459299f2f232606c3953d35154bd722f4a7d94","observation_id":"2240035d-16e2-4ef2-aa8f-e9c06d94c34e","resolution":{"observed_at":"2026-07-10T13:37:07.482680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.418904Z","title":"A guide to deep learning in healthcare,","venue":null,"work_id":"5c2f87f2-9c57-405a-8fb2-2ce61f54ba6e","year":2019},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:d77176694a72c3ab94f8e4e74790b737559f6838380ee8184b5db7747167ebc6","observation_id":"f3150f23-2d89-4188-9a7f-4e97cd6d32bc","resolution":{"observed_at":"2026-07-10T13:37:07.420132Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.415794Z","title":"Critical appraisal of fairness metrics for artificial intelligence- based clinical prediction models: a scoping review,","venue":null,"work_id":"7df82bb8-882a-4cab-981d-46cdad7226a5","year":2026},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:04f143a519c888a62b2c2f9d4a7ecb25bd1ba9d5ab773f29f63adba7617cac0e","observation_id":"ceecf003-eafc-4a51-a277-eaaf2b444cce","resolution":{"observed_at":"2026-07-10T13:37:07.417934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2504.04715","doi":"10.48550/arxiv.2504.04715","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Are you getting what you pay for? auditing model substitution in llm apis,","venue":"ArXiv.org","work_id":"c48456d2-0f69-4b0a-86a8-f7117f9696a3","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:151064c0281625edcdbff9dd58ddb7fe33f14dfd4abd9943cc8abfae5fc02b7a","observation_id":"22918331-5f58-4462-90fc-1cee9f250239","resolution":{"observed_at":"2026-07-10T13:17:05.976302Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.21015","last_updated":"2025-02-07T23:27:07Z","snapshot_observed_at":"2026-08-20T13:08:23.228618Z","submitted_at":"2024-05-31T17:04:18Z","title":"The rising costs of training frontier AI models","version":2},"cited_work":{"arxiv_id":"2405.21015","doi":"10.48550/arxiv.2405.21015","metadata_source":"pith","pith_arxiv_id":"2405.21015","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Cottier, R","venue":"cs.CY","work_id":"96aa670f-e30d-40e1-a9b6-c66115509f81","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"cited_paper":"/paper/2405.21015","citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:87fd98d4b54094b1a86b45272a9cebbde7ef9f94c9fea808bdb9a9288a7fe16e","observation_id":"a663756a-2e21-4be9-b38d-278e8a600808","resolution":{"observed_at":"2026-07-10T13:17:05.981442Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.421294Z","title":"ZKML: An optimizing system for ML inference in zero-knowledge proofs,","venue":null,"work_id":"ba46ffcd-cc40-4af1-8aff-3f95283acb4b","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:7523be49875eb1e2a086cf526248f243ef42a6105ac737d39debd2518b7fa1a1","observation_id":"2c2d7eb6-68c2-43d5-be9f-c633163d21ef","resolution":{"observed_at":"2026-07-10T13:37:07.422550Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1157.2025","doi":"10.1109/sp61157.2025","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"In: IEEE Symposium on Security and Privacy (S&P)","venue":null,"work_id":"a0c5de2d-efac-48fc-b13a-974e47947668","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:a244ce548c6399674d6b97ca09114ffe71b5d3403264034176e48c14d90e333f","observation_id":"032478a8-1b22-4b0f-946f-968f519366ee","resolution":{"observed_at":"2026-07-10T13:17:05.892119Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-07-13T11:50:05.157437+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T11:50:05.157437+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.409100Z","title":"Libra: Succinct zero-knowledge proofs with optimal prover computation,","venue":null,"work_id":"78deb9cb-578e-449f-b70c-d17b2370a79f","year":2019},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:34d109d9cf237be3353659a457a3a403d7d48852885bde5587fca407c56170f6","observation_id":"b0d0cb5d-9fc9-44ef-a212-3ba0c8460611","resolution":{"observed_at":"2026-07-10T13:37:07.412207Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.406709Z","title":"Unlocking the lookup singularity with lasso,","venue":null,"work_id":"860ae2e4-b6ac-457f-b25d-0ae4b9632fc3","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:202c54e5643641457e86720238248252d5d4eb7c1c4b5d4569630eae8728576d","observation_id":"6ab01bed-ecb6-4bd3-b06b-032cd86ac966","resolution":{"observed_at":"2026-07-10T13:37:07.408509Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.412912Z","title":"The knowledge com- plexity of interactive proof systems,","venue":null,"work_id":"68a0ad24-6318-43bf-b9f4-ac3b495545a6","year":1989},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:94e48f8a7bfc9508df364922a6ed04808c3b2d07ca480cccd471fac84e3baf51","observation_id":"75fbebe0-b837-4c2b-842e-9cc5b327f116","resolution":{"observed_at":"2026-07-10T13:37:07.414521Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.423985Z","title":"vCNN: Verifiable convolutional neural network based on zk-SNARKs,","venue":null,"work_id":"b73228f1-0859-49d6-8743-fb6d9f0d771e","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:abc1f5ad81eb98279e02162edf5521feccb6e68708954c47d84d4f6047422167","observation_id":"5d8f028a-aa44-4939-9381-37ab924b5f20","resolution":{"observed_at":"2026-07-10T13:37:07.425397Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.435888Z","title":"VerfCNN, Optimal Complexity zkSNARK for Convolutional Neural Networks,","venue":null,"work_id":"73e3b166-6b61-4c37-ba33-eac41078befc","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:ff4c819cac1b3168b719563420cd0f8874a53ebb2550f5ed1b2349124328eb55","observation_id":"8a9e8fdd-55b6-4cf0-9e54-6fcd10ae2c72","resolution":{"observed_at":"2026-07-10T13:37:07.438590Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.442731Z","title":"Available: https://eprint.iacr.org/2025/2020","venue":null,"work_id":"4c43b17a-987d-47c9-b3f6-71dabaf3a256","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:39c00fc5baa1318510d6bd71cba3645b3df38b40b4dfa686d2183a5c51feca6e","observation_id":"27220394-b0f4-4fb9-b5a0-029bdc69a9a1","resolution":{"observed_at":"2026-07-10T13:37:07.444430Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.459773Z","title":"Safetynets: Verifiable execution of deep neural networks on an untrusted cloud,","venue":null,"work_id":"48b0f65a-8e5e-4c95-9937-6da1f8c5091e","year":2017},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:4d7cded6b911cd8c2e8c34f81a9671773a3d22e520546eb56ef4e48dc0c09d4e","observation_id":"1a21f9e0-e2b8-4e5c-8b70-aae07d034c82","resolution":{"observed_at":"2026-07-10T13:37:07.461125Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.488426Z","title":"Zero-knowledge proofs of training for deep neural networks,","venue":null,"work_id":"78fe15b2-fa0c-4de7-8481-d561a26f08bb","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:96052aa930adeae0a9ab4e9cb50fbb3453d65aa1ff508e91543334f0566091a6","observation_id":"80cb620e-93d8-45b1-a248-03aa50cd023d","resolution":{"observed_at":"2026-07-10T13:37:07.489694Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8644.367033","doi":"10.1145/3658644.3670330","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"zkLLM: Zero Knowledge Proofs for Large Language Models","venue":null,"work_id":"afdfe4f6-3f6d-4261-a7e6-00383ec7dee7","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:2e8ccb856b046534ebeccf04265d4481abc24f50b5ab99162b06b5af6f8bd8fa","observation_id":"3c7fdddd-6ac6-4457-b425-ee339643c856","resolution":{"observed_at":"2026-07-10T13:17:05.870097Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12055","last_updated":"2025-06-13T15:03:21Z","snapshot_observed_at":"2026-08-18T09:28:10.736766Z","submitted_at":"2024-09-18T15:30:29Z","title":"Artemis: Efficient Commit-and-Prove SNARKs for zkML","version":2},"cited_work":{"arxiv_id":"2409.12055","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.12055","snapshot_observed_at":"2026-07-10T13:17:05.977623Z","title":"Artemis: Efficient commit-and-prove snarks for zkml","venue":"cs.CR","work_id":"2685d825-f281-47f2-8545-aa5a36d7c53f","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"cited_paper":"/paper/2409.12055","citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:dfb13123d1058e9fc6c646e5b08f264ae385eb12ac2ea347178c7c640156891e","observation_id":"c33f5c6c-7b98-491b-a61d-73dcae430b58","resolution":{"observed_at":"2026-07-10T13:17:05.978931Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.513602Z","title":"Zen: Efficient zero-knowledge proofs for neural networks,","venue":null,"work_id":"11ce8420-c26b-49b6-a0b8-42cfdd9b3327","year":2021},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:100eb8e93288089e2bf6383c2268de610e862731f78c7f016db1037efc3ca7b4","observation_id":"ffe9c368-998b-4fa1-971a-3359d3e356cb","resolution":{"observed_at":"2026-07-10T13:37:07.514794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.517137Z","title":"Zeno: A type- based optimization framework for zero-knowledge neural network inference,","venue":null,"work_id":"4adb0790-409c-4748-b686-fcd06d57d17c","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:cd635a8db27a8898f374b4c1df83be816ce7d07d122521fc11da7fbe44fbd6bf","observation_id":"a43e3611-b5af-4fef-bb1a-2223837d9d66","resolution":{"observed_at":"2026-07-10T13:37:07.518414Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.529362Z","title":"zkonduit/ezkl,","venue":null,"work_id":"c88d84f3-df77-49c0-87fe-600e35b18fd5","year":2026},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:72a9a0b7716ec47ec80c9a27a21bd8663cc1d0fb6a500778f210db43a83ccae9","observation_id":"1e95c270-f04d-4b2f-b36f-a1bbc8697307","resolution":{"observed_at":"2026-07-10T13:37:07.530433Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.531027Z","title":"Language models are unsupervised multitask learners,","venue":null,"work_id":"9db99f79-cf06-4231-9a99-87ddc1e15bc9","year":2019},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:99170aba6fb5dff02ee366b94155af4ec73717531df766c1b3856ddc9e622280","observation_id":"27fe38a1-4314-4227-8362-3c48557ab15f","resolution":{"observed_at":"2026-07-10T13:37:07.532221Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.440108Z","title":"Delegating compu- tation: Interactive proofs for muggles,","venue":null,"work_id":"eb8f1c5e-1f53-494b-91ce-69aa36d5e377","year":2015},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:b375facd2c04d3f73ae76498de4a34865c3d3917c24c58526fb4fe20a8f9e5ab","observation_id":"3836287f-4d32-418a-9efd-cbfd3fcdc2a7","resolution":{"observed_at":"2026-07-10T13:37:07.441484Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0120.348476","doi":"10.1145/3460120.3484769","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Doubly efficient interactive proofs for general arithmetic circuits with linear prover time,","venue":null,"work_id":"5a8e31bf-cd19-4a37-9f6e-ebf8125eafb8","year":2021},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:e377d228e2c257d95a7ef71a09e415c59377fa4c98e1e2b1a7959f2538ae423a","observation_id":"64718121-a5fa-482a-ba5d-b7d7bb56c786","resolution":{"observed_at":"2026-07-10T13:17:05.885191Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.461897Z","title":"Algebraic methods for interactive proof systems,","venue":null,"work_id":"2050a91d-7e0d-4db5-b1f9-d2d0f4290f4e","year":1992},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:84891513c0875893a6f340be38a3db925af748fed230224283d8aff103c5dcdc","observation_id":"295ee557-ae5a-4a95-a7af-2f9c906e8d95","resolution":{"observed_at":"2026-07-10T13:37:07.463237Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.490226Z","title":"A zero knowledge sumcheck and its applications,","venue":null,"work_id":"1a04e838-2f20-498b-b4f3-ae8cfa24999d","year":2017},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:bde3b276efdc30908b2c28b5408a048b412d5a249361febb82241dbf62b2c94f","observation_id":"fbe2d239-e80c-437a-8d7d-dd0507d96a27","resolution":{"observed_at":"2026-07-10T13:37:07.492380Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.506210Z","title":"Doubly-efficient zksnarks without trusted setup,","venue":null,"work_id":"1eade055-b21d-4a67-8079-1ce0c67dade1","year":2018},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:0ea5cbbeb82f1961d0768503a1eff331fb56a6879016e4b818631326c4f6a581","observation_id":"128e7e84-300d-44ed-b547-f089e3256f25","resolution":{"observed_at":"2026-07-10T13:37:07.507419Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.508061Z","title":"Spartan: Efficient and general-purpose zksnarks with- out trusted setup,","venue":null,"work_id":"8cb5df3d-2f35-40bd-86b5-0b7c46f6ebaa","year":2020},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:856d6c78c9082b0b133b9c0a03a514a330f67eab997fb36ca7750a57b207877b","observation_id":"9b6a33d5-b9f3-46db-b61d-04766ddfedd2","resolution":{"observed_at":"2026-07-10T13:37:07.509364Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.504370Z","title":"Marlin: Preprocessing zksnarks with universal and updatable srs,","venue":null,"work_id":"2016a84f-007f-4d54-9719-7bd6cf437fd5","year":2020},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:c37e2d4e44b0f0fcdfbd00bcd816c09e49c7df4831ff4e974060ba765e4cfa10","observation_id":"cf997654-2a49-4749-8c27-b676e8ace21b","resolution":{"observed_at":"2026-07-10T13:37:07.505631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.497120Z","title":null,"venue":null,"work_id":"bc54918d-4960-4958-b657-c1073ec5713e","year":2020},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:5f759190e6b7e9b88d0c122e70a25a647c04c5e6c55d11d29775396e20b21a4e","observation_id":"8ac153ce-0aae-4246-87b9-33eb26c41e2a","resolution":{"observed_at":"2026-07-10T13:37:07.499741Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.511832Z","title":"On the size of pairing-based non-interactive arguments,","venue":null,"work_id":"8fe9a9dc-fa4d-4bba-b13d-292596983241","year":2016},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:f2fefa26904fcfc4f68c40561950a80edb3d3a35ea59e3012abf76e50ba371ea","observation_id":"dcd319b2-e9b9-4e8e-a0a6-a4f7579993b3","resolution":{"observed_at":"2026-07-10T13:37:07.513029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.524248Z","title":"Legosnark: Modular design and composition of succinct zero-knowledge proofs,","venue":null,"work_id":"a2c066a7-34dd-42d7-973c-330f2d592a50","year":2019},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:dd3ebd9d91590e94facca04721f93ea80dcdb84cda92ef9d375e8be5a7530bbc","observation_id":"b44f7456-e6c4-4f4d-8678-5d51ea988c10","resolution":{"observed_at":"2026-07-10T13:37:07.525378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.445183Z","title":"How to prove yourself: Practical solutions to identification and signature problems,","venue":null,"work_id":"6bfc423c-c636-4303-b3d9-b1b6220343f8","year":1986},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:735bbcc4464f7100e4b0d11c47e2eae7d79218d0a9d9b47acec4987063e381ad","observation_id":"1d87ac2a-6d2b-412d-990b-ee33bb6f4aa3","resolution":{"observed_at":"2026-07-10T13:37:07.446478Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.447497Z","title":"SHA-3 standard : permutation-based hash and extendable-output functions,","venue":null,"work_id":"bb52a825-e631-47a9-844a-c804527abfd4","year":2015},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:6837c0970e67d7b73be5ca0c7a62913966c2a2b5fd0e97c8b0f242f0fd9fcc16","observation_id":"62a1735a-289a-4fe7-bf04-0fc72839202b","resolution":{"observed_at":"2026-07-10T13:37:07.449035Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.449591Z","title":"Proofs, arguments, and zero-knowledge,","venue":null,"work_id":"ad924dc6-3c6f-4fe3-8e89-d0075f2b3f7d","year":null},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:03ac3c9ed27cef61083b12eb04b942ced2181ec5898836880e23b0be8d0f6de5","observation_id":"d10854d7-4d66-4cf4-8507-312d30de47bd","resolution":{"observed_at":"2026-07-10T13:37:07.450940Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1561/3300000030","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Available: http://dx.doi.org/10.1561/3300000030","venue":"Foundations and Trends® in Privacy and Security","work_id":"a1290323-e54f-4269-ba2d-6e120c0bddb7","year":2022},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:b55a0d136208108de469ba7370a1ca67f2cbec77cc712778c251fdda1fb703a9","observation_id":"46bb207c-8d49-4f2d-9e98-40b972bfd8d8","resolution":{"observed_at":"2026-07-10T13:17:05.879760Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-07-12T23:19:55.773984+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T23:19:55.773984+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-92078-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Lunar: A toolbox for more efficient universal and updatable zksnarks and commit-and-prove extensions,","venue":"Lecture notes in computer science","work_id":"a121b3f8-3433-484d-ada9-adc70ee96420","year":2021},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:20ffda668819605b669fa9f93b3b23b6157a6d12af9a03572685d8b20828f6cd","observation_id":"89082be4-ae88-45ca-b3b5-73adf9421f55","resolution":{"observed_at":"2026-07-10T13:17:05.887891Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.451915Z","title":"(n.d.) GKR input layer chunks","venue":null,"work_id":"e3b2886d-145e-4887-b687-129132f0f49f","year":null},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:8d3917e393fa6b54c79e6432924469cb4170ff064d9d414928cc6b76c421a27a","observation_id":"858dc676-fb27-4fe3-80fc-fb951ab75d90","resolution":{"observed_at":"2026-07-10T13:37:07.454719Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.463879Z","title":"How to prove false statements: Practical attacks on fiat-shamir,","venue":null,"work_id":"aff5b82b-f881-44e3-a6a8-1efdb7e042d5","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:2d100da0188426b6863d4d3115f06ad13a0727a9cb7d12f4149de642a9491373","observation_id":"d00ba84a-38ac-4d4a-a18d-d2878c3ffefe","resolution":{"observed_at":"2026-07-10T13:37:07.465654Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.456021Z","title":"On the evaluation of powers and related problems,","venue":null,"work_id":"e57552b2-4544-4a4b-9287-a5e7c78c23f0","year":1976},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:ffb407bc5ade3d1347f20c21bd0b597d83b6ed8c7aa0676443de2d292c333721","observation_id":"5ebcc6c1-6b22-4300-a399-725068f5165a","resolution":{"observed_at":"2026-07-10T13:37:07.458539Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.478383Z","title":"herumi/mcl,","venue":null,"work_id":"1175b107-9a7c-4110-88fd-466da0e02895","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:4871547997c243122e76f5d4a113a48e66e39de8ad9a3deef4e93f7962969cce","observation_id":"69c1cd0a-278f-4a29-8414-930c9cee5e56","resolution":{"observed_at":"2026-07-10T13:37:07.479679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.522596Z","title":"BLS12-381: New zk-SNARK elliptic curve construction,","venue":null,"work_id":"3586954c-15a7-40ce-a017-a95742ca85bc","year":2017},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:722553f0b6228da7bfa3de4343b9fc836ce39f9e52153478d04aaf09be80a67f","observation_id":"7423628a-02c3-443a-a7a8-1afacbaee326","resolution":{"observed_at":"2026-07-10T13:37:07.523754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.527578Z","title":"Pairing-friendly elliptic curves of prime order,","venue":null,"work_id":"91f7929a-b63c-4dec-b8eb-a5da36cb1eb0","year":2006},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:bf69f2590ec354cee09f9afc98fb5d212aeae597377aa11c1177bd060f8c4556","observation_id":"22e7d149-1dc5-4a79-9c05-f78950abb029","resolution":{"observed_at":"2026-07-10T13:37:07.528769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.515367Z","title":"Imagenet classifica- tion with deep convolutional neural networks,","venue":null,"work_id":"38ddf94e-241d-4520-935a-a3cc09a12bab","year":2012},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:e037539f488ba0f408ef337ae73d76325f11a77eea9e9c353f42fea621ede425","observation_id":"a84382c2-f884-4e08-a548-2e56608a6614","resolution":{"observed_at":"2026-07-10T13:37:07.516576Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1409.1556","last_updated":"2015-04-10T16:25:04Z","snapshot_observed_at":"2026-08-17T19:17:06.411141Z","submitted_at":"2014-09-04T19:48:04Z","title":"Very Deep Convolutional Networks for Large-Scale Image Recognition","version":6},"cited_work":{"arxiv_id":"1409.1556","doi":"10.48550/arxiv.1409.1556","metadata_source":"pith","pith_arxiv_id":"1409.1556","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Very Deep Convolutional Networks for Large-Scale Image Recognition","venue":"cs.CV","work_id":"1c4b4409-c14b-488b-a086-c57a5aab8a29","year":2014},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"cited_paper":"/paper/1409.1556","citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:14b1cf5dcf99d17290bb2051b0c93653079faa1c01c5024c3ccf1bb18fe26190","observation_id":"52e38a6d-a43b-4353-8af0-ecc279859b9a","resolution":{"observed_at":"2026-07-10T13:17:05.973679Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-07-12T23:51:07.915518+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T23:51:07.915518+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.520810Z","title":"Scalable zero-knowledge proofs for non-linear functions in machine learning,","venue":null,"work_id":"65f5bfc2-8fd7-41d6-8e59-446293e3b660","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:c0815c4d1146dc8e1ebb522182f2d380b3292d71e8761d033a3700707533ec92","observation_id":"d61e894c-2ea6-473b-8a50-b9d01f268fa0","resolution":{"observed_at":"2026-07-10T13:37:07.522045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.07031","last_updated":"2025-07-10T23:50:39Z","snapshot_observed_at":"2026-08-20T20:17:15.497392Z","submitted_at":"2025-07-09T17:03:21Z","title":"ZKTorch: Compiling ML Inference to Zero-Knowledge Proofs via Parallel Proof Accumulation","version":2},"cited_work":{"arxiv_id":"2507.07031","doi":null,"metadata_source":"pith","pith_arxiv_id":"2507.07031","snapshot_observed_at":"2026-07-10T13:17:05.970053Z","title":"Zktorch: Compiling ml inference to zero-knowledge proofs via parallel proof accumulation","venue":"cs.CR","work_id":"6dd0f6f0-236d-478c-8a1f-b512969dc0ba","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"cited_paper":"/paper/2507.07031","citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:a2574e602e2244908de04ba7f4a92a221554beb5419469db3f3e8e9b747c60b1","observation_id":"3bc53eb6-97df-4991-86ff-f2f6e3d7f02d","resolution":{"observed_at":"2026-07-10T13:17:05.971303Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.519003Z","title":"zkPyTorch: A Hierarchical Optimized Compiler for Zero-Knowledge Machine Learning,","venue":null,"work_id":"57af7318-ce33-4801-9e21-74850484211f","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:a877c262d8022217144951d79aff59d4ec6f47330a2d9e2458439ce8777a07db","observation_id":"3eced442-00ac-4ac7-803a-99fe31dcc34e","resolution":{"observed_at":"2026-07-10T13:37:07.520237Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6915.362316","doi":"10.1145/3576915.3623161","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Modular sumcheck proofs with applications to machine learning and image processing,","venue":null,"work_id":"8fc13b76-0848-4599-b948-84250d86094e","year":2023},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:a072c373d33951cd1aa043a0c0f800dc518d4c402b8fbc2679404279e17007e4","observation_id":"0176b5d9-a50c-4dd9-805b-b2493288f341","resolution":{"observed_at":"2026-07-10T13:17:05.874081Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5693.357571","doi":"10.1145/3575693.3575710","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"InProceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2(Vancouver, BC, Canada)(ASPLOS 2023)","venue":null,"work_id":"2c54d747-8d80-4616-b574-a20896d3f223","year":2023},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:9f09895c2d8d223c8f9fec8b211bd0c3136ed44ea80b54829c5d06672060ca26","observation_id":"dad35229-af35-4840-a589-5517540be6e0","resolution":{"observed_at":"2026-07-10T13:17:05.877642Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.502519Z","title":"ZKPoG: Accelerating WitGen-incorporated end-to-end zero-knowledge proof on GPU,","venue":null,"work_id":"c6290e19-e649-4d4e-95f2-cb8d852eea68","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:2e8e6c28d581e738560954382f2cf99ddac4dffc95bc8ae4ce175c5b6794bac1","observation_id":"a0d475a5-cedc-4df5-acac-afa4ac0d84e8","resolution":{"observed_at":"2026-07-10T13:37:07.503761Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"4934.378644","doi":"10.1145/3774934.3786448","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Pipelonk: Accelerating end-to-end zero-knowledge proof generation on gpus for plonk-based protocols,","venue":null,"work_id":"8c3f9221-3548-409d-9078-63f4132311e8","year":2026},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:e2bc1cd6ee5b3bb730af053040b512be293b52507989f65f432fe81a52b3d501","observation_id":"288403da-f287-4118-b4a2-c84a3cf0fc74","resolution":{"observed_at":"2026-07-10T13:17:05.894908Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.483343Z","title":"Benchmarking gpu acceleration for zk-snarks with icicle,","venue":null,"work_id":"d3977ab4-d10b-42ba-9e56-088aaee2c893","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:1aada0ef38e3045ac6b2392b272f227b4c1043f0e97ea6be1b743a0ec07c8aa2","observation_id":"be188030-8dfe-45f1-bdb6-17ea2ede3eb5","resolution":{"observed_at":"2026-07-10T13:37:07.485460Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.494891Z","title":"Accelerat- ing zero-knowledge proofs through hardware-algorithm co-design,","venue":null,"work_id":"0dfeb643-aa74-486d-9d09-ea32856f299b","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:0cd1bef0266ae0303b89dea67f6326744ce744f22ba4253ea03d4aa53fa91bf2","observation_id":"3486174a-b992-4e85-8350-807b8374a066","resolution":{"observed_at":"2026-07-10T13:37:07.496557Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.492974Z","title":"Szkp: A scalable accelerator architecture for zero-knowledge proofs,","venue":null,"work_id":"5b63afc3-ed8f-4326-9c0c-88fb584876bd","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:dd7b939229078c0d3dcc3f675c0c9aa38c5153bec03c893ac772f3b984b8fca5","observation_id":"77f205fa-f99b-4eb4-83dd-f0a39196a408","resolution":{"observed_at":"2026-07-10T13:37:07.494302Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.500681Z","title":"Unizk: Accelerating zero-knowledge proof with unified hardware and flexible kernel mapping,","venue":null,"work_id":"a210c7d8-f4d7-4732-bd63-03743a76c953","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:b79c80eb0d86245b5c9eae6b191bb3ca859a42ac031997b13d6f1fd414a1a00f","observation_id":"1da5ba31-3f09-45f3-9b7c-2c1b1a0c6f32","resolution":{"observed_at":"2026-07-10T13:37:07.501931Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.509955Z","title":"Need for zkspeed: Accelerating hyperplonk for zero- knowledge proofs,","venue":null,"work_id":"ffd3ef64-e1ec-4ea3-a7f6-69a2ab1c0bff","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:517dc467e94117a2a4b484ec5f6ff939b85d5c1fac32d3339766fa870056803b","observation_id":"16357fff-124e-4c04-8c13-089226844353","resolution":{"observed_at":"2026-07-10T13:37:07.511169Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.525921Z","title":"Speeding up sum-check proving,","venue":null,"work_id":"df6d65aa-c32a-4833-98b2-d7a6a8c71f2f","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:38eb19522aa9902222b4bf02571cd2406aed8a9fe67ecb42236908827886d4dd","observation_id":"8c218709-545a-4ef0-bd40-6030421cab42","resolution":{"observed_at":"2026-07-10T13:37:07.527008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.466307Z","title":"Available: https://eprint.iacr.org/2025/1117","venue":null,"work_id":"d3af95a0-7c60-45f3-b8cb-aa34abb0a2d3","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:0d1f117b7d737ad0cf98df7f178b3cffc41d444a8e71351067331c5c6e16f90c","observation_id":"b82ac0ab-bdf0-466d-8f93-f718f6ad8194","resolution":{"observed_at":"2026-07-10T13:37:07.467602Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.468965Z","title":"Hydra: Succinct fully pipelineable interactive arguments of knowledge,","venue":null,"work_id":"f49acc86-e820-488e-812a-9fe14feea2e8","year":2021},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:2a3ef46c6cf217225cb95b671ca29b06e5a2330c1c7fcf65aa79e3ea97197339","observation_id":"47fd29ec-a07d-4888-a62a-98511caec64c","resolution":{"observed_at":"2026-07-10T13:37:07.470632Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3956.313398","doi":"10.1145/3133956.3133982","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Practical secure aggregation for privacy-preserving machine learning","venue":null,"work_id":"48c253ee-f907-4cdc-be50-009e26d57921","year":2017},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:66ef87c47d7412baf8ec1600ca364234a817c7dcc5f9db36e13fd503e2bac06d","observation_id":"b6cd9556-80b6-4101-8346-90f408de5f6e","resolution":{"observed_at":"2026-07-10T13:17:05.902184Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-07-17T21:51:08.733914+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-17T21:51:08.733914+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"document/6547112","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:17:05.982592Z","title":"A Hybrid Architecture for Interactive Verifiable Computation,","venue":null,"work_id":"5177f579-bb12-44bd-bfc7-1a56816b6b3a","year":2013},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:321d5086c10f8f6d64f8c0889364d10224b04837070cd3568efec849a6633ef8","observation_id":"12e66093-3fba-400f-9670-ed0aeb59df4b","resolution":{"observed_at":"2026-07-10T13:17:05.984110Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0236.209024","doi":"10.1145/2090236.2090245","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Practical verified computation with streaming interactive proofs,","venue":null,"work_id":"b4a7e436-353d-4905-9aa2-9de9509c5697","year":2012},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:77a066e5e19aee8cee3324d2a88f9f28365cd19245b9e9efa6049a32b7271b68","observation_id":"e7833984-4a7e-4197-931a-4ee945bd4076","resolution":{"observed_at":"2026-07-10T13:17:05.905015Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3658644","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Sparrow: Space-efficient zksnark for data-parallel circuits and applications to zero-knowledge decision trees,","venue":null,"work_id":"4bddaa9b-dc3f-4f44-8764-13d45fe2a184","year":2024},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:c028a527d7572f828c3a96e005e791f17f7634c9a4ce361d1cf480ec55deb600","observation_id":"58ccc9d2-a2ab-48de-a156-332dd593edf4","resolution":{"observed_at":"2026-07-10T13:17:05.898732Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-032-12290-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Time-space trade-offs for sumcheck,","venue":"Lecture notes in computer science","work_id":"fe858ad9-8675-4438-9eff-06c3790c3b62","year":2025},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:ff672a9ef2427c2224d97ff459f53dd6d93a23e8449ec83564c76fbab38102ea","observation_id":"ad308237-ad51-49b2-afa5-7162f97b9c59","resolution":{"observed_at":"2026-07-10T13:17:05.896831Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.474121Z","title":"Deep residual learning for image recognition","venue":null,"work_id":"4e9789cb-665a-4a58-be8c-6bbf5d7bb3b9","year":2016},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:bfa4a4c34e218976814fe41526809e1550ca8d1a01e4328ec864519f1d343074","observation_id":"fbad457d-3ad7-4278-ac3c-e000ade76635","resolution":{"observed_at":"2026-07-10T13:37:07.477605Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:07.486155Z","title":"Plonk: Permutations over lagrange-bases for oecumenical noninteractive arguments of knowledge,","venue":null,"work_id":"72b9296a-0455-40d7-b816-61c62572e0a4","year":2019},"citing_paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-07-10T13:10:32.267776Z"},"links":{"citing_paper":"/paper/2607.08095"},"observation_digest":"sha256:8caabcc264e326af3ac0005c35380d380709cc081858f3836c24f3ddbaba8077","observation_id":"0d4afcf7-64b7-48c2-9c17-963a5e0db307","resolution":{"observed_at":"2026-07-10T13:37:07.487820Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.08095","last_updated":"2026-07-09T04:05:43Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-15T04:53:17.577695Z","submitted_at":"2026-07-09T04:05:43Z","title":"zkComposer: Decomposing Proof Construction to Scale zkML"},"reference_resolution":{"displayed":70,"state_counts":{"malformed_identifier":0,"metadata_mismatch":7,"parse_uncertain":0,"unresolved":1,"verified_exact":11,"verified_fuzzy":51},"total_outbound_references":70},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 70 of 70 outbound references and 0 inbound Pith citation observations for arXiv:2607.08095."}