{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GRYCB6ZHY353HCWYU3B6QZOAPS","short_pith_number":"pith:GRYCB6ZH","canonical_record":{"source":{"id":"1709.03065","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-09-10T08:10:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2ff4583bfd91de6c93986e7ab3f37b45c0fa01a9f7969514dc1244a644eb0240","abstract_canon_sha256":"9545167514c4ec2149a825d86c9055f33f9d7cbfd5f6976dddfb87a77219f52f"},"schema_version":"1.0"},"canonical_sha256":"347020fb27c6fbb38ad8a6c3e865c07cb261386683d8655d810c72db4a9d41eb","source":{"kind":"arxiv","id":"1709.03065","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.03065","created_at":"2026-05-18T00:35:39Z"},{"alias_kind":"arxiv_version","alias_value":"1709.03065v1","created_at":"2026-05-18T00:35:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.03065","created_at":"2026-05-18T00:35:39Z"},{"alias_kind":"pith_short_12","alias_value":"GRYCB6ZHY353","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GRYCB6ZHY353HCWY","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GRYCB6ZH","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GRYCB6ZHY353HCWYU3B6QZOAPS","target":"record","payload":{"canonical_record":{"source":{"id":"1709.03065","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-09-10T08:10:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2ff4583bfd91de6c93986e7ab3f37b45c0fa01a9f7969514dc1244a644eb0240","abstract_canon_sha256":"9545167514c4ec2149a825d86c9055f33f9d7cbfd5f6976dddfb87a77219f52f"},"schema_version":"1.0"},"canonical_sha256":"347020fb27c6fbb38ad8a6c3e865c07cb261386683d8655d810c72db4a9d41eb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:39.502004Z","signature_b64":"gAYbOCaZrZOHGQVsfrN3IrEvUsobGudjgnC6IFohnp5z+etARepERvFKCxDtH2877GCPBbh8eFsz6PkApbAsCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"347020fb27c6fbb38ad8a6c3e865c07cb261386683d8655d810c72db4a9d41eb","last_reissued_at":"2026-05-18T00:35:39.501378Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:39.501378Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.03065","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":"Aj7iz5qvw5Qia+Ikc5d/oZiLJHsfWrmGgVxNkI5aRgKlrRR1ew0pc3+YmevnfsgpLnDds391Qqkzkw56ZrgGDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T13:44:07.175566Z"},"content_sha256":"8f0053b2bc7f928a7de910d565c5fae197080d5bf7a8cbde8ece513520018ec9","schema_version":"1.0","event_id":"sha256:8f0053b2bc7f928a7de910d565c5fae197080d5bf7a8cbde8ece513520018ec9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GRYCB6ZHY353HCWYU3B6QZOAPS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Straightforward Method to Judge the Completeness of a Polymorphic Gate Set","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:07Z","abstract_excerpt":"Polymorphic circuits are a special kind of circuits which possess some different build-in functions and these functions are activated by environment parameters, like light and VDD. Some theories have been proposed to guide the design of polymorphic circuits, including the definition of complete polymorphic gate sets and algorithms to judge the completeness of a polymorphic gate set.\n  However, the previous algorithms have to enumerate all the polymorphic signals for judging the completeness of a polymorphic gate set, and it is not easy to be conducted manually. In this paper, a straightforward"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.03065","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":"4uaPHyGN9MvrY0nTt2zIM3v16jcDbZC+CpX/Jrl0beouwMl7bQHo5YGSskkCH6qZSPlq3P8nnxcJbiLF8gsRBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T13:44:07.175905Z"},"content_sha256":"2c6470503dd83d24b979e9ea5d2cab28c7a537616bf0543fe9100e791c7aedbb","schema_version":"1.0","event_id":"sha256:2c6470503dd83d24b979e9ea5d2cab28c7a537616bf0543fe9100e791c7aedbb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GRYCB6ZHY353HCWYU3B6QZOAPS/bundle.json","state_url":"https://pith.science/pith/GRYCB6ZHY353HCWYU3B6QZOAPS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GRYCB6ZHY353HCWYU3B6QZOAPS/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-08T13:44:07Z","links":{"resolver":"https://pith.science/pith/GRYCB6ZHY353HCWYU3B6QZOAPS","bundle":"https://pith.science/pith/GRYCB6ZHY353HCWYU3B6QZOAPS/bundle.json","state":"https://pith.science/pith/GRYCB6ZHY353HCWYU3B6QZOAPS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GRYCB6ZHY353HCWYU3B6QZOAPS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GRYCB6ZHY353HCWYU3B6QZOAPS","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":"9545167514c4ec2149a825d86c9055f33f9d7cbfd5f6976dddfb87a77219f52f","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-09-10T08:10:07Z","title_canon_sha256":"2ff4583bfd91de6c93986e7ab3f37b45c0fa01a9f7969514dc1244a644eb0240"},"schema_version":"1.0","source":{"id":"1709.03065","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.03065","created_at":"2026-05-18T00:35:39Z"},{"alias_kind":"arxiv_version","alias_value":"1709.03065v1","created_at":"2026-05-18T00:35:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.03065","created_at":"2026-05-18T00:35:39Z"},{"alias_kind":"pith_short_12","alias_value":"GRYCB6ZHY353","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GRYCB6ZHY353HCWY","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GRYCB6ZH","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:2c6470503dd83d24b979e9ea5d2cab28c7a537616bf0543fe9100e791c7aedbb","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 circuits which possess some different build-in functions and these functions are activated by environment parameters, like light and VDD. Some theories have been proposed to guide the design of polymorphic circuits, including the definition of complete polymorphic gate sets and algorithms to judge the completeness of a polymorphic gate set.\n  However, the previous algorithms have to enumerate all the polymorphic signals for judging the completeness of a polymorphic gate set, and it is not easy to be conducted manually. In this paper, a straightforward","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:07Z","title":"A Straightforward Method to Judge the Completeness of a Polymorphic Gate Set"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.03065","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:8f0053b2bc7f928a7de910d565c5fae197080d5bf7a8cbde8ece513520018ec9","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":"9545167514c4ec2149a825d86c9055f33f9d7cbfd5f6976dddfb87a77219f52f","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.ET","submitted_at":"2017-09-10T08:10:07Z","title_canon_sha256":"2ff4583bfd91de6c93986e7ab3f37b45c0fa01a9f7969514dc1244a644eb0240"},"schema_version":"1.0","source":{"id":"1709.03065","kind":"arxiv","version":1}},"canonical_sha256":"347020fb27c6fbb38ad8a6c3e865c07cb261386683d8655d810c72db4a9d41eb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"347020fb27c6fbb38ad8a6c3e865c07cb261386683d8655d810c72db4a9d41eb","first_computed_at":"2026-05-18T00:35:39.501378Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:39.501378Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gAYbOCaZrZOHGQVsfrN3IrEvUsobGudjgnC6IFohnp5z+etARepERvFKCxDtH2877GCPBbh8eFsz6PkApbAsCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:39.502004Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.03065","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f0053b2bc7f928a7de910d565c5fae197080d5bf7a8cbde8ece513520018ec9","sha256:2c6470503dd83d24b979e9ea5d2cab28c7a537616bf0543fe9100e791c7aedbb"],"state_sha256":"20d1ff82939e641f80b2c727e3eac812a03e2b3965c8dd6ef240d0495567325c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gX1n3jkZYFI9XF6ymZaefX7zx8lh9QqF7aMXkoknHQQ/uMA3Qognz6OL8i9sNlHeZlNEW2W7y5WNJSkoJzcbCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T13:44:07.178013Z","bundle_sha256":"4275833a00d3b7bbc758e795d057f4fbb79bdeefa6d54df2ada950bb116e851e"}}