{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:E3XEJSBRZF6AWIUNMDEJ2BGDV4","short_pith_number":"pith:E3XEJSBR","canonical_record":{"source":{"id":"2205.00661","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2022-05-02T05:37:18Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"a5c53e2cc39d0182dc2707a03f7e88d8d0e8517006da45612ef93dd8e203f97d","abstract_canon_sha256":"2d980639ce45f4437d3f645c1e2e3aeef11d49fba942da94df8170083502e76b"},"schema_version":"1.0"},"canonical_sha256":"26ee44c831c97c0b228d60c89d04c3af3b06d5af04dec5206e05969c4899e155","source":{"kind":"arxiv","id":"2205.00661","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.00661","created_at":"2026-07-05T04:19:15Z"},{"alias_kind":"arxiv_version","alias_value":"2205.00661v1","created_at":"2026-07-05T04:19:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.00661","created_at":"2026-07-05T04:19:15Z"},{"alias_kind":"pith_short_12","alias_value":"E3XEJSBRZF6A","created_at":"2026-07-05T04:19:15Z"},{"alias_kind":"pith_short_16","alias_value":"E3XEJSBRZF6AWIUN","created_at":"2026-07-05T04:19:15Z"},{"alias_kind":"pith_short_8","alias_value":"E3XEJSBR","created_at":"2026-07-05T04:19:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:E3XEJSBRZF6AWIUNMDEJ2BGDV4","target":"record","payload":{"canonical_record":{"source":{"id":"2205.00661","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2022-05-02T05:37:18Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"a5c53e2cc39d0182dc2707a03f7e88d8d0e8517006da45612ef93dd8e203f97d","abstract_canon_sha256":"2d980639ce45f4437d3f645c1e2e3aeef11d49fba942da94df8170083502e76b"},"schema_version":"1.0"},"canonical_sha256":"26ee44c831c97c0b228d60c89d04c3af3b06d5af04dec5206e05969c4899e155","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:19:15.265944Z","signature_b64":"MmZIbe9Aa0LsuEi5AeIcngRrQXyLt+llQNdLMAgLtURE4zlkd0Gch7QcxAHOZGU9LSh/6RVPgeCkg2vXRAobCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26ee44c831c97c0b228d60c89d04c3af3b06d5af04dec5206e05969c4899e155","last_reissued_at":"2026-07-05T04:19:15.265505Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:19:15.265505Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.00661","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-05T04:19:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R+ayoSquXQ0IoMDtov2EbucPNVgESRjttz6S49GVKqZ0nEl4Gb5BY20lba9rE+jehezEd/3b/q32NQbU93sGAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T11:18:34.329095Z"},"content_sha256":"f2743fa9a9927ac6ee807596a0500489f2ae17bd4feb7173b05240c525b2b28c","schema_version":"1.0","event_id":"sha256:f2743fa9a9927ac6ee807596a0500489f2ae17bd4feb7173b05240c525b2b28c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:E3XEJSBRZF6AWIUNMDEJ2BGDV4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Giallar: Push-Button Verification for the Qiskit Quantum Compiler","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.PL","authors_text":"Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Jianan Yao, Ronghui Gu, Runzhou Tao, Xupeng Li, Yunong Shi","submitted_at":"2022-05-02T05:37:18Z","abstract_excerpt":"This paper presents Giallar, a fully-automated verification toolkit for quantum compilers. Giallar requires no manual specifications, invariants, or proofs, and can automatically verify that a compiler pass preserves the semantics of quantum circuits. To deal with unbounded loops in quantum compilers, Giallar abstracts three loop templates, whose loop invariants can be automatically inferred. To efficiently check the equivalence of arbitrary input and output circuits that have complicated matrix semantics representation, Giallar introduces a symbolic representation for quantum circuits and a s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.00661","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/2205.00661/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-05T04:19:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+e08oTls9X95YRLBHiN84+p4N6a7TGI/EevxBdi7Za9r6weqDXVtNKhJOeHMkSP1mFT7FAQDzVErmlDSaLFXCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T11:18:34.329596Z"},"content_sha256":"5ba2f87ea29195b7e503031ed062bf2ecd313a23388ad71bbd0abaa2e2618bd1","schema_version":"1.0","event_id":"sha256:5ba2f87ea29195b7e503031ed062bf2ecd313a23388ad71bbd0abaa2e2618bd1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E3XEJSBRZF6AWIUNMDEJ2BGDV4/bundle.json","state_url":"https://pith.science/pith/E3XEJSBRZF6AWIUNMDEJ2BGDV4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E3XEJSBRZF6AWIUNMDEJ2BGDV4/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-04T11:18:34Z","links":{"resolver":"https://pith.science/pith/E3XEJSBRZF6AWIUNMDEJ2BGDV4","bundle":"https://pith.science/pith/E3XEJSBRZF6AWIUNMDEJ2BGDV4/bundle.json","state":"https://pith.science/pith/E3XEJSBRZF6AWIUNMDEJ2BGDV4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E3XEJSBRZF6AWIUNMDEJ2BGDV4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:E3XEJSBRZF6AWIUNMDEJ2BGDV4","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":"2d980639ce45f4437d3f645c1e2e3aeef11d49fba942da94df8170083502e76b","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2022-05-02T05:37:18Z","title_canon_sha256":"a5c53e2cc39d0182dc2707a03f7e88d8d0e8517006da45612ef93dd8e203f97d"},"schema_version":"1.0","source":{"id":"2205.00661","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.00661","created_at":"2026-07-05T04:19:15Z"},{"alias_kind":"arxiv_version","alias_value":"2205.00661v1","created_at":"2026-07-05T04:19:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.00661","created_at":"2026-07-05T04:19:15Z"},{"alias_kind":"pith_short_12","alias_value":"E3XEJSBRZF6A","created_at":"2026-07-05T04:19:15Z"},{"alias_kind":"pith_short_16","alias_value":"E3XEJSBRZF6AWIUN","created_at":"2026-07-05T04:19:15Z"},{"alias_kind":"pith_short_8","alias_value":"E3XEJSBR","created_at":"2026-07-05T04:19:15Z"}],"graph_snapshots":[{"event_id":"sha256:5ba2f87ea29195b7e503031ed062bf2ecd313a23388ad71bbd0abaa2e2618bd1","target":"graph","created_at":"2026-07-05T04:19:15Z","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/2205.00661/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents Giallar, a fully-automated verification toolkit for quantum compilers. Giallar requires no manual specifications, invariants, or proofs, and can automatically verify that a compiler pass preserves the semantics of quantum circuits. To deal with unbounded loops in quantum compilers, Giallar abstracts three loop templates, whose loop invariants can be automatically inferred. To efficiently check the equivalence of arbitrary input and output circuits that have complicated matrix semantics representation, Giallar introduces a symbolic representation for quantum circuits and a s","authors_text":"Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Jianan Yao, Ronghui Gu, Runzhou Tao, Xupeng Li, Yunong Shi","cross_cats":["quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2022-05-02T05:37:18Z","title":"Giallar: Push-Button Verification for the Qiskit Quantum Compiler"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.00661","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:f2743fa9a9927ac6ee807596a0500489f2ae17bd4feb7173b05240c525b2b28c","target":"record","created_at":"2026-07-05T04:19:15Z","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":"2d980639ce45f4437d3f645c1e2e3aeef11d49fba942da94df8170083502e76b","cross_cats_sorted":["quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2022-05-02T05:37:18Z","title_canon_sha256":"a5c53e2cc39d0182dc2707a03f7e88d8d0e8517006da45612ef93dd8e203f97d"},"schema_version":"1.0","source":{"id":"2205.00661","kind":"arxiv","version":1}},"canonical_sha256":"26ee44c831c97c0b228d60c89d04c3af3b06d5af04dec5206e05969c4899e155","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26ee44c831c97c0b228d60c89d04c3af3b06d5af04dec5206e05969c4899e155","first_computed_at":"2026-07-05T04:19:15.265505Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:19:15.265505Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MmZIbe9Aa0LsuEi5AeIcngRrQXyLt+llQNdLMAgLtURE4zlkd0Gch7QcxAHOZGU9LSh/6RVPgeCkg2vXRAobCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:19:15.265944Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.00661","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f2743fa9a9927ac6ee807596a0500489f2ae17bd4feb7173b05240c525b2b28c","sha256:5ba2f87ea29195b7e503031ed062bf2ecd313a23388ad71bbd0abaa2e2618bd1"],"state_sha256":"f72e43262f3611b75670d7888ef272bdff626e9a27a58f290ce584784ba04fde"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fQ9CtdZkn6v99mmo5c8FRnr3SSTtFiBqs32XAaqx+70INEJ36kzlkgSWmH5i57Xi7Jp/XaS5kkCbY94eP8nNBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T11:18:34.333083Z","bundle_sha256":"cd3c3637e1192e2c18b49ff41cead7fe4d58a72ec6cc02168572c42e17c33d5a"}}