{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:OOWIDW33VIKKZG3KZ4DAZVVJKI","short_pith_number":"pith:OOWIDW33","canonical_record":{"source":{"id":"1011.6505","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2010-11-30T09:51:40Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"116bf8f144e5a4d21842bee6f373c404180777f30b854aee8104cb09e0087a06","abstract_canon_sha256":"61e26b474cfe95c120978f250fb4c2bbe0aa501dd025938aa79bbe9da7ebb952"},"schema_version":"1.0"},"canonical_sha256":"73ac81db7baa14ac9b6acf060cd6a9521e26ef0b7d3ad8985307c6fbae3b50d9","source":{"kind":"arxiv","id":"1011.6505","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.6505","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"arxiv_version","alias_value":"1011.6505v1","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.6505","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"pith_short_12","alias_value":"OOWIDW33VIKK","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"OOWIDW33VIKKZG3K","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"OOWIDW33","created_at":"2026-05-18T12:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:OOWIDW33VIKKZG3KZ4DAZVVJKI","target":"record","payload":{"canonical_record":{"source":{"id":"1011.6505","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2010-11-30T09:51:40Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"116bf8f144e5a4d21842bee6f373c404180777f30b854aee8104cb09e0087a06","abstract_canon_sha256":"61e26b474cfe95c120978f250fb4c2bbe0aa501dd025938aa79bbe9da7ebb952"},"schema_version":"1.0"},"canonical_sha256":"73ac81db7baa14ac9b6acf060cd6a9521e26ef0b7d3ad8985307c6fbae3b50d9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:34:26.770502Z","signature_b64":"9VqHuGPMtn4yaFZNWhsdxdqFGo3C3DRtvhW9lWjI8Pn+6vGLCeYK3MVXSPFDqYT82mKXHOLWphnacl6BNCWwBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73ac81db7baa14ac9b6acf060cd6a9521e26ef0b7d3ad8985307c6fbae3b50d9","last_reissued_at":"2026-05-18T04:34:26.769936Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:34:26.769936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1011.6505","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-18T04:34:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B5e2mVq88q6Wtv34VhSAKQ2K0JVAhIbhuHSzt3Y1lkP/l0wsqAFhFAc/jIxHe6V62bcQW+GNdI7ISj5erzzaDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:37:49.455824Z"},"content_sha256":"cab1e5cc43b22c36f2fb9e7664f9911566c355a60ec78fcbd531536340d5b19c","schema_version":"1.0","event_id":"sha256:cab1e5cc43b22c36f2fb9e7664f9911566c355a60ec78fcbd531536340d5b19c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:OOWIDW33VIKKZG3KZ4DAZVVJKI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SC","authors_text":"Xiao-Shan Gao, Zhenyu Huang","submitted_at":"2010-11-30T09:51:40Z","abstract_excerpt":"Efficient characteristic set methods for computing solutions of polynomial equation systems in a finite field are proposed. The concept of proper triangular sets is introduced and an explicit formula for the number of solutions of a proper and monic (or regular) triangular set is given. An improved zero decomposition algorithm which can be used to reduce the zero set of an equation system in general form to the union of zero sets of monic proper triangular sets is proposed. As a consequence, we can give an explicit formula for the number of solutions of an equation system. Bitsize complexity f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.6505","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-18T04:34:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2tocM+WRMVP5/cDAWLPLpuNmuV8sti2nVmuF3Bhqxw/Xt04HACw0bsI29/waVdl3FfmfAz66FX2/GFrj5x6dBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:37:49.456520Z"},"content_sha256":"aded85c09d5390fb6ed258ade094cc5a65883525d74a78f480a28760abf3f394","schema_version":"1.0","event_id":"sha256:aded85c09d5390fb6ed258ade094cc5a65883525d74a78f480a28760abf3f394"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OOWIDW33VIKKZG3KZ4DAZVVJKI/bundle.json","state_url":"https://pith.science/pith/OOWIDW33VIKKZG3KZ4DAZVVJKI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OOWIDW33VIKKZG3KZ4DAZVVJKI/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-05-27T16:37:49Z","links":{"resolver":"https://pith.science/pith/OOWIDW33VIKKZG3KZ4DAZVVJKI","bundle":"https://pith.science/pith/OOWIDW33VIKKZG3KZ4DAZVVJKI/bundle.json","state":"https://pith.science/pith/OOWIDW33VIKKZG3KZ4DAZVVJKI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OOWIDW33VIKKZG3KZ4DAZVVJKI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:OOWIDW33VIKKZG3KZ4DAZVVJKI","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":"61e26b474cfe95c120978f250fb4c2bbe0aa501dd025938aa79bbe9da7ebb952","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2010-11-30T09:51:40Z","title_canon_sha256":"116bf8f144e5a4d21842bee6f373c404180777f30b854aee8104cb09e0087a06"},"schema_version":"1.0","source":{"id":"1011.6505","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1011.6505","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"arxiv_version","alias_value":"1011.6505v1","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1011.6505","created_at":"2026-05-18T04:34:26Z"},{"alias_kind":"pith_short_12","alias_value":"OOWIDW33VIKK","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"OOWIDW33VIKKZG3K","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"OOWIDW33","created_at":"2026-05-18T12:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:aded85c09d5390fb6ed258ade094cc5a65883525d74a78f480a28760abf3f394","target":"graph","created_at":"2026-05-18T04:34:26Z","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":"Efficient characteristic set methods for computing solutions of polynomial equation systems in a finite field are proposed. The concept of proper triangular sets is introduced and an explicit formula for the number of solutions of a proper and monic (or regular) triangular set is given. An improved zero decomposition algorithm which can be used to reduce the zero set of an equation system in general form to the union of zero sets of monic proper triangular sets is proposed. As a consequence, we can give an explicit formula for the number of solutions of an equation system. Bitsize complexity f","authors_text":"Xiao-Shan Gao, Zhenyu Huang","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2010-11-30T09:51:40Z","title":"Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1011.6505","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:cab1e5cc43b22c36f2fb9e7664f9911566c355a60ec78fcbd531536340d5b19c","target":"record","created_at":"2026-05-18T04:34:26Z","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":"61e26b474cfe95c120978f250fb4c2bbe0aa501dd025938aa79bbe9da7ebb952","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2010-11-30T09:51:40Z","title_canon_sha256":"116bf8f144e5a4d21842bee6f373c404180777f30b854aee8104cb09e0087a06"},"schema_version":"1.0","source":{"id":"1011.6505","kind":"arxiv","version":1}},"canonical_sha256":"73ac81db7baa14ac9b6acf060cd6a9521e26ef0b7d3ad8985307c6fbae3b50d9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73ac81db7baa14ac9b6acf060cd6a9521e26ef0b7d3ad8985307c6fbae3b50d9","first_computed_at":"2026-05-18T04:34:26.769936Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:34:26.769936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9VqHuGPMtn4yaFZNWhsdxdqFGo3C3DRtvhW9lWjI8Pn+6vGLCeYK3MVXSPFDqYT82mKXHOLWphnacl6BNCWwBw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:34:26.770502Z","signed_message":"canonical_sha256_bytes"},"source_id":"1011.6505","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cab1e5cc43b22c36f2fb9e7664f9911566c355a60ec78fcbd531536340d5b19c","sha256:aded85c09d5390fb6ed258ade094cc5a65883525d74a78f480a28760abf3f394"],"state_sha256":"822a5f05cec54edf8804e63a295b8b22118e6b8391474acfabbca3b45dacd9ab"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jIIoE/jGkjrkGggVh43pg16FdQLnPjXBhnj3ZGSC0b8aORwgRCGbUo2t5O/HF/iKHPAnpwN++l+19L0jWHukDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T16:37:49.459974Z","bundle_sha256":"5043905a420ddcc38a0f6455ecc25fa9866aa0f0dc596b6498d3bc78ef71bc65"}}