{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:YISN3R63UTY4NQ54TPWCGP3Y3Q","short_pith_number":"pith:YISN3R63","canonical_record":{"source":{"id":"2409.03917","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-09-05T21:25:38Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"1eed1c3a2ac2b818c8f6c58901fa6039b8ed5d2b93305588943d7d51bbbe1631","abstract_canon_sha256":"145843760c064966ca39a42e63b6fd450e12c52c45a524a76005e2a68acc4bfd"},"schema_version":"1.0"},"canonical_sha256":"c224ddc7dba4f1c6c3bc9bec233f78dc1e7dcfbab97897f6a6c04b72f2e55b58","source":{"kind":"arxiv","id":"2409.03917","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.03917","created_at":"2026-05-20T00:02:46Z"},{"alias_kind":"arxiv_version","alias_value":"2409.03917v1","created_at":"2026-05-20T00:02:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.03917","created_at":"2026-05-20T00:02:46Z"},{"alias_kind":"pith_short_12","alias_value":"YISN3R63UTY4","created_at":"2026-05-20T00:02:46Z"},{"alias_kind":"pith_short_16","alias_value":"YISN3R63UTY4NQ54","created_at":"2026-05-20T00:02:46Z"},{"alias_kind":"pith_short_8","alias_value":"YISN3R63","created_at":"2026-05-20T00:02:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:YISN3R63UTY4NQ54TPWCGP3Y3Q","target":"record","payload":{"canonical_record":{"source":{"id":"2409.03917","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-09-05T21:25:38Z","cross_cats_sorted":["cs.ET"],"title_canon_sha256":"1eed1c3a2ac2b818c8f6c58901fa6039b8ed5d2b93305588943d7d51bbbe1631","abstract_canon_sha256":"145843760c064966ca39a42e63b6fd450e12c52c45a524a76005e2a68acc4bfd"},"schema_version":"1.0"},"canonical_sha256":"c224ddc7dba4f1c6c3bc9bec233f78dc1e7dcfbab97897f6a6c04b72f2e55b58","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:02:46.826855Z","signature_b64":"mhsLgDycJj/ugVbZUe0McsLUUB2AsbqnTLwkXMtnGc5AWrfBy7pcr81vodRKnyqnv0RA6mkWGS1W6zJDwoQ6AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c224ddc7dba4f1c6c3bc9bec233f78dc1e7dcfbab97897f6a6c04b72f2e55b58","last_reissued_at":"2026-05-20T00:02:46.826245Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:02:46.826245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.03917","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-05-20T00:02:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0/vIao8wYLem2/BfoK8Q9HdLAeD+ZasP8o4wJ0qaIoXRijCnfc6soaPJegrXZMtnBReACxltdWN2caW+W/IDBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T08:19:11.072552Z"},"content_sha256":"ee6854b0c7287adc14841abf8559e2d47a7322e8e227d48a6b68273b26072bd8","schema_version":"1.0","event_id":"sha256:ee6854b0c7287adc14841abf8559e2d47a7322e8e227d48a6b68273b26072bd8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:YISN3R63UTY4NQ54TPWCGP3Y3Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.ET"],"primary_cat":"quant-ph","authors_text":"Abhoy Kole, Kamalika Datta, Lennart Weingarten, Mohammed E. Djeridane, Rolf Drechsler","submitted_at":"2024-09-05T21:25:38Z","abstract_excerpt":"The use of Boolean Satisfiability (SAT) solver for hardware verification incurs exponential run-time in several instances. In this work we have proposed an efficient quantum SAT (qSAT) solver for equivalence checking of Boolean circuits employing Grover's algorithm. The Exclusive-Sum-of-Product based generation of the Conjunctive Normal Form equivalent clauses demand less qubits and minimizes the gates and depth of quantum circuit interpretation. The consideration of reference circuits for verification affecting Grover's iterations and quantum resources are also presented as a case study. Expe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.03917","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/2409.03917/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-05-20T00:02:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ier9zfuVeNifPo5iVLwRnIW5BejPKlt67DRZdICx/BkrvHTkLycwFPFQLQKzXiNm+WMfVDcWYs5adSJrEZERDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T08:19:11.072945Z"},"content_sha256":"c00a0fef52315fd50f304d952fd6185b30a27b5443534a88818c03f0b0096561","schema_version":"1.0","event_id":"sha256:c00a0fef52315fd50f304d952fd6185b30a27b5443534a88818c03f0b0096561"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YISN3R63UTY4NQ54TPWCGP3Y3Q/bundle.json","state_url":"https://pith.science/pith/YISN3R63UTY4NQ54TPWCGP3Y3Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YISN3R63UTY4NQ54TPWCGP3Y3Q/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-12T08:19:11Z","links":{"resolver":"https://pith.science/pith/YISN3R63UTY4NQ54TPWCGP3Y3Q","bundle":"https://pith.science/pith/YISN3R63UTY4NQ54TPWCGP3Y3Q/bundle.json","state":"https://pith.science/pith/YISN3R63UTY4NQ54TPWCGP3Y3Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YISN3R63UTY4NQ54TPWCGP3Y3Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:YISN3R63UTY4NQ54TPWCGP3Y3Q","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":"145843760c064966ca39a42e63b6fd450e12c52c45a524a76005e2a68acc4bfd","cross_cats_sorted":["cs.ET"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-09-05T21:25:38Z","title_canon_sha256":"1eed1c3a2ac2b818c8f6c58901fa6039b8ed5d2b93305588943d7d51bbbe1631"},"schema_version":"1.0","source":{"id":"2409.03917","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.03917","created_at":"2026-05-20T00:02:46Z"},{"alias_kind":"arxiv_version","alias_value":"2409.03917v1","created_at":"2026-05-20T00:02:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.03917","created_at":"2026-05-20T00:02:46Z"},{"alias_kind":"pith_short_12","alias_value":"YISN3R63UTY4","created_at":"2026-05-20T00:02:46Z"},{"alias_kind":"pith_short_16","alias_value":"YISN3R63UTY4NQ54","created_at":"2026-05-20T00:02:46Z"},{"alias_kind":"pith_short_8","alias_value":"YISN3R63","created_at":"2026-05-20T00:02:46Z"}],"graph_snapshots":[{"event_id":"sha256:c00a0fef52315fd50f304d952fd6185b30a27b5443534a88818c03f0b0096561","target":"graph","created_at":"2026-05-20T00:02:46Z","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/2409.03917/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The use of Boolean Satisfiability (SAT) solver for hardware verification incurs exponential run-time in several instances. In this work we have proposed an efficient quantum SAT (qSAT) solver for equivalence checking of Boolean circuits employing Grover's algorithm. The Exclusive-Sum-of-Product based generation of the Conjunctive Normal Form equivalent clauses demand less qubits and minimizes the gates and depth of quantum circuit interpretation. The consideration of reference circuits for verification affecting Grover's iterations and quantum resources are also presented as a case study. Expe","authors_text":"Abhoy Kole, Kamalika Datta, Lennart Weingarten, Mohammed E. Djeridane, Rolf Drechsler","cross_cats":["cs.ET"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-09-05T21:25:38Z","title":"qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.03917","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:ee6854b0c7287adc14841abf8559e2d47a7322e8e227d48a6b68273b26072bd8","target":"record","created_at":"2026-05-20T00:02:46Z","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":"145843760c064966ca39a42e63b6fd450e12c52c45a524a76005e2a68acc4bfd","cross_cats_sorted":["cs.ET"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2024-09-05T21:25:38Z","title_canon_sha256":"1eed1c3a2ac2b818c8f6c58901fa6039b8ed5d2b93305588943d7d51bbbe1631"},"schema_version":"1.0","source":{"id":"2409.03917","kind":"arxiv","version":1}},"canonical_sha256":"c224ddc7dba4f1c6c3bc9bec233f78dc1e7dcfbab97897f6a6c04b72f2e55b58","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c224ddc7dba4f1c6c3bc9bec233f78dc1e7dcfbab97897f6a6c04b72f2e55b58","first_computed_at":"2026-05-20T00:02:46.826245Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:02:46.826245Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mhsLgDycJj/ugVbZUe0McsLUUB2AsbqnTLwkXMtnGc5AWrfBy7pcr81vodRKnyqnv0RA6mkWGS1W6zJDwoQ6AQ==","signature_status":"signed_v1","signed_at":"2026-05-20T00:02:46.826855Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.03917","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ee6854b0c7287adc14841abf8559e2d47a7322e8e227d48a6b68273b26072bd8","sha256:c00a0fef52315fd50f304d952fd6185b30a27b5443534a88818c03f0b0096561"],"state_sha256":"fec95539b78a62a3e429effd824393bba191960ec282ab243f8538d6c292d9d1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3+G4YoWhEQJawHESsaHOOm3P5A3BzMZn+BwXcacghoLBv1yp0VWlWeVZBkegepPrm2tPgu+RPBba1zWY432AAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T08:19:11.075032Z","bundle_sha256":"f2719b422265b677c60bee2060f489204298e5ab2fa4073c1d0265de76da0143"}}