{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:E2T5TQQK6SJLYKU3OJU5KKGNR3","short_pith_number":"pith:E2T5TQQK","canonical_record":{"source":{"id":"2408.14539","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-08-26T18:00:03Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"fa847bb4fb429d5331b4f589a72f1eada7e4e9b0f8764fd44e05c05f43f2ecc3","abstract_canon_sha256":"1bdb985bea5dce7ca9c10c51296603032b41ad98d5510825bdd19ac6553fdd24"},"schema_version":"1.0"},"canonical_sha256":"26a7d9c20af492bc2a9b7269d528cd8ee4238796440cc0cecf52043685fd4d44","source":{"kind":"arxiv","id":"2408.14539","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.14539","created_at":"2026-07-05T08:59:34Z"},{"alias_kind":"arxiv_version","alias_value":"2408.14539v1","created_at":"2026-07-05T08:59:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.14539","created_at":"2026-07-05T08:59:34Z"},{"alias_kind":"pith_short_12","alias_value":"E2T5TQQK6SJL","created_at":"2026-07-05T08:59:34Z"},{"alias_kind":"pith_short_16","alias_value":"E2T5TQQK6SJLYKU3","created_at":"2026-07-05T08:59:34Z"},{"alias_kind":"pith_short_8","alias_value":"E2T5TQQK","created_at":"2026-07-05T08:59:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:E2T5TQQK6SJLYKU3OJU5KKGNR3","target":"record","payload":{"canonical_record":{"source":{"id":"2408.14539","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-08-26T18:00:03Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"fa847bb4fb429d5331b4f589a72f1eada7e4e9b0f8764fd44e05c05f43f2ecc3","abstract_canon_sha256":"1bdb985bea5dce7ca9c10c51296603032b41ad98d5510825bdd19ac6553fdd24"},"schema_version":"1.0"},"canonical_sha256":"26a7d9c20af492bc2a9b7269d528cd8ee4238796440cc0cecf52043685fd4d44","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:59:34.846994Z","signature_b64":"DfMY4EgFwVBVg1ps/rLkbvnqvMSHCau5U2ZyokdaTHIpEHh7HcH33sPD7IDM+fdR6gIz4aThWPWH/BhbMKmJDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26a7d9c20af492bc2a9b7269d528cd8ee4238796440cc0cecf52043685fd4d44","last_reissued_at":"2026-07-05T08:59:34.846652Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:59:34.846652Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.14539","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-05T08:59:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uC/TGm7zjQB45zyV4VI5eXc53oe1ylzCrTiFpj8aMacov9xAJrvw4UXHDzOSuaOPxD85/wPfdpzI2MrMq6CSDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T21:37:27.071381Z"},"content_sha256":"290e2b45aa2bdc360b2cb8f53ee1cbc8bb6136ef981a56c15927f39f4c4b796b","schema_version":"1.0","event_id":"sha256:290e2b45aa2bdc360b2cb8f53ee1cbc8bb6136ef981a56c15927f39f4c4b796b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:E2T5TQQK6SJLYKU3OJU5KKGNR3","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Towards Equivalence Checking of Classical Circuits Using Quantum Computing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.ET"],"primary_cat":"quant-ph","authors_text":"Adrian Osterwind, Domenik Helms, Nils Quetschlich, Robert Wille, Tobias Forster","submitted_at":"2024-08-26T18:00:03Z","abstract_excerpt":"Quantum computers and quantum algorithms have made great strides in the last few years and promise improvements over classical computing for specific tasks. Although the current hardware is not yet ready to make real impacts at the time of writing, this will change over the coming years. To be ready for this, it is important to share knowledge of quantum computing in application domains where it is not yet represented. One such application is the verification of classical circuits, specifically, equivalence checking. Although this problem has been investigated over decades in an effort to over"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.14539","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/2408.14539/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-05T08:59:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rCMXRDR0Xc2Wbtdoty4DoRZioP8HaucOczDxsnI+QWQVrhSEtcFdztsEwTu0Q1HJjj7AvxdO1wsBRn5JKI+gAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T21:37:27.071879Z"},"content_sha256":"91e54d08bffc1606af5d1e78ee5546bb5e02691154e56f62dc8ca5233881c108","schema_version":"1.0","event_id":"sha256:91e54d08bffc1606af5d1e78ee5546bb5e02691154e56f62dc8ca5233881c108"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/E2T5TQQK6SJLYKU3OJU5KKGNR3/bundle.json","state_url":"https://pith.science/pith/E2T5TQQK6SJLYKU3OJU5KKGNR3/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/E2T5TQQK6SJLYKU3OJU5KKGNR3/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-23T21:37:27Z","links":{"resolver":"https://pith.science/pith/E2T5TQQK6SJLYKU3OJU5KKGNR3","bundle":"https://pith.science/pith/E2T5TQQK6SJLYKU3OJU5KKGNR3/bundle.json","state":"https://pith.science/pith/E2T5TQQK6SJLYKU3OJU5KKGNR3/state.json","well_known_bundle":"https://pith.science/.well-known/pith/E2T5TQQK6SJLYKU3OJU5KKGNR3/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:E2T5TQQK6SJLYKU3OJU5KKGNR3","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":"1bdb985bea5dce7ca9c10c51296603032b41ad98d5510825bdd19ac6553fdd24","cross_cats_sorted":["cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-08-26T18:00:03Z","title_canon_sha256":"fa847bb4fb429d5331b4f589a72f1eada7e4e9b0f8764fd44e05c05f43f2ecc3"},"schema_version":"1.0","source":{"id":"2408.14539","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.14539","created_at":"2026-07-05T08:59:34Z"},{"alias_kind":"arxiv_version","alias_value":"2408.14539v1","created_at":"2026-07-05T08:59:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.14539","created_at":"2026-07-05T08:59:34Z"},{"alias_kind":"pith_short_12","alias_value":"E2T5TQQK6SJL","created_at":"2026-07-05T08:59:34Z"},{"alias_kind":"pith_short_16","alias_value":"E2T5TQQK6SJLYKU3","created_at":"2026-07-05T08:59:34Z"},{"alias_kind":"pith_short_8","alias_value":"E2T5TQQK","created_at":"2026-07-05T08:59:34Z"}],"graph_snapshots":[{"event_id":"sha256:91e54d08bffc1606af5d1e78ee5546bb5e02691154e56f62dc8ca5233881c108","target":"graph","created_at":"2026-07-05T08:59:34Z","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/2408.14539/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Quantum computers and quantum algorithms have made great strides in the last few years and promise improvements over classical computing for specific tasks. Although the current hardware is not yet ready to make real impacts at the time of writing, this will change over the coming years. To be ready for this, it is important to share knowledge of quantum computing in application domains where it is not yet represented. One such application is the verification of classical circuits, specifically, equivalence checking. Although this problem has been investigated over decades in an effort to over","authors_text":"Adrian Osterwind, Domenik Helms, Nils Quetschlich, Robert Wille, Tobias Forster","cross_cats":["cs.ET"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-08-26T18:00:03Z","title":"Towards Equivalence Checking of Classical Circuits Using Quantum Computing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.14539","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:290e2b45aa2bdc360b2cb8f53ee1cbc8bb6136ef981a56c15927f39f4c4b796b","target":"record","created_at":"2026-07-05T08:59:34Z","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":"1bdb985bea5dce7ca9c10c51296603032b41ad98d5510825bdd19ac6553fdd24","cross_cats_sorted":["cs.ET"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-08-26T18:00:03Z","title_canon_sha256":"fa847bb4fb429d5331b4f589a72f1eada7e4e9b0f8764fd44e05c05f43f2ecc3"},"schema_version":"1.0","source":{"id":"2408.14539","kind":"arxiv","version":1}},"canonical_sha256":"26a7d9c20af492bc2a9b7269d528cd8ee4238796440cc0cecf52043685fd4d44","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"26a7d9c20af492bc2a9b7269d528cd8ee4238796440cc0cecf52043685fd4d44","first_computed_at":"2026-07-05T08:59:34.846652Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:59:34.846652Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DfMY4EgFwVBVg1ps/rLkbvnqvMSHCau5U2ZyokdaTHIpEHh7HcH33sPD7IDM+fdR6gIz4aThWPWH/BhbMKmJDw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:59:34.846994Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.14539","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:290e2b45aa2bdc360b2cb8f53ee1cbc8bb6136ef981a56c15927f39f4c4b796b","sha256:91e54d08bffc1606af5d1e78ee5546bb5e02691154e56f62dc8ca5233881c108"],"state_sha256":"0f343a59c020b4b47f6fa3624a8a2162eff7129c64a7deae0927ee9e2f249aa9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CWOg0AXfx2Cmz56qkep2sOaBRm1vqgCxY6+q5JUdvcKu6CGUQSNs+lwPC8MOJVO8bsCU3QFQPVunkpQ20hG+CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T21:37:27.076804Z","bundle_sha256":"6e370f33886d92259d0ba2c1b27a9f91b22ffa528abcfa7a3303d29f7f7cfa60"}}