{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:BNYDW3WKV737PDRRXU7XG6PH6U","short_pith_number":"pith:BNYDW3WK","canonical_record":{"source":{"id":"1405.4596","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-05-19T04:23:42Z","cross_cats_sorted":[],"title_canon_sha256":"b01960e3617c7b0a9a34cec8a2997c64e26ad51c5a60ca4b9befaaffd201797b","abstract_canon_sha256":"7ccb350ab1880d8a1ef63c193ed1a0925460850ac334e2678ec03895bf06252b"},"schema_version":"1.0"},"canonical_sha256":"0b703b6ecaaff7f78e31bd3f7379e7f53cd4a9b35396ec010fbd3142a0ea5ef5","source":{"kind":"arxiv","id":"1405.4596","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.4596","created_at":"2026-07-05T00:18:02Z"},{"alias_kind":"arxiv_version","alias_value":"1405.4596v4","created_at":"2026-07-05T00:18:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.4596","created_at":"2026-07-05T00:18:02Z"},{"alias_kind":"pith_short_12","alias_value":"BNYDW3WKV737","created_at":"2026-07-05T00:18:02Z"},{"alias_kind":"pith_short_16","alias_value":"BNYDW3WKV737PDRR","created_at":"2026-07-05T00:18:02Z"},{"alias_kind":"pith_short_8","alias_value":"BNYDW3WK","created_at":"2026-07-05T00:18:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:BNYDW3WKV737PDRRXU7XG6PH6U","target":"record","payload":{"canonical_record":{"source":{"id":"1405.4596","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-05-19T04:23:42Z","cross_cats_sorted":[],"title_canon_sha256":"b01960e3617c7b0a9a34cec8a2997c64e26ad51c5a60ca4b9befaaffd201797b","abstract_canon_sha256":"7ccb350ab1880d8a1ef63c193ed1a0925460850ac334e2678ec03895bf06252b"},"schema_version":"1.0"},"canonical_sha256":"0b703b6ecaaff7f78e31bd3f7379e7f53cd4a9b35396ec010fbd3142a0ea5ef5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:18:02.825674Z","signature_b64":"tFYKh/atl2X+u9FKiBBtz9j7W9WcnVvqcDf1l7yxfYZIp+jbTT1pKRnyPvI1UPQ59sJreUYcZ4IwZVit8jspDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b703b6ecaaff7f78e31bd3f7379e7f53cd4a9b35396ec010fbd3142a0ea5ef5","last_reissued_at":"2026-07-05T00:18:02.825286Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:18:02.825286Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.4596","source_version":4,"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-05T00:18:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aat4oBk/EjaJbKebaqf4i71jvwWpZe8PC5UMkV1gUhE5YC2k4W6MnPvpZiabOtYGzIRg6ytfx1VNaItNpUhhDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T02:16:36.129287Z"},"content_sha256":"3443c9b939a1d0c6aeed5aa439ccc1ca141879fa8f66b1b2a3be8cfbb18911b4","schema_version":"1.0","event_id":"sha256:3443c9b939a1d0c6aeed5aa439ccc1ca141879fa8f66b1b2a3be8cfbb18911b4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:BNYDW3WKV737PDRRXU7XG6PH6U","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SC","authors_text":"Dongdai Lin, Yao Sun, Zhenyu Huang","submitted_at":"2014-05-19T04:23:42Z","abstract_excerpt":"An improved characteristic set algorithm for solving Boolean polynomial systems is proposed. This algorithm is based on the idea of converting all the polynomials into monic ones by zero decomposition, and using additions to obtain pseudo-remainders. Three important techniques are applied in the algorithm. The first one is eliminating variables by new generated linear polynomials. The second one is optimizing the strategy of choosing polynomial for zero decomposition. The third one is to compute add-remainders to eliminate the leading variable of new generated monic polynomials. By analyzing t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.4596","kind":"arxiv","version":4},"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/1405.4596/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-05T00:18:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cp52Q8dDPQMk5Ri/1elOSV9EovYrPKxQXDrocFHlZSREByq3Rt3VHj8aRbBbPfOdthFMRNaZqoK5AvjrbsSWCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T02:16:36.130285Z"},"content_sha256":"a0e3caffbcf1653725b5b90c82f093af28bc622778878204a8edc01dd386fbc3","schema_version":"1.0","event_id":"sha256:a0e3caffbcf1653725b5b90c82f093af28bc622778878204a8edc01dd386fbc3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BNYDW3WKV737PDRRXU7XG6PH6U/bundle.json","state_url":"https://pith.science/pith/BNYDW3WKV737PDRRXU7XG6PH6U/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BNYDW3WKV737PDRRXU7XG6PH6U/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-13T02:16:36Z","links":{"resolver":"https://pith.science/pith/BNYDW3WKV737PDRRXU7XG6PH6U","bundle":"https://pith.science/pith/BNYDW3WKV737PDRRXU7XG6PH6U/bundle.json","state":"https://pith.science/pith/BNYDW3WKV737PDRRXU7XG6PH6U/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BNYDW3WKV737PDRRXU7XG6PH6U/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:BNYDW3WKV737PDRRXU7XG6PH6U","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":"7ccb350ab1880d8a1ef63c193ed1a0925460850ac334e2678ec03895bf06252b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-05-19T04:23:42Z","title_canon_sha256":"b01960e3617c7b0a9a34cec8a2997c64e26ad51c5a60ca4b9befaaffd201797b"},"schema_version":"1.0","source":{"id":"1405.4596","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.4596","created_at":"2026-07-05T00:18:02Z"},{"alias_kind":"arxiv_version","alias_value":"1405.4596v4","created_at":"2026-07-05T00:18:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.4596","created_at":"2026-07-05T00:18:02Z"},{"alias_kind":"pith_short_12","alias_value":"BNYDW3WKV737","created_at":"2026-07-05T00:18:02Z"},{"alias_kind":"pith_short_16","alias_value":"BNYDW3WKV737PDRR","created_at":"2026-07-05T00:18:02Z"},{"alias_kind":"pith_short_8","alias_value":"BNYDW3WK","created_at":"2026-07-05T00:18:02Z"}],"graph_snapshots":[{"event_id":"sha256:a0e3caffbcf1653725b5b90c82f093af28bc622778878204a8edc01dd386fbc3","target":"graph","created_at":"2026-07-05T00:18:02Z","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/1405.4596/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"An improved characteristic set algorithm for solving Boolean polynomial systems is proposed. This algorithm is based on the idea of converting all the polynomials into monic ones by zero decomposition, and using additions to obtain pseudo-remainders. Three important techniques are applied in the algorithm. The first one is eliminating variables by new generated linear polynomials. The second one is optimizing the strategy of choosing polynomial for zero decomposition. The third one is to compute add-remainders to eliminate the leading variable of new generated monic polynomials. By analyzing t","authors_text":"Dongdai Lin, Yao Sun, Zhenyu Huang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-05-19T04:23:42Z","title":"On the Efficiency of Solving Boolean Polynomial Systems with the Characteristic Set Method"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.4596","kind":"arxiv","version":4},"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:3443c9b939a1d0c6aeed5aa439ccc1ca141879fa8f66b1b2a3be8cfbb18911b4","target":"record","created_at":"2026-07-05T00:18:02Z","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":"7ccb350ab1880d8a1ef63c193ed1a0925460850ac334e2678ec03895bf06252b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2014-05-19T04:23:42Z","title_canon_sha256":"b01960e3617c7b0a9a34cec8a2997c64e26ad51c5a60ca4b9befaaffd201797b"},"schema_version":"1.0","source":{"id":"1405.4596","kind":"arxiv","version":4}},"canonical_sha256":"0b703b6ecaaff7f78e31bd3f7379e7f53cd4a9b35396ec010fbd3142a0ea5ef5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0b703b6ecaaff7f78e31bd3f7379e7f53cd4a9b35396ec010fbd3142a0ea5ef5","first_computed_at":"2026-07-05T00:18:02.825286Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:18:02.825286Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tFYKh/atl2X+u9FKiBBtz9j7W9WcnVvqcDf1l7yxfYZIp+jbTT1pKRnyPvI1UPQ59sJreUYcZ4IwZVit8jspDw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:18:02.825674Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.4596","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3443c9b939a1d0c6aeed5aa439ccc1ca141879fa8f66b1b2a3be8cfbb18911b4","sha256:a0e3caffbcf1653725b5b90c82f093af28bc622778878204a8edc01dd386fbc3"],"state_sha256":"0065a1565b60b8503616eba5b99a3e7c518093d6b1c904a717487bcd8647b53b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cM2Yi/DhW9rOa1S8O8G3lYg/VDYnWRJup2IAAgnQoQu2YHUjmv+085IOwzfumoTLHyoGasPGrrzseQYxIRuAAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T02:16:36.135607Z","bundle_sha256":"40c2992518cf1721cd3835b4797c5f11a5c70e5931219a37ea7d475f399e18ab"}}