{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:OX6Z4ETYJKOA6K5TCXT4IFOPRS","short_pith_number":"pith:OX6Z4ETY","canonical_record":{"source":{"id":"2607.23752","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-26T16:54:31Z","cross_cats_sorted":[],"title_canon_sha256":"8c8a2d4cf6544a55d5c56c581bfb36dba6246e1099407ed50245160e68a05849","abstract_canon_sha256":"5d1049c455482bf910fda9c3cca487041a3f1f2272cb6f88935375b557aa52e0"},"schema_version":"1.0"},"canonical_sha256":"75fd9e12784a9c0f2bb315e7c415cf8ca12a2317c610cb6c321f877388b67958","source":{"kind":"arxiv","id":"2607.23752","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.23752","created_at":"2026-07-28T01:23:09Z"},{"alias_kind":"arxiv_version","alias_value":"2607.23752v1","created_at":"2026-07-28T01:23:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.23752","created_at":"2026-07-28T01:23:09Z"},{"alias_kind":"pith_short_12","alias_value":"OX6Z4ETYJKOA","created_at":"2026-07-28T01:23:09Z"},{"alias_kind":"pith_short_16","alias_value":"OX6Z4ETYJKOA6K5T","created_at":"2026-07-28T01:23:09Z"},{"alias_kind":"pith_short_8","alias_value":"OX6Z4ETY","created_at":"2026-07-28T01:23:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:OX6Z4ETYJKOA6K5TCXT4IFOPRS","target":"record","payload":{"canonical_record":{"source":{"id":"2607.23752","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-26T16:54:31Z","cross_cats_sorted":[],"title_canon_sha256":"8c8a2d4cf6544a55d5c56c581bfb36dba6246e1099407ed50245160e68a05849","abstract_canon_sha256":"5d1049c455482bf910fda9c3cca487041a3f1f2272cb6f88935375b557aa52e0"},"schema_version":"1.0"},"canonical_sha256":"75fd9e12784a9c0f2bb315e7c415cf8ca12a2317c610cb6c321f877388b67958","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-28T01:23:09.427371Z","signature_b64":"jDgUo3VDAhcjlh8jgnFAimnF1Jj3UsUSe78HDXRc4YiprU2oXUv6efeW16L3RkRQSeasgaba20Et9AxofwC7AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"75fd9e12784a9c0f2bb315e7c415cf8ca12a2317c610cb6c321f877388b67958","last_reissued_at":"2026-07-28T01:23:09.426528Z","signature_status":"signed_v1","first_computed_at":"2026-07-28T01:23:09.426528Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.23752","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-28T01:23:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wSvsO0yGCJ/xqLxi9BvJPoxarp0WX+gXKFMYWWkCIdXVqn3AvsBj3eD5ZwXOimm7im305v3cHu9J5laBkTKtCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T20:46:01.159893Z"},"content_sha256":"2f73cf3bab86e2537430a5699e8b0d04a4c6b557260e31ad1098143aecb8550a","schema_version":"1.0","event_id":"sha256:2f73cf3bab86e2537430a5699e8b0d04a4c6b557260e31ad1098143aecb8550a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:OX6Z4ETYJKOA6K5TCXT4IFOPRS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Alexander Hicks, Arman Kolozyan, Stefanos Chaliasos, Tom Sorger","submitted_at":"2026-07-26T16:54:31Z","abstract_excerpt":"Zero-knowledge proofs (ZKPs) have become a core technology for privacy and verifiable computing. They are used to secure blockchains that handle billions of dollars and identity applications dealing with sensitive personal data. However, ZKP systems are complex, and subtle implementation errors can completely break their guarantees, letting attackers forge money or false proofs of identity. Researchers and practitioners have therefore developed a growing set of bug detection and formal verification methods to secure these systems. Yet their real-world effectiveness and adoption remain unclear."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.23752","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/2607.23752/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-28T01:23:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ju//q5TOI+1Pdsy8sfBJZFJ7p+NHUjKwye0h5Re++SjwsrR4uAlQVFridoRy9caskt+t+kVmxDtlYIATNkQ+Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T20:46:01.160481Z"},"content_sha256":"2493f27d46ebc3faef0e4c8f852828b9b3534b172b8222aa56eded61ff2ca2b7","schema_version":"1.0","event_id":"sha256:2493f27d46ebc3faef0e4c8f852828b9b3534b172b8222aa56eded61ff2ca2b7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OX6Z4ETYJKOA6K5TCXT4IFOPRS/bundle.json","state_url":"https://pith.science/pith/OX6Z4ETYJKOA6K5TCXT4IFOPRS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OX6Z4ETYJKOA6K5TCXT4IFOPRS/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-08T20:46:01Z","links":{"resolver":"https://pith.science/pith/OX6Z4ETYJKOA6K5TCXT4IFOPRS","bundle":"https://pith.science/pith/OX6Z4ETYJKOA6K5TCXT4IFOPRS/bundle.json","state":"https://pith.science/pith/OX6Z4ETYJKOA6K5TCXT4IFOPRS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OX6Z4ETYJKOA6K5TCXT4IFOPRS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:OX6Z4ETYJKOA6K5TCXT4IFOPRS","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":"5d1049c455482bf910fda9c3cca487041a3f1f2272cb6f88935375b557aa52e0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-26T16:54:31Z","title_canon_sha256":"8c8a2d4cf6544a55d5c56c581bfb36dba6246e1099407ed50245160e68a05849"},"schema_version":"1.0","source":{"id":"2607.23752","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.23752","created_at":"2026-07-28T01:23:09Z"},{"alias_kind":"arxiv_version","alias_value":"2607.23752v1","created_at":"2026-07-28T01:23:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.23752","created_at":"2026-07-28T01:23:09Z"},{"alias_kind":"pith_short_12","alias_value":"OX6Z4ETYJKOA","created_at":"2026-07-28T01:23:09Z"},{"alias_kind":"pith_short_16","alias_value":"OX6Z4ETYJKOA6K5T","created_at":"2026-07-28T01:23:09Z"},{"alias_kind":"pith_short_8","alias_value":"OX6Z4ETY","created_at":"2026-07-28T01:23:09Z"}],"graph_snapshots":[{"event_id":"sha256:2493f27d46ebc3faef0e4c8f852828b9b3534b172b8222aa56eded61ff2ca2b7","target":"graph","created_at":"2026-07-28T01:23:09Z","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/2607.23752/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Zero-knowledge proofs (ZKPs) have become a core technology for privacy and verifiable computing. They are used to secure blockchains that handle billions of dollars and identity applications dealing with sensitive personal data. However, ZKP systems are complex, and subtle implementation errors can completely break their guarantees, letting attackers forge money or false proofs of identity. Researchers and practitioners have therefore developed a growing set of bug detection and formal verification methods to secure these systems. Yet their real-world effectiveness and adoption remain unclear.","authors_text":"Alexander Hicks, Arman Kolozyan, Stefanos Chaliasos, Tom Sorger","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.23752","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:2f73cf3bab86e2537430a5699e8b0d04a4c6b557260e31ad1098143aecb8550a","target":"record","created_at":"2026-07-28T01:23:09Z","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":"5d1049c455482bf910fda9c3cca487041a3f1f2272cb6f88935375b557aa52e0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2026-07-26T16:54:31Z","title_canon_sha256":"8c8a2d4cf6544a55d5c56c581bfb36dba6246e1099407ed50245160e68a05849"},"schema_version":"1.0","source":{"id":"2607.23752","kind":"arxiv","version":1}},"canonical_sha256":"75fd9e12784a9c0f2bb315e7c415cf8ca12a2317c610cb6c321f877388b67958","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"75fd9e12784a9c0f2bb315e7c415cf8ca12a2317c610cb6c321f877388b67958","first_computed_at":"2026-07-28T01:23:09.426528Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-28T01:23:09.426528Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jDgUo3VDAhcjlh8jgnFAimnF1Jj3UsUSe78HDXRc4YiprU2oXUv6efeW16L3RkRQSeasgaba20Et9AxofwC7AQ==","signature_status":"signed_v1","signed_at":"2026-07-28T01:23:09.427371Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.23752","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2f73cf3bab86e2537430a5699e8b0d04a4c6b557260e31ad1098143aecb8550a","sha256:2493f27d46ebc3faef0e4c8f852828b9b3534b172b8222aa56eded61ff2ca2b7"],"state_sha256":"686e79e9a41f23b5d3d3259c1973702731c6fbc68016c7a30580dd58721514df"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bESbWTGIjHGLt1z1OQC/FbCOTgPdkeDPkQqUlwwajFzHx0m8dUr8mA2me2aeP+lxaqgdoGV4wfgn4Sq9v5sQDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T20:46:01.165704Z","bundle_sha256":"c456b9c50f69024bf17ab446349af736b146fa7a94f7f7001662b7b00214adb7"}}