{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:VBKTZFVFZDALDKFG7OKYUD4TEQ","short_pith_number":"pith:VBKTZFVF","canonical_record":{"source":{"id":"2507.00427","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-07-01T04:52:51Z","cross_cats_sorted":[],"title_canon_sha256":"5432e4bb6cea5db507dc5d73867bf3fa7762a6764c99d84b8f2e03ad5ca2ce37","abstract_canon_sha256":"7e0b810639c60b96a79a0a638f2793bd6495860d87d896faf302eaf225cb8b23"},"schema_version":"1.0"},"canonical_sha256":"a8553c96a5c8c0b1a8a6fb958a0f932408498d96867a1d6463693bae7574a3c1","source":{"kind":"arxiv","id":"2507.00427","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.00427","created_at":"2026-07-05T11:30:08Z"},{"alias_kind":"arxiv_version","alias_value":"2507.00427v1","created_at":"2026-07-05T11:30:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.00427","created_at":"2026-07-05T11:30:08Z"},{"alias_kind":"pith_short_12","alias_value":"VBKTZFVFZDAL","created_at":"2026-07-05T11:30:08Z"},{"alias_kind":"pith_short_16","alias_value":"VBKTZFVFZDALDKFG","created_at":"2026-07-05T11:30:08Z"},{"alias_kind":"pith_short_8","alias_value":"VBKTZFVF","created_at":"2026-07-05T11:30:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:VBKTZFVFZDALDKFG7OKYUD4TEQ","target":"record","payload":{"canonical_record":{"source":{"id":"2507.00427","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-07-01T04:52:51Z","cross_cats_sorted":[],"title_canon_sha256":"5432e4bb6cea5db507dc5d73867bf3fa7762a6764c99d84b8f2e03ad5ca2ce37","abstract_canon_sha256":"7e0b810639c60b96a79a0a638f2793bd6495860d87d896faf302eaf225cb8b23"},"schema_version":"1.0"},"canonical_sha256":"a8553c96a5c8c0b1a8a6fb958a0f932408498d96867a1d6463693bae7574a3c1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:30:08.752389Z","signature_b64":"jKvjrEQejbHHbyrm6wVMsizd4U+sTnwjDPPzt67OhtkqBoKKvbmeWZOq7qioHiCdsB79ZveRIoXUF1/28bfPBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a8553c96a5c8c0b1a8a6fb958a0f932408498d96867a1d6463693bae7574a3c1","last_reissued_at":"2026-07-05T11:30:08.751856Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:30:08.751856Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.00427","source_version":1,"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:30:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O6tH0awiiTPovWYLRGh21WQxisRurMk/kq5rjt2n/6pEPEmdXM6XwB21uMrw/XN+c8DboUz1oLpBrFw21W64AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-20T10:56:11.165488Z"},"content_sha256":"709a741bb2ca94b80decb171b8a028d401778eb2db824424e329f03e2a0461c1","schema_version":"1.0","event_id":"sha256:709a741bb2ca94b80decb171b8a028d401778eb2db824424e329f03e2a0461c1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:VBKTZFVFZDALDKFG7OKYUD4TEQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Zero-Knowledge Verifiable Graph Query Evaluation via Expansion-Centric Operator Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Aoying Zhou, Changzheng Wei, Hanghang Wu, Hao Wu, Li Lin, Minghao Zhao, Shiyu He, Yanhao Wang, Yilong Leng, Ying Yan","submitted_at":"2025-07-01T04:52:51Z","abstract_excerpt":"This paper investigates the feasibility of achieving zero-knowledge verifiability for graph databases, enabling database owners to cryptographically prove the query execution correctness without disclosing the underlying data. Although similar capabilities have been explored for relational databases, their implementation for graph databases presents unique challenges. This is mainly attributed to the relatively large complexity of queries in graph databases. When translating graph queries into arithmetic circuits, the circuit scale can be too large to be practically evaluated. To address this "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.00427","kind":"arxiv","version":1},"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.00427/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:30:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"K1h/catzv44TewAQkY5Q/WRMhox0Jjrdx7rO4uXPQslq9ZjjaE4R6oJ08uy4umboDGIpyuNkFIDVMK2Yt2/rBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-20T10:56:11.165872Z"},"content_sha256":"8e66d08aeb04ce65ad7c5a16ddce1e5d82b9ebf2358791d2af59eee5d72fe2f4","schema_version":"1.0","event_id":"sha256:8e66d08aeb04ce65ad7c5a16ddce1e5d82b9ebf2358791d2af59eee5d72fe2f4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VBKTZFVFZDALDKFG7OKYUD4TEQ/bundle.json","state_url":"https://pith.science/pith/VBKTZFVFZDALDKFG7OKYUD4TEQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VBKTZFVFZDALDKFG7OKYUD4TEQ/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-07-20T10:56:11Z","links":{"resolver":"https://pith.science/pith/VBKTZFVFZDALDKFG7OKYUD4TEQ","bundle":"https://pith.science/pith/VBKTZFVFZDALDKFG7OKYUD4TEQ/bundle.json","state":"https://pith.science/pith/VBKTZFVFZDALDKFG7OKYUD4TEQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VBKTZFVFZDALDKFG7OKYUD4TEQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VBKTZFVFZDALDKFG7OKYUD4TEQ","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":"7e0b810639c60b96a79a0a638f2793bd6495860d87d896faf302eaf225cb8b23","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-07-01T04:52:51Z","title_canon_sha256":"5432e4bb6cea5db507dc5d73867bf3fa7762a6764c99d84b8f2e03ad5ca2ce37"},"schema_version":"1.0","source":{"id":"2507.00427","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.00427","created_at":"2026-07-05T11:30:08Z"},{"alias_kind":"arxiv_version","alias_value":"2507.00427v1","created_at":"2026-07-05T11:30:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.00427","created_at":"2026-07-05T11:30:08Z"},{"alias_kind":"pith_short_12","alias_value":"VBKTZFVFZDAL","created_at":"2026-07-05T11:30:08Z"},{"alias_kind":"pith_short_16","alias_value":"VBKTZFVFZDALDKFG","created_at":"2026-07-05T11:30:08Z"},{"alias_kind":"pith_short_8","alias_value":"VBKTZFVF","created_at":"2026-07-05T11:30:08Z"}],"graph_snapshots":[{"event_id":"sha256:8e66d08aeb04ce65ad7c5a16ddce1e5d82b9ebf2358791d2af59eee5d72fe2f4","target":"graph","created_at":"2026-07-05T11:30:08Z","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.00427/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper investigates the feasibility of achieving zero-knowledge verifiability for graph databases, enabling database owners to cryptographically prove the query execution correctness without disclosing the underlying data. Although similar capabilities have been explored for relational databases, their implementation for graph databases presents unique challenges. This is mainly attributed to the relatively large complexity of queries in graph databases. When translating graph queries into arithmetic circuits, the circuit scale can be too large to be practically evaluated. To address this ","authors_text":"Aoying Zhou, Changzheng Wei, Hanghang Wu, Hao Wu, Li Lin, Minghao Zhao, Shiyu He, Yanhao Wang, Yilong Leng, Ying Yan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-07-01T04:52:51Z","title":"Zero-Knowledge Verifiable Graph Query Evaluation via Expansion-Centric Operator Decomposition"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.00427","kind":"arxiv","version":1},"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:709a741bb2ca94b80decb171b8a028d401778eb2db824424e329f03e2a0461c1","target":"record","created_at":"2026-07-05T11:30:08Z","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":"7e0b810639c60b96a79a0a638f2793bd6495860d87d896faf302eaf225cb8b23","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-07-01T04:52:51Z","title_canon_sha256":"5432e4bb6cea5db507dc5d73867bf3fa7762a6764c99d84b8f2e03ad5ca2ce37"},"schema_version":"1.0","source":{"id":"2507.00427","kind":"arxiv","version":1}},"canonical_sha256":"a8553c96a5c8c0b1a8a6fb958a0f932408498d96867a1d6463693bae7574a3c1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a8553c96a5c8c0b1a8a6fb958a0f932408498d96867a1d6463693bae7574a3c1","first_computed_at":"2026-07-05T11:30:08.751856Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:30:08.751856Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jKvjrEQejbHHbyrm6wVMsizd4U+sTnwjDPPzt67OhtkqBoKKvbmeWZOq7qioHiCdsB79ZveRIoXUF1/28bfPBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:30:08.752389Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.00427","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:709a741bb2ca94b80decb171b8a028d401778eb2db824424e329f03e2a0461c1","sha256:8e66d08aeb04ce65ad7c5a16ddce1e5d82b9ebf2358791d2af59eee5d72fe2f4"],"state_sha256":"d783946800a567c250e8551ad6af9dffad1908d405471441f15e0054d56275d0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hbIeqFom1AeQ361+Svn1VULeijKe5qPJWW1Q1xeAhJ7dxomEtO1EJfrBm4afedqSFfSQ1CAun+7g8+aOFEwyDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-20T10:56:11.167996Z","bundle_sha256":"97232254d5d59e4ab51f2756849606644ea339ab9114d5ed003f3784182fab8b"}}