{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:MESVODCRJTXKUR7JX5E2MR6PTN","short_pith_number":"pith:MESVODCR","canonical_record":{"source":{"id":"1709.03067","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-09-10T08:10:49Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"77131d99fca4fb954360778ad351c5c5b00f1dce148b39f190b4b307e2880247","abstract_canon_sha256":"98b15b94f6c747e4ebbb09d3f8e3aab627482d1d3873e42a8c6c4f819a05a5f9"},"schema_version":"1.0"},"canonical_sha256":"6125570c514ceeaa47e9bf49a647cf9b5b7a70ba481c09aa5a087b46ceaefbfe","source":{"kind":"arxiv","id":"1709.03067","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.03067","created_at":"2026-05-18T00:35:39Z"},{"alias_kind":"arxiv_version","alias_value":"1709.03067v1","created_at":"2026-05-18T00:35:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.03067","created_at":"2026-05-18T00:35:39Z"},{"alias_kind":"pith_short_12","alias_value":"MESVODCRJTXK","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"MESVODCRJTXKUR7J","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"MESVODCR","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:MESVODCRJTXKUR7JX5E2MR6PTN","target":"record","payload":{"canonical_record":{"source":{"id":"1709.03067","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-09-10T08:10:49Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"77131d99fca4fb954360778ad351c5c5b00f1dce148b39f190b4b307e2880247","abstract_canon_sha256":"98b15b94f6c747e4ebbb09d3f8e3aab627482d1d3873e42a8c6c4f819a05a5f9"},"schema_version":"1.0"},"canonical_sha256":"6125570c514ceeaa47e9bf49a647cf9b5b7a70ba481c09aa5a087b46ceaefbfe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:39.494236Z","signature_b64":"Pz+Y1puKW5CKQrn5G0z+0E3Or5HoFcFn0ncdgL2UKXPhxy6WtabAjRHabOD5nk0nbQT9oONWDdIqExdjqV+8CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6125570c514ceeaa47e9bf49a647cf9b5b7a70ba481c09aa5a087b46ceaefbfe","last_reissued_at":"2026-05-18T00:35:39.493603Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:39.493603Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.03067","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-18T00:35:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kCktGW1bmiuOldB1Bdq543dlqKK+Wp54a8x6A8w4Cyaihm1w5yUAyNxryW+Rb2ScNX6jlwvy3tR6yB90iLzNAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T22:16:57.090965Z"},"content_sha256":"14efcd1d0c3f7e28077c3df4e20fa500f30df8529634b06d101499cf8100946b","schema_version":"1.0","event_id":"sha256:14efcd1d0c3f7e28077c3df4e20fa500f30df8529634b06d101499cf8100946b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:MESVODCRJTXKUR7JX5E2MR6PTN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Design Methods for Polymorphic Combinational Logic Circuits based on the Bi_Decomposition Approach","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.ET","authors_text":"Lihua Yue, Wenjian Luo, Xufa Wang, Zhifang Li","submitted_at":"2017-09-10T08:10:49Z","abstract_excerpt":"Polymorphic circuits are a special kind of digital logic components, which possess multiple build-in functions. In different environments, a polymorphic circuit would perform different functions. Evolutionary Algorithms, Binary Decision Diagrams (BDD) and the multiplex method have been adopted to design polymorphic circuits. However, the evolutionary methods face the scalable problem. The BDD method consumes too much gate resource. The polymorphic circuit built by the multiplex method rarely contains polymorphic gates. In this paper, based on the traditional Bi_Decomposition circuit design app"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.03067","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"},"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-18T00:35:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zGGJWW0qEMxmUoeE3YyVbhStkG7Qdy8yOCfeRIVQwgI184x5qHXgntnXu5ZaEuvqpRZgqvd3eFKe7EOqHkEoAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T22:16:57.091641Z"},"content_sha256":"38ced510c8e06c267974c7b0936e2ff3b1f303dd2cf4c764f1295c354006aee1","schema_version":"1.0","event_id":"sha256:38ced510c8e06c267974c7b0936e2ff3b1f303dd2cf4c764f1295c354006aee1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MESVODCRJTXKUR7JX5E2MR6PTN/bundle.json","state_url":"https://pith.science/pith/MESVODCRJTXKUR7JX5E2MR6PTN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MESVODCRJTXKUR7JX5E2MR6PTN/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-07T22:16:57Z","links":{"resolver":"https://pith.science/pith/MESVODCRJTXKUR7JX5E2MR6PTN","bundle":"https://pith.science/pith/MESVODCRJTXKUR7JX5E2MR6PTN/bundle.json","state":"https://pith.science/pith/MESVODCRJTXKUR7JX5E2MR6PTN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MESVODCRJTXKUR7JX5E2MR6PTN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:MESVODCRJTXKUR7JX5E2MR6PTN","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":"98b15b94f6c747e4ebbb09d3f8e3aab627482d1d3873e42a8c6c4f819a05a5f9","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-09-10T08:10:49Z","title_canon_sha256":"77131d99fca4fb954360778ad351c5c5b00f1dce148b39f190b4b307e2880247"},"schema_version":"1.0","source":{"id":"1709.03067","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.03067","created_at":"2026-05-18T00:35:39Z"},{"alias_kind":"arxiv_version","alias_value":"1709.03067v1","created_at":"2026-05-18T00:35:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.03067","created_at":"2026-05-18T00:35:39Z"},{"alias_kind":"pith_short_12","alias_value":"MESVODCRJTXK","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"MESVODCRJTXKUR7J","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"MESVODCR","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:38ced510c8e06c267974c7b0936e2ff3b1f303dd2cf4c764f1295c354006aee1","target":"graph","created_at":"2026-05-18T00:35:39Z","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"},"paper":{"abstract_excerpt":"Polymorphic circuits are a special kind of digital logic components, which possess multiple build-in functions. In different environments, a polymorphic circuit would perform different functions. Evolutionary Algorithms, Binary Decision Diagrams (BDD) and the multiplex method have been adopted to design polymorphic circuits. However, the evolutionary methods face the scalable problem. The BDD method consumes too much gate resource. The polymorphic circuit built by the multiplex method rarely contains polymorphic gates. In this paper, based on the traditional Bi_Decomposition circuit design app","authors_text":"Lihua Yue, Wenjian Luo, Xufa Wang, Zhifang Li","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-09-10T08:10:49Z","title":"Design Methods for Polymorphic Combinational Logic Circuits based on the Bi_Decomposition Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.03067","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:14efcd1d0c3f7e28077c3df4e20fa500f30df8529634b06d101499cf8100946b","target":"record","created_at":"2026-05-18T00:35:39Z","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":"98b15b94f6c747e4ebbb09d3f8e3aab627482d1d3873e42a8c6c4f819a05a5f9","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-09-10T08:10:49Z","title_canon_sha256":"77131d99fca4fb954360778ad351c5c5b00f1dce148b39f190b4b307e2880247"},"schema_version":"1.0","source":{"id":"1709.03067","kind":"arxiv","version":1}},"canonical_sha256":"6125570c514ceeaa47e9bf49a647cf9b5b7a70ba481c09aa5a087b46ceaefbfe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6125570c514ceeaa47e9bf49a647cf9b5b7a70ba481c09aa5a087b46ceaefbfe","first_computed_at":"2026-05-18T00:35:39.493603Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:39.493603Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Pz+Y1puKW5CKQrn5G0z+0E3Or5HoFcFn0ncdgL2UKXPhxy6WtabAjRHabOD5nk0nbQT9oONWDdIqExdjqV+8CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:39.494236Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.03067","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:14efcd1d0c3f7e28077c3df4e20fa500f30df8529634b06d101499cf8100946b","sha256:38ced510c8e06c267974c7b0936e2ff3b1f303dd2cf4c764f1295c354006aee1"],"state_sha256":"8cfa2179b305f255eba79c4e68dc26fa6293de6581c2b9e1b480b1c0bce60526"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YdximpTVyJ3wjxXxN+yUQjTSx8Uxz8cKoATRasfcq3Y65kypxz1BfdsB+gZ33A2EbsZ6J9Rh39sAH7gqAkR2Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T22:16:57.095256Z","bundle_sha256":"bbab2c93f009abfd451dad9a09893c8a58573316d0b6a5f929fef44b481eae12"}}