{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:GYDJPPPMB7253FRJPGFBUK3FLC","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":"d86d02626e59180705d762df5288ad408a24acaacc21818dd3fbf8671bfffeef","cross_cats_sorted":["cs.CR","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-11-16T00:03:28Z","title_canon_sha256":"7358365ff1475f89458d9450904641de3c876f62831f963f04868cf808679cdd"},"schema_version":"1.0","source":{"id":"1611.05101","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.05101","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"arxiv_version","alias_value":"1611.05101v2","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.05101","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"pith_short_12","alias_value":"GYDJPPPMB725","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GYDJPPPMB7253FRJ","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GYDJPPPM","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:374ca910dc11a33969d44d8e376d19f49652c34dcef89e09fc72a4efe420e576","target":"graph","created_at":"2026-05-17T23:55: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":"Galois field (GF) arithmetic is used to implement critical arithmetic components in communication and security-related hardware, and verification of such components is of prime importance. Current techniques for formally verifying such components are based on computer algebra methods that proved successful in verification of integer arithmetic circuits. However, these methods are sequential in nature and do not offer any parallelism. This paper presents an algebraic functional verification technique of gate-level GF (2m ) multipliers, in which verification is performed in bit-parallel fashion.","authors_text":"Cunxi Yu, Maciej Ciesielski","cross_cats":["cs.CR","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-11-16T00:03:28Z","title":"Efficient Parallel Verification of Galois Field Multipliers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.05101","kind":"arxiv","version":2},"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:b02365d6c37740cc1a458bbf2aecc960f6fbfe47c7b5d813399af36e7559c64d","target":"record","created_at":"2026-05-17T23:55: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":"d86d02626e59180705d762df5288ad408a24acaacc21818dd3fbf8671bfffeef","cross_cats_sorted":["cs.CR","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2016-11-16T00:03:28Z","title_canon_sha256":"7358365ff1475f89458d9450904641de3c876f62831f963f04868cf808679cdd"},"schema_version":"1.0","source":{"id":"1611.05101","kind":"arxiv","version":2}},"canonical_sha256":"360697bdec0ff5dd9629798a1a2b65589787cb930d11a718b8aa9fd8c03bd33c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"360697bdec0ff5dd9629798a1a2b65589787cb930d11a718b8aa9fd8c03bd33c","first_computed_at":"2026-05-17T23:55:39.065093Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:39.065093Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+oNMQF8kINyHDtsXoWOmpVgRDpfynmAkEc4cVLGhWQ5bj4OwueQyTAkOpFRTsl6LqtmPDw2s4aCWDCr9/UTcAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:39.065541Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.05101","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b02365d6c37740cc1a458bbf2aecc960f6fbfe47c7b5d813399af36e7559c64d","sha256:374ca910dc11a33969d44d8e376d19f49652c34dcef89e09fc72a4efe420e576"],"state_sha256":"ca0c389ed4ffd1e637bb4c747ecdcabd249588c3f49db35a6e5b4e2c2e2b6df7"}