{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:RCE4HMALMRRJDFEGMMHRCJDVWA","short_pith_number":"pith:RCE4HMAL","schema_version":"1.0","canonical_sha256":"8889c3b00b6462919486630f112475b01219c345c9adb4c01d10a81566cbe5d9","source":{"kind":"arxiv","id":"1708.06312","version":1},"attestation_state":"computed","paper":{"title":"Verifying Quantum Programs: From Quipper to QPMC","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Carla Piazza, Leonardo Taglialegne, Linda Anticoli, Paolo Zuliani","submitted_at":"2017-08-21T16:26:23Z","abstract_excerpt":"In this paper we present a translation from the quantum programming language Quipper to the QPMC model checker, with the main aim of verifying Quipper programs. Quipper is an embedded functional programming language for quantum computation. It is above all a circuit description language, for this reason it uses the vector state formalism and its main purpose is to make circuit implementation easy providing high level operations for circuit manipulation. Quipper provides both an high-level circuit building interface and a simulator. QPMC is a model checker for quantum protocols based on the den"},"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":"1708.06312","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2017-08-21T16:26:23Z","cross_cats_sorted":[],"title_canon_sha256":"9ab307e3471edfe1d2e52bd6957d7f31ff813e04aa4808a5741464999ad3ef3a","abstract_canon_sha256":"136e501292ac75ae0293da7b08dfffe29067a11d82b4e830e0e37553d0290ae9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:37:42.637302Z","signature_b64":"MUrSVNyT+OTXBvbs5Wqdl0G954Dhvi2trcViEGiQfYt8+/yEqz8qzT1FT2B6ezjRzYAjKb8wv0pBYyTX4Cb7CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8889c3b00b6462919486630f112475b01219c345c9adb4c01d10a81566cbe5d9","last_reissued_at":"2026-05-18T00:37:42.636704Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:37:42.636704Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Verifying Quantum Programs: From Quipper to QPMC","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Carla Piazza, Leonardo Taglialegne, Linda Anticoli, Paolo Zuliani","submitted_at":"2017-08-21T16:26:23Z","abstract_excerpt":"In this paper we present a translation from the quantum programming language Quipper to the QPMC model checker, with the main aim of verifying Quipper programs. Quipper is an embedded functional programming language for quantum computation. It is above all a circuit description language, for this reason it uses the vector state formalism and its main purpose is to make circuit implementation easy providing high level operations for circuit manipulation. Quipper provides both an high-level circuit building interface and a simulator. QPMC is a model checker for quantum protocols based on the den"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.06312","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":""},"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":"1708.06312","created_at":"2026-05-18T00:37:42.636811+00:00"},{"alias_kind":"arxiv_version","alias_value":"1708.06312v1","created_at":"2026-05-18T00:37:42.636811+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.06312","created_at":"2026-05-18T00:37:42.636811+00:00"},{"alias_kind":"pith_short_12","alias_value":"RCE4HMALMRRJ","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_16","alias_value":"RCE4HMALMRRJDFEG","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_8","alias_value":"RCE4HMAL","created_at":"2026-05-18T12:31:39.905425+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/RCE4HMALMRRJDFEGMMHRCJDVWA","json":"https://pith.science/pith/RCE4HMALMRRJDFEGMMHRCJDVWA.json","graph_json":"https://pith.science/api/pith-number/RCE4HMALMRRJDFEGMMHRCJDVWA/graph.json","events_json":"https://pith.science/api/pith-number/RCE4HMALMRRJDFEGMMHRCJDVWA/events.json","paper":"https://pith.science/paper/RCE4HMAL"},"agent_actions":{"view_html":"https://pith.science/pith/RCE4HMALMRRJDFEGMMHRCJDVWA","download_json":"https://pith.science/pith/RCE4HMALMRRJDFEGMMHRCJDVWA.json","view_paper":"https://pith.science/paper/RCE4HMAL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1708.06312&json=true","fetch_graph":"https://pith.science/api/pith-number/RCE4HMALMRRJDFEGMMHRCJDVWA/graph.json","fetch_events":"https://pith.science/api/pith-number/RCE4HMALMRRJDFEGMMHRCJDVWA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RCE4HMALMRRJDFEGMMHRCJDVWA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RCE4HMALMRRJDFEGMMHRCJDVWA/action/storage_attestation","attest_author":"https://pith.science/pith/RCE4HMALMRRJDFEGMMHRCJDVWA/action/author_attestation","sign_citation":"https://pith.science/pith/RCE4HMALMRRJDFEGMMHRCJDVWA/action/citation_signature","submit_replication":"https://pith.science/pith/RCE4HMALMRRJDFEGMMHRCJDVWA/action/replication_record"}},"created_at":"2026-05-18T00:37:42.636811+00:00","updated_at":"2026-05-18T00:37:42.636811+00:00"}