{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FZ2Z7K4FLXT5EI3JCLSWFQOACF","short_pith_number":"pith:FZ2Z7K4F","canonical_record":{"source":{"id":"2507.07031","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-07-09T17:03:21Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"0e02533d26754dce072dcc86de3501d8fcf94c13658e319b94109c434a40fb33","abstract_canon_sha256":"ca14fc70f6a04f25d87a7b22beb2528a5d18425a88cd6dcba5fbab84394ee709"},"schema_version":"1.0"},"canonical_sha256":"2e759fab855de7d2236912e562c1c01156d74bf473c4664a82b01a989bd94c19","source":{"kind":"arxiv","id":"2507.07031","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.07031","created_at":"2026-07-05T11:35:15Z"},{"alias_kind":"arxiv_version","alias_value":"2507.07031v2","created_at":"2026-07-05T11:35:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.07031","created_at":"2026-07-05T11:35:15Z"},{"alias_kind":"pith_short_12","alias_value":"FZ2Z7K4FLXT5","created_at":"2026-07-05T11:35:15Z"},{"alias_kind":"pith_short_16","alias_value":"FZ2Z7K4FLXT5EI3J","created_at":"2026-07-05T11:35:15Z"},{"alias_kind":"pith_short_8","alias_value":"FZ2Z7K4F","created_at":"2026-07-05T11:35:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FZ2Z7K4FLXT5EI3JCLSWFQOACF","target":"record","payload":{"canonical_record":{"source":{"id":"2507.07031","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-07-09T17:03:21Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"0e02533d26754dce072dcc86de3501d8fcf94c13658e319b94109c434a40fb33","abstract_canon_sha256":"ca14fc70f6a04f25d87a7b22beb2528a5d18425a88cd6dcba5fbab84394ee709"},"schema_version":"1.0"},"canonical_sha256":"2e759fab855de7d2236912e562c1c01156d74bf473c4664a82b01a989bd94c19","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:35:15.102509Z","signature_b64":"CJrkLhsOFOqEwkkJ6RFBorZM2i6jHz8xfM/PRu71Ob5xbeQwvGczXCfkHHJFj5oii7s+VuaJv3I+W1kbN1TQBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e759fab855de7d2236912e562c1c01156d74bf473c4664a82b01a989bd94c19","last_reissued_at":"2026-07-05T11:35:15.102010Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:35:15.102010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.07031","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:35:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Eb60Hi9lO2ebjT+JZ9HJkWuNIGX00BK6tbeIrfA4c6jnRiPalMwOFg9RinXaYQmEBDw41kg/G1OSUsMqHRjOAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T23:54:10.333392Z"},"content_sha256":"a465836326f8b2a61b776cf1aaabe87926341323f907d178288c9253e4068b6b","schema_version":"1.0","event_id":"sha256:a465836326f8b2a61b776cf1aaabe87926341323f907d178288c9253e4068b6b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FZ2Z7K4FLXT5EI3JCLSWFQOACF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ZKTorch: Compiling ML Inference to Zero-Knowledge Proofs via Parallel Proof Accumulation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.CR","authors_text":"Bing-Jyue Chen, Daniel Kang, Lilia Tang","submitted_at":"2025-07-09T17:03:21Z","abstract_excerpt":"As AI models become ubiquitous in our daily lives, there has been an increasing demand for transparency in ML services. However, the model owner does not want to reveal the weights, as they are considered trade secrets. To solve this problem, researchers have turned to zero-knowledge proofs of ML model inference. These proofs convince the user that the ML model output is correct, without revealing the weights of the model to the user. Past work on these provers can be placed into two categories. The first method compiles the ML model into a low-level circuit, and proves the circuit using a ZK-"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.07031","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.07031/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:35:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"swvWfb6sVQzA31ieFDpZoRDF7a+LxuV3b1wlRF/Hh/UsjKAgwYx008+wG5IRBNF6FnFWt4FygjP7mrHu7f3vCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T23:54:10.333883Z"},"content_sha256":"3f540ea30e18923f93fd7b339b05d3f3ac4861dfc064882eee010ce57b6680d0","schema_version":"1.0","event_id":"sha256:3f540ea30e18923f93fd7b339b05d3f3ac4861dfc064882eee010ce57b6680d0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FZ2Z7K4FLXT5EI3JCLSWFQOACF/bundle.json","state_url":"https://pith.science/pith/FZ2Z7K4FLXT5EI3JCLSWFQOACF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FZ2Z7K4FLXT5EI3JCLSWFQOACF/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-05T23:54:10Z","links":{"resolver":"https://pith.science/pith/FZ2Z7K4FLXT5EI3JCLSWFQOACF","bundle":"https://pith.science/pith/FZ2Z7K4FLXT5EI3JCLSWFQOACF/bundle.json","state":"https://pith.science/pith/FZ2Z7K4FLXT5EI3JCLSWFQOACF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FZ2Z7K4FLXT5EI3JCLSWFQOACF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FZ2Z7K4FLXT5EI3JCLSWFQOACF","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ca14fc70f6a04f25d87a7b22beb2528a5d18425a88cd6dcba5fbab84394ee709","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-07-09T17:03:21Z","title_canon_sha256":"0e02533d26754dce072dcc86de3501d8fcf94c13658e319b94109c434a40fb33"},"schema_version":"1.0","source":{"id":"2507.07031","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.07031","created_at":"2026-07-05T11:35:15Z"},{"alias_kind":"arxiv_version","alias_value":"2507.07031v2","created_at":"2026-07-05T11:35:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.07031","created_at":"2026-07-05T11:35:15Z"},{"alias_kind":"pith_short_12","alias_value":"FZ2Z7K4FLXT5","created_at":"2026-07-05T11:35:15Z"},{"alias_kind":"pith_short_16","alias_value":"FZ2Z7K4FLXT5EI3J","created_at":"2026-07-05T11:35:15Z"},{"alias_kind":"pith_short_8","alias_value":"FZ2Z7K4F","created_at":"2026-07-05T11:35:15Z"}],"graph_snapshots":[{"event_id":"sha256:3f540ea30e18923f93fd7b339b05d3f3ac4861dfc064882eee010ce57b6680d0","target":"graph","created_at":"2026-07-05T11:35:15Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2507.07031/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As AI models become ubiquitous in our daily lives, there has been an increasing demand for transparency in ML services. However, the model owner does not want to reveal the weights, as they are considered trade secrets. To solve this problem, researchers have turned to zero-knowledge proofs of ML model inference. These proofs convince the user that the ML model output is correct, without revealing the weights of the model to the user. Past work on these provers can be placed into two categories. The first method compiles the ML model into a low-level circuit, and proves the circuit using a ZK-","authors_text":"Bing-Jyue Chen, Daniel Kang, Lilia Tang","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-07-09T17:03:21Z","title":"ZKTorch: Compiling ML Inference to Zero-Knowledge Proofs via Parallel Proof Accumulation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.07031","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:a465836326f8b2a61b776cf1aaabe87926341323f907d178288c9253e4068b6b","target":"record","created_at":"2026-07-05T11:35:15Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ca14fc70f6a04f25d87a7b22beb2528a5d18425a88cd6dcba5fbab84394ee709","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2025-07-09T17:03:21Z","title_canon_sha256":"0e02533d26754dce072dcc86de3501d8fcf94c13658e319b94109c434a40fb33"},"schema_version":"1.0","source":{"id":"2507.07031","kind":"arxiv","version":2}},"canonical_sha256":"2e759fab855de7d2236912e562c1c01156d74bf473c4664a82b01a989bd94c19","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e759fab855de7d2236912e562c1c01156d74bf473c4664a82b01a989bd94c19","first_computed_at":"2026-07-05T11:35:15.102010Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:35:15.102010Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"CJrkLhsOFOqEwkkJ6RFBorZM2i6jHz8xfM/PRu71Ob5xbeQwvGczXCfkHHJFj5oii7s+VuaJv3I+W1kbN1TQBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:35:15.102509Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.07031","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a465836326f8b2a61b776cf1aaabe87926341323f907d178288c9253e4068b6b","sha256:3f540ea30e18923f93fd7b339b05d3f3ac4861dfc064882eee010ce57b6680d0"],"state_sha256":"1ed3f1f3d05b5ecfdd99a029a188cfd730b995be9635fa81ea387037d258aa93"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8ii1gWoysBg1a0tzVGd5GD7qNbV1i5PMspq7ND7f8Lheca0FzftVke3t+Vvf9p8G0Uo8kP8OgZluIoIennQUBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T23:54:10.337601Z","bundle_sha256":"8731936779a0c0f88a8c46eb36a8caaee31882eeaf3a36f807d5b0377fc3fd8d"}}