{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:N2HQJNOCTTT32HXGHKKOUKJQQ2","short_pith_number":"pith:N2HQJNOC","schema_version":"1.0","canonical_sha256":"6e8f04b5c29ce7bd1ee63a94ea2930868a37ff7e6699e23303f9453a0f8f42bd","source":{"kind":"arxiv","id":"1802.03188","version":2},"attestation_state":"computed","paper":{"title":"Quantum Relational Hoare Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Dominique Unruh","submitted_at":"2018-02-09T10:21:53Z","abstract_excerpt":"We present a logic for reasoning about pairs of interactive quantum programs - quantum relational Hoare logic (qRHL). This logic follows the spirit of probabilistic relational Hoare logic (Barthe et al. 2009) and allows us to formulate how the outputs of two quantum programs relate given the relationship of their inputs. Probabilistic RHL was used extensively for computer-verified security proofs of classical cryptographic protocols. Since pRHL is not suitable for analyzing quantum cryptography, we present qRHL as a replacement, suitable for the security analysis of post-quantum cryptography a"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1802.03188","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2018-02-09T10:21:53Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"c17071dac62fad5c531eff3ede54c1a8968aa641a3ce4740520dd8e91c3cf030","abstract_canon_sha256":"b7d4daf5eb45f81985cc5d36b723d1115815a216cf2b0365e4cb13095ffccfde"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:56:25.181223Z","signature_b64":"MhIlZr3KZXDdX+M0x2FbeJoBp8VaEpl6Y82cm8a796i+bqRBqwH1rbCWVyOCG2R55Y+OeBP5LGC4I60KdR/aAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e8f04b5c29ce7bd1ee63a94ea2930868a37ff7e6699e23303f9453a0f8f42bd","last_reissued_at":"2026-05-17T23:56:25.180844Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:56:25.180844Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Quantum Relational Hoare Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Dominique Unruh","submitted_at":"2018-02-09T10:21:53Z","abstract_excerpt":"We present a logic for reasoning about pairs of interactive quantum programs - quantum relational Hoare logic (qRHL). This logic follows the spirit of probabilistic relational Hoare logic (Barthe et al. 2009) and allows us to formulate how the outputs of two quantum programs relate given the relationship of their inputs. Probabilistic RHL was used extensively for computer-verified security proofs of classical cryptographic protocols. Since pRHL is not suitable for analyzing quantum cryptography, we present qRHL as a replacement, suitable for the security analysis of post-quantum cryptography a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.03188","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":""},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1802.03188","created_at":"2026-05-17T23:56:25.180905+00:00"},{"alias_kind":"arxiv_version","alias_value":"1802.03188v2","created_at":"2026-05-17T23:56:25.180905+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.03188","created_at":"2026-05-17T23:56:25.180905+00:00"},{"alias_kind":"pith_short_12","alias_value":"N2HQJNOCTTT3","created_at":"2026-05-18T12:32:40.477152+00:00"},{"alias_kind":"pith_short_16","alias_value":"N2HQJNOCTTT32HXG","created_at":"2026-05-18T12:32:40.477152+00:00"},{"alias_kind":"pith_short_8","alias_value":"N2HQJNOC","created_at":"2026-05-18T12:32:40.477152+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/N2HQJNOCTTT32HXGHKKOUKJQQ2","json":"https://pith.science/pith/N2HQJNOCTTT32HXGHKKOUKJQQ2.json","graph_json":"https://pith.science/api/pith-number/N2HQJNOCTTT32HXGHKKOUKJQQ2/graph.json","events_json":"https://pith.science/api/pith-number/N2HQJNOCTTT32HXGHKKOUKJQQ2/events.json","paper":"https://pith.science/paper/N2HQJNOC"},"agent_actions":{"view_html":"https://pith.science/pith/N2HQJNOCTTT32HXGHKKOUKJQQ2","download_json":"https://pith.science/pith/N2HQJNOCTTT32HXGHKKOUKJQQ2.json","view_paper":"https://pith.science/paper/N2HQJNOC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1802.03188&json=true","fetch_graph":"https://pith.science/api/pith-number/N2HQJNOCTTT32HXGHKKOUKJQQ2/graph.json","fetch_events":"https://pith.science/api/pith-number/N2HQJNOCTTT32HXGHKKOUKJQQ2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N2HQJNOCTTT32HXGHKKOUKJQQ2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N2HQJNOCTTT32HXGHKKOUKJQQ2/action/storage_attestation","attest_author":"https://pith.science/pith/N2HQJNOCTTT32HXGHKKOUKJQQ2/action/author_attestation","sign_citation":"https://pith.science/pith/N2HQJNOCTTT32HXGHKKOUKJQQ2/action/citation_signature","submit_replication":"https://pith.science/pith/N2HQJNOCTTT32HXGHKKOUKJQQ2/action/replication_record"}},"created_at":"2026-05-17T23:56:25.180905+00:00","updated_at":"2026-05-17T23:56:25.180905+00:00"}