{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:CH336YN4XIWQF2URS2SC4KYEX4","short_pith_number":"pith:CH336YN4","canonical_record":{"source":{"id":"1705.09213","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-05-25T15:05:44Z","cross_cats_sorted":[],"title_canon_sha256":"888d8cee79bfe3d3e0aaf9356019c9ee2c0c40b9fa95cef3825f198cfcea95fb","abstract_canon_sha256":"74c7aa96a44cdd3a6252fe5a00c98b9963e6b9053503981f0f6b378cf9ba7015"},"schema_version":"1.0"},"canonical_sha256":"11f7bf61bcba2d02ea9196a42e2b04bf1b0a21f69e0d8c54359bb9662176cec8","source":{"kind":"arxiv","id":"1705.09213","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.09213","created_at":"2026-05-17T23:45:00Z"},{"alias_kind":"arxiv_version","alias_value":"1705.09213v5","created_at":"2026-05-17T23:45:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.09213","created_at":"2026-05-17T23:45:00Z"},{"alias_kind":"pith_short_12","alias_value":"CH336YN4XIWQ","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CH336YN4XIWQF2UR","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CH336YN4","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:CH336YN4XIWQF2URS2SC4KYEX4","target":"record","payload":{"canonical_record":{"source":{"id":"1705.09213","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-05-25T15:05:44Z","cross_cats_sorted":[],"title_canon_sha256":"888d8cee79bfe3d3e0aaf9356019c9ee2c0c40b9fa95cef3825f198cfcea95fb","abstract_canon_sha256":"74c7aa96a44cdd3a6252fe5a00c98b9963e6b9053503981f0f6b378cf9ba7015"},"schema_version":"1.0"},"canonical_sha256":"11f7bf61bcba2d02ea9196a42e2b04bf1b0a21f69e0d8c54359bb9662176cec8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:45:00.164877Z","signature_b64":"mf+x0AlB6lsIVgbZLDE53SaCuxq7XJ+R3qJvL7bflgZv8cJ+ZI1oAgAsqfkvhwgKb7YuQfDnLEUsHUf5Ld+7CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"11f7bf61bcba2d02ea9196a42e2b04bf1b0a21f69e0d8c54359bb9662176cec8","last_reissued_at":"2026-05-17T23:45:00.164436Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:45:00.164436Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.09213","source_version":5,"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-05-17T23:45:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oetS0jdl7t7zZPWFK/BGbfMH+r+hzOZ3+6HLESQIADG33KYJDvjWCUjlAV/uo3mQFoIMpsLTGJWc9l3aP6gfCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-19T23:40:29.713148Z"},"content_sha256":"4cf04742af9f112697133d5eef3ffa07e59bdf0c7b8832fd120692789409d505","schema_version":"1.0","event_id":"sha256:4cf04742af9f112697133d5eef3ffa07e59bdf0c7b8832fd120692789409d505"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:CH336YN4XIWQF2URS2SC4KYEX4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Graphical Methods in Device-Independent Quantum Cryptography","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Carl A. Miller, Neil J. Ross, Spencer Breiner","submitted_at":"2017-05-25T15:05:44Z","abstract_excerpt":"We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this approach will make some of the highly complex proofs in quantum cryptography more accessible, facilitate the discovery of new proofs, and enable automated proof verification. As an example of our framework, we reprove a previous result from device-independent quantum cryptography: any linear randomness expansion protocol can be converted into an unbounded randomness expansion protocol. We give a graphical proof of this"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.09213","kind":"arxiv","version":5},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-17T23:45:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AoIiy/Q9ypxVWQ0dcmoC09nmxb8Hx0utOIBL+VfYMgDBbu5fjgEKIOiTmk/3KwscCXV2aY9DT1DTRYC0OetbCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-19T23:40:29.713521Z"},"content_sha256":"467faa55f3e2c989d73ac9b536da361a4a41f4a40dc2084bf9f728ddb6d7dec2","schema_version":"1.0","event_id":"sha256:467faa55f3e2c989d73ac9b536da361a4a41f4a40dc2084bf9f728ddb6d7dec2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CH336YN4XIWQF2URS2SC4KYEX4/bundle.json","state_url":"https://pith.science/pith/CH336YN4XIWQF2URS2SC4KYEX4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CH336YN4XIWQF2URS2SC4KYEX4/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-06-19T23:40:29Z","links":{"resolver":"https://pith.science/pith/CH336YN4XIWQF2URS2SC4KYEX4","bundle":"https://pith.science/pith/CH336YN4XIWQF2URS2SC4KYEX4/bundle.json","state":"https://pith.science/pith/CH336YN4XIWQF2URS2SC4KYEX4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CH336YN4XIWQF2URS2SC4KYEX4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CH336YN4XIWQF2URS2SC4KYEX4","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":"74c7aa96a44cdd3a6252fe5a00c98b9963e6b9053503981f0f6b378cf9ba7015","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-05-25T15:05:44Z","title_canon_sha256":"888d8cee79bfe3d3e0aaf9356019c9ee2c0c40b9fa95cef3825f198cfcea95fb"},"schema_version":"1.0","source":{"id":"1705.09213","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.09213","created_at":"2026-05-17T23:45:00Z"},{"alias_kind":"arxiv_version","alias_value":"1705.09213v5","created_at":"2026-05-17T23:45:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.09213","created_at":"2026-05-17T23:45:00Z"},{"alias_kind":"pith_short_12","alias_value":"CH336YN4XIWQ","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CH336YN4XIWQF2UR","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CH336YN4","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:467faa55f3e2c989d73ac9b536da361a4a41f4a40dc2084bf9f728ddb6d7dec2","target":"graph","created_at":"2026-05-17T23:45:00Z","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"},"paper":{"abstract_excerpt":"We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this approach will make some of the highly complex proofs in quantum cryptography more accessible, facilitate the discovery of new proofs, and enable automated proof verification. As an example of our framework, we reprove a previous result from device-independent quantum cryptography: any linear randomness expansion protocol can be converted into an unbounded randomness expansion protocol. We give a graphical proof of this","authors_text":"Carl A. Miller, Neil J. Ross, Spencer Breiner","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-05-25T15:05:44Z","title":"Graphical Methods in Device-Independent Quantum Cryptography"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.09213","kind":"arxiv","version":5},"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:4cf04742af9f112697133d5eef3ffa07e59bdf0c7b8832fd120692789409d505","target":"record","created_at":"2026-05-17T23:45:00Z","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":"74c7aa96a44cdd3a6252fe5a00c98b9963e6b9053503981f0f6b378cf9ba7015","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2017-05-25T15:05:44Z","title_canon_sha256":"888d8cee79bfe3d3e0aaf9356019c9ee2c0c40b9fa95cef3825f198cfcea95fb"},"schema_version":"1.0","source":{"id":"1705.09213","kind":"arxiv","version":5}},"canonical_sha256":"11f7bf61bcba2d02ea9196a42e2b04bf1b0a21f69e0d8c54359bb9662176cec8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"11f7bf61bcba2d02ea9196a42e2b04bf1b0a21f69e0d8c54359bb9662176cec8","first_computed_at":"2026-05-17T23:45:00.164436Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:00.164436Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mf+x0AlB6lsIVgbZLDE53SaCuxq7XJ+R3qJvL7bflgZv8cJ+ZI1oAgAsqfkvhwgKb7YuQfDnLEUsHUf5Ld+7CA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:00.164877Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.09213","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4cf04742af9f112697133d5eef3ffa07e59bdf0c7b8832fd120692789409d505","sha256:467faa55f3e2c989d73ac9b536da361a4a41f4a40dc2084bf9f728ddb6d7dec2"],"state_sha256":"d0d269e77624448b7f347b6af794b9f98e3c183a5da5cb3de1554d0e0cde6492"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kKiNy5tG0HbQIFDiKNaLufN4QgYZTBnRIqOsk/o1qWb40oocpGjcygw1tm+fNXKrxkTpPDHqqTyfkuKT+DgFBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-19T23:40:29.715413Z","bundle_sha256":"7c6d2708dd28f18d44baaa2b6500c05c3b3704e5c1224c8b2cc8cedb1774f422"}}