{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:LSEHOMISNUK6CKB7KPTUBJVZII","short_pith_number":"pith:LSEHOMIS","canonical_record":{"source":{"id":"1802.06870","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-16T08:44:57Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"d4b5ac7c71687642cae7dbc7c96a4301503dd1bba570a4446c1bdb47ea3f7001","abstract_canon_sha256":"e8ce3115f7cce93d311cf5ba9c2c4a67fe9d46c752f8a1290dfab8b8f5939704"},"schema_version":"1.0"},"canonical_sha256":"5c887731126d15e1283f53e740a6b94235ec11f30ccc39faee239c9253d0877d","source":{"kind":"arxiv","id":"1802.06870","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.06870","created_at":"2026-05-18T00:22:54Z"},{"alias_kind":"arxiv_version","alias_value":"1802.06870v1","created_at":"2026-05-18T00:22:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.06870","created_at":"2026-05-18T00:22:54Z"},{"alias_kind":"pith_short_12","alias_value":"LSEHOMISNUK6","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"LSEHOMISNUK6CKB7","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"LSEHOMIS","created_at":"2026-05-18T12:32:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:LSEHOMISNUK6CKB7KPTUBJVZII","target":"record","payload":{"canonical_record":{"source":{"id":"1802.06870","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-16T08:44:57Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"d4b5ac7c71687642cae7dbc7c96a4301503dd1bba570a4446c1bdb47ea3f7001","abstract_canon_sha256":"e8ce3115f7cce93d311cf5ba9c2c4a67fe9d46c752f8a1290dfab8b8f5939704"},"schema_version":"1.0"},"canonical_sha256":"5c887731126d15e1283f53e740a6b94235ec11f30ccc39faee239c9253d0877d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:54.101095Z","signature_b64":"8lSX5W0khxxlRgmOXuv89s2XqI6DLP2MsTTrcgzAqSU9+CBGOEOSjglMxMnmF/DC1HZl2Es5oGk35py8+3VHAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5c887731126d15e1283f53e740a6b94235ec11f30ccc39faee239c9253d0877d","last_reissued_at":"2026-05-18T00:22:54.100541Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:54.100541Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.06870","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:22:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gcMAGs0LN9QOzCOyBpND9r7MvLsnpkOVQxbW0T6tCj3bFdH+6loObct5Seafr0WrgEKwGXVhII11HNRk/MexAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:07:18.295674Z"},"content_sha256":"dac1fa5d0df7b38e7ad9e50e5ae0430463408836c8e95dada4223146fcf5dad7","schema_version":"1.0","event_id":"sha256:dac1fa5d0df7b38e7ad9e50e5ae0430463408836c8e95dada4223146fcf5dad7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:LSEHOMISNUK6CKB7KPTUBJVZII","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.SC","authors_text":"Cunxi Yu, Maciej Ciesielski","submitted_at":"2018-02-16T08:44:57Z","abstract_excerpt":"Galois field (GF) arithmetic circuits find numerous applications in communications, signal processing, and security engineering. Formal verification techniques of GF circuits are scarce and limited to circuits with known bit positions of the primary inputs and outputs. They also require knowledge of the irreducible polynomial $P(x)$, which affects final hardware implementation. This paper presents a computer algebra technique that performs verification and reverse engineering of GF($2^m$) multipliers directly from the gate-level implementation. The approach is based on extracting a unique irre"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.06870","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:22:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1WhPTNOAN2DDb1ApTDEHeAqeiO8VGHe2WLqe8RpnNXceg1/dOv/TkaGn0LIdqwStjNhuuO+laB9xxFu+ozVdBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:07:18.296026Z"},"content_sha256":"32d8b6db1c75acd5ca9bf3b7069ff796d019a2e2c763aaa8242f32eb4b051e2d","schema_version":"1.0","event_id":"sha256:32d8b6db1c75acd5ca9bf3b7069ff796d019a2e2c763aaa8242f32eb4b051e2d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LSEHOMISNUK6CKB7KPTUBJVZII/bundle.json","state_url":"https://pith.science/pith/LSEHOMISNUK6CKB7KPTUBJVZII/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LSEHOMISNUK6CKB7KPTUBJVZII/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-30T13:07:18Z","links":{"resolver":"https://pith.science/pith/LSEHOMISNUK6CKB7KPTUBJVZII","bundle":"https://pith.science/pith/LSEHOMISNUK6CKB7KPTUBJVZII/bundle.json","state":"https://pith.science/pith/LSEHOMISNUK6CKB7KPTUBJVZII/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LSEHOMISNUK6CKB7KPTUBJVZII/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:LSEHOMISNUK6CKB7KPTUBJVZII","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":"e8ce3115f7cce93d311cf5ba9c2c4a67fe9d46c752f8a1290dfab8b8f5939704","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-16T08:44:57Z","title_canon_sha256":"d4b5ac7c71687642cae7dbc7c96a4301503dd1bba570a4446c1bdb47ea3f7001"},"schema_version":"1.0","source":{"id":"1802.06870","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.06870","created_at":"2026-05-18T00:22:54Z"},{"alias_kind":"arxiv_version","alias_value":"1802.06870v1","created_at":"2026-05-18T00:22:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.06870","created_at":"2026-05-18T00:22:54Z"},{"alias_kind":"pith_short_12","alias_value":"LSEHOMISNUK6","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_16","alias_value":"LSEHOMISNUK6CKB7","created_at":"2026-05-18T12:32:37Z"},{"alias_kind":"pith_short_8","alias_value":"LSEHOMIS","created_at":"2026-05-18T12:32:37Z"}],"graph_snapshots":[{"event_id":"sha256:32d8b6db1c75acd5ca9bf3b7069ff796d019a2e2c763aaa8242f32eb4b051e2d","target":"graph","created_at":"2026-05-18T00:22:54Z","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":"Galois field (GF) arithmetic circuits find numerous applications in communications, signal processing, and security engineering. Formal verification techniques of GF circuits are scarce and limited to circuits with known bit positions of the primary inputs and outputs. They also require knowledge of the irreducible polynomial $P(x)$, which affects final hardware implementation. This paper presents a computer algebra technique that performs verification and reverse engineering of GF($2^m$) multipliers directly from the gate-level implementation. The approach is based on extracting a unique irre","authors_text":"Cunxi Yu, Maciej Ciesielski","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-16T08:44:57Z","title":"Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.06870","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:dac1fa5d0df7b38e7ad9e50e5ae0430463408836c8e95dada4223146fcf5dad7","target":"record","created_at":"2026-05-18T00:22:54Z","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":"e8ce3115f7cce93d311cf5ba9c2c4a67fe9d46c752f8a1290dfab8b8f5939704","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2018-02-16T08:44:57Z","title_canon_sha256":"d4b5ac7c71687642cae7dbc7c96a4301503dd1bba570a4446c1bdb47ea3f7001"},"schema_version":"1.0","source":{"id":"1802.06870","kind":"arxiv","version":1}},"canonical_sha256":"5c887731126d15e1283f53e740a6b94235ec11f30ccc39faee239c9253d0877d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5c887731126d15e1283f53e740a6b94235ec11f30ccc39faee239c9253d0877d","first_computed_at":"2026-05-18T00:22:54.100541Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:54.100541Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8lSX5W0khxxlRgmOXuv89s2XqI6DLP2MsTTrcgzAqSU9+CBGOEOSjglMxMnmF/DC1HZl2Es5oGk35py8+3VHAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:54.101095Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.06870","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dac1fa5d0df7b38e7ad9e50e5ae0430463408836c8e95dada4223146fcf5dad7","sha256:32d8b6db1c75acd5ca9bf3b7069ff796d019a2e2c763aaa8242f32eb4b051e2d"],"state_sha256":"4c9c4a12772e1d3569add046b8d21470520cd1867d0e957eeacdff703c180b84"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XZwOcliHvGCfVKXvOzZb8aPTNmwmdnooPsbVY+CyKQ/LZ+Z64W3ZfoPDWHG+xeY9/No8ofayN5KMWKKfdjyfBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T13:07:18.298090Z","bundle_sha256":"f302361a4b49a707b06f1825bf6bae58845ef13a156c140189086d01055ee9da"}}