{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:G6J5F5NI4ZZHMWS6RX4FS63QDX","short_pith_number":"pith:G6J5F5NI","canonical_record":{"source":{"id":"2506.00461","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-31T08:26:19Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"d69aa12e7fe6306cb67b0050176c55aa88ab273443772d53b6da21b01f990506","abstract_canon_sha256":"e762358608991245c732b0e93a267a480f7b345638008dff5fe88946bb36a8d0"},"schema_version":"1.0"},"canonical_sha256":"3793d2f5a8e672765a5e8df8597b701deef2f425f99b2acbf3c9ee73b9dabd37","source":{"kind":"arxiv","id":"2506.00461","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.00461","created_at":"2026-07-05T11:13:35Z"},{"alias_kind":"arxiv_version","alias_value":"2506.00461v1","created_at":"2026-07-05T11:13:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.00461","created_at":"2026-07-05T11:13:35Z"},{"alias_kind":"pith_short_12","alias_value":"G6J5F5NI4ZZH","created_at":"2026-07-05T11:13:35Z"},{"alias_kind":"pith_short_16","alias_value":"G6J5F5NI4ZZHMWS6","created_at":"2026-07-05T11:13:35Z"},{"alias_kind":"pith_short_8","alias_value":"G6J5F5NI","created_at":"2026-07-05T11:13:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:G6J5F5NI4ZZHMWS6RX4FS63QDX","target":"record","payload":{"canonical_record":{"source":{"id":"2506.00461","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-31T08:26:19Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"d69aa12e7fe6306cb67b0050176c55aa88ab273443772d53b6da21b01f990506","abstract_canon_sha256":"e762358608991245c732b0e93a267a480f7b345638008dff5fe88946bb36a8d0"},"schema_version":"1.0"},"canonical_sha256":"3793d2f5a8e672765a5e8df8597b701deef2f425f99b2acbf3c9ee73b9dabd37","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:13:35.252935Z","signature_b64":"RcAGwztY/yi7aG8J3k9e6pvqtdCJB22uUXjQRtAZB/1Utg5W1MdRYKrwzxVWLLRpyWI4Bkn3WgaV48eIX+lDDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3793d2f5a8e672765a5e8df8597b701deef2f425f99b2acbf3c9ee73b9dabd37","last_reissued_at":"2026-07-05T11:13:35.252478Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:13:35.252478Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.00461","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-07-05T11:13:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BbfJTCPPnMnqNH8Xib2qp6Qn58QzTp0HoJGrbPotlhwgehKtaMZmm/Db7tpu/nF8oes0U6N5mv3U1w/7g0RNDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T09:16:06.046948Z"},"content_sha256":"197b3aeef97a0047064b506c3025dcbe642873c0e2cac476821f794375614ea8","schema_version":"1.0","event_id":"sha256:197b3aeef97a0047064b506c3025dcbe642873c0e2cac476821f794375614ea8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:G6J5F5NI4ZZHMWS6RX4FS63QDX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Bridging the Gap between Hardware Fuzzing and Industrial Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.CR","authors_text":"Chun Yang, Guojie Luo, Jiangfang Yi, Jiaxi Zhang, Ruiyang Ma, Tianhao Wei","submitted_at":"2025-05-31T08:26:19Z","abstract_excerpt":"As hardware design complexity increases, hardware fuzzing emerges as a promising tool for automating the verification process. However, a significant gap still exists before it can be applied in industry. This paper aims to summarize the current progress of hardware fuzzing from an industry-use perspective and propose solutions to bridge the gap between hardware fuzzing and industrial verification. First, we review recent hardware fuzzing methods and analyze their compatibilities with industrial verification. We establish criteria to assess whether a hardware fuzzing approach is compatible. Se"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.00461","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.00461/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-05T11:13:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WmZagp85XWgy25tBzwv8wr3EmnoJBc2IYO3+zglyiQNzgzagaJqwHx4y8dq8XG54JqgvFRzhElE+c1B/rUqVBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T09:16:06.048024Z"},"content_sha256":"0713140e079898bb55b32541631cfc3a024446606a2b12d2d80da28ae87415c5","schema_version":"1.0","event_id":"sha256:0713140e079898bb55b32541631cfc3a024446606a2b12d2d80da28ae87415c5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G6J5F5NI4ZZHMWS6RX4FS63QDX/bundle.json","state_url":"https://pith.science/pith/G6J5F5NI4ZZHMWS6RX4FS63QDX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G6J5F5NI4ZZHMWS6RX4FS63QDX/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-09T09:16:06Z","links":{"resolver":"https://pith.science/pith/G6J5F5NI4ZZHMWS6RX4FS63QDX","bundle":"https://pith.science/pith/G6J5F5NI4ZZHMWS6RX4FS63QDX/bundle.json","state":"https://pith.science/pith/G6J5F5NI4ZZHMWS6RX4FS63QDX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G6J5F5NI4ZZHMWS6RX4FS63QDX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:G6J5F5NI4ZZHMWS6RX4FS63QDX","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":"e762358608991245c732b0e93a267a480f7b345638008dff5fe88946bb36a8d0","cross_cats_sorted":["cs.AR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-31T08:26:19Z","title_canon_sha256":"d69aa12e7fe6306cb67b0050176c55aa88ab273443772d53b6da21b01f990506"},"schema_version":"1.0","source":{"id":"2506.00461","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.00461","created_at":"2026-07-05T11:13:35Z"},{"alias_kind":"arxiv_version","alias_value":"2506.00461v1","created_at":"2026-07-05T11:13:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.00461","created_at":"2026-07-05T11:13:35Z"},{"alias_kind":"pith_short_12","alias_value":"G6J5F5NI4ZZH","created_at":"2026-07-05T11:13:35Z"},{"alias_kind":"pith_short_16","alias_value":"G6J5F5NI4ZZHMWS6","created_at":"2026-07-05T11:13:35Z"},{"alias_kind":"pith_short_8","alias_value":"G6J5F5NI","created_at":"2026-07-05T11:13:35Z"}],"graph_snapshots":[{"event_id":"sha256:0713140e079898bb55b32541631cfc3a024446606a2b12d2d80da28ae87415c5","target":"graph","created_at":"2026-07-05T11:13:35Z","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/2506.00461/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As hardware design complexity increases, hardware fuzzing emerges as a promising tool for automating the verification process. However, a significant gap still exists before it can be applied in industry. This paper aims to summarize the current progress of hardware fuzzing from an industry-use perspective and propose solutions to bridge the gap between hardware fuzzing and industrial verification. First, we review recent hardware fuzzing methods and analyze their compatibilities with industrial verification. We establish criteria to assess whether a hardware fuzzing approach is compatible. Se","authors_text":"Chun Yang, Guojie Luo, Jiangfang Yi, Jiaxi Zhang, Ruiyang Ma, Tianhao Wei","cross_cats":["cs.AR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-31T08:26:19Z","title":"Bridging the Gap between Hardware Fuzzing and Industrial Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.00461","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:197b3aeef97a0047064b506c3025dcbe642873c0e2cac476821f794375614ea8","target":"record","created_at":"2026-07-05T11:13:35Z","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":"e762358608991245c732b0e93a267a480f7b345638008dff5fe88946bb36a8d0","cross_cats_sorted":["cs.AR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-31T08:26:19Z","title_canon_sha256":"d69aa12e7fe6306cb67b0050176c55aa88ab273443772d53b6da21b01f990506"},"schema_version":"1.0","source":{"id":"2506.00461","kind":"arxiv","version":1}},"canonical_sha256":"3793d2f5a8e672765a5e8df8597b701deef2f425f99b2acbf3c9ee73b9dabd37","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3793d2f5a8e672765a5e8df8597b701deef2f425f99b2acbf3c9ee73b9dabd37","first_computed_at":"2026-07-05T11:13:35.252478Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:13:35.252478Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RcAGwztY/yi7aG8J3k9e6pvqtdCJB22uUXjQRtAZB/1Utg5W1MdRYKrwzxVWLLRpyWI4Bkn3WgaV48eIX+lDDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:13:35.252935Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.00461","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:197b3aeef97a0047064b506c3025dcbe642873c0e2cac476821f794375614ea8","sha256:0713140e079898bb55b32541631cfc3a024446606a2b12d2d80da28ae87415c5"],"state_sha256":"4f8cc1cb278e7530d941680343ab709d7700614243fae1a8f8883ba7f47e211b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vybh+85ikAQdNEwhnRJrNgv7W8GUG4BggIj1ZtcjsPi8mHq+oObboYFTd19OE9CQR+voc/uO6eGj0spD/d4QCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T09:16:06.052863Z","bundle_sha256":"115e31624415bcc67d7c5fc4172fc8dfcaa3cb7d5d5b14a3a405c19f62a3cfc3"}}