{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:OCNE6ODFGQEX5OAQNP22NL6RDZ","short_pith_number":"pith:OCNE6ODF","canonical_record":{"source":{"id":"2102.02308","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2021-02-03T22:03:30Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"c13371e96f6f0cf50141ab38a4a167550168b76553122a9889464300dbf137d3","abstract_canon_sha256":"628b47d8d50734b910fb393bdc1edb70d0a38de250d65f2f6cb76a1b33660b09"},"schema_version":"1.0"},"canonical_sha256":"709a4f386534097eb8106bf5a6afd11e57d2051c81181da3271af27be68fb43a","source":{"kind":"arxiv","id":"2102.02308","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.02308","created_at":"2026-07-05T02:12:46Z"},{"alias_kind":"arxiv_version","alias_value":"2102.02308v1","created_at":"2026-07-05T02:12:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.02308","created_at":"2026-07-05T02:12:46Z"},{"alias_kind":"pith_short_12","alias_value":"OCNE6ODFGQEX","created_at":"2026-07-05T02:12:46Z"},{"alias_kind":"pith_short_16","alias_value":"OCNE6ODFGQEX5OAQ","created_at":"2026-07-05T02:12:46Z"},{"alias_kind":"pith_short_8","alias_value":"OCNE6ODF","created_at":"2026-07-05T02:12:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:OCNE6ODFGQEX5OAQNP22NL6RDZ","target":"record","payload":{"canonical_record":{"source":{"id":"2102.02308","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2021-02-03T22:03:30Z","cross_cats_sorted":["cs.CR"],"title_canon_sha256":"c13371e96f6f0cf50141ab38a4a167550168b76553122a9889464300dbf137d3","abstract_canon_sha256":"628b47d8d50734b910fb393bdc1edb70d0a38de250d65f2f6cb76a1b33660b09"},"schema_version":"1.0"},"canonical_sha256":"709a4f386534097eb8106bf5a6afd11e57d2051c81181da3271af27be68fb43a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:12:46.982214Z","signature_b64":"0YapP2AI+Y/pSj9YB1TqgiMcspaJEg4U+65zfHmIDFx4UVOYMpi5t4J7K4SBztZeiRKmP1+c8rs16aQ7VAlyAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"709a4f386534097eb8106bf5a6afd11e57d2051c81181da3271af27be68fb43a","last_reissued_at":"2026-07-05T02:12:46.981813Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:12:46.981813Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2102.02308","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-05T02:12:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fu2Dl1Mh0K3MvEdP26G+eWPtQ5Ljh4cVeR3J1wRNpKYZ6+FoTS5/sSC/UnjgN0HmFglHZ+lGTyyPHZpk2vYwDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T09:22:19.186469Z"},"content_sha256":"d722f7047cb469c540569475883f801fc6d68e023630ba7840e500e644b045bb","schema_version":"1.0","event_id":"sha256:d722f7047cb469c540569475883f801fc6d68e023630ba7840e500e644b045bb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:OCNE6ODFGQEX5OAQNP22NL6RDZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fuzzing Hardware Like Software","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CR"],"primary_cat":"cs.AR","authors_text":"Alex Chernyakhovsky, Dominic Rizzo, Garret Kelly, Kang G. Shin, Matthew Hicks, Timothy Trippel","submitted_at":"2021-02-03T22:03:30Z","abstract_excerpt":"Hardware flaws are permanent and potent: hardware cannot be patched once fabricated, and any flaws may undermine any software executing on top. Consequently, verification time dominates implementation time. The gold standard in hardware Design Verification (DV) is concentrated at two extremes: random dynamic verification and formal verification. Both struggle to root out the subtle flaws in complex hardware that often manifest as security vulnerabilities. The root problem with random verification is its undirected nature, making it inefficient, while formal verification is constrained by the s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.02308","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/2102.02308/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-05T02:12:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uVKqS7na3juMLBvQ085NARG6iTZtD3uefme+LMvdBtEe3YAbuDnnZKMQUKTmHI65F8226wdXPRSvPH887VVdAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T09:22:19.186965Z"},"content_sha256":"174fce6eca344fe74d42d59e58cbfdf7a7ad3a71e14878be172afc2652b4611c","schema_version":"1.0","event_id":"sha256:174fce6eca344fe74d42d59e58cbfdf7a7ad3a71e14878be172afc2652b4611c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OCNE6ODFGQEX5OAQNP22NL6RDZ/bundle.json","state_url":"https://pith.science/pith/OCNE6ODFGQEX5OAQNP22NL6RDZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OCNE6ODFGQEX5OAQNP22NL6RDZ/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:22:19Z","links":{"resolver":"https://pith.science/pith/OCNE6ODFGQEX5OAQNP22NL6RDZ","bundle":"https://pith.science/pith/OCNE6ODFGQEX5OAQNP22NL6RDZ/bundle.json","state":"https://pith.science/pith/OCNE6ODFGQEX5OAQNP22NL6RDZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OCNE6ODFGQEX5OAQNP22NL6RDZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:OCNE6ODFGQEX5OAQNP22NL6RDZ","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":"628b47d8d50734b910fb393bdc1edb70d0a38de250d65f2f6cb76a1b33660b09","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2021-02-03T22:03:30Z","title_canon_sha256":"c13371e96f6f0cf50141ab38a4a167550168b76553122a9889464300dbf137d3"},"schema_version":"1.0","source":{"id":"2102.02308","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2102.02308","created_at":"2026-07-05T02:12:46Z"},{"alias_kind":"arxiv_version","alias_value":"2102.02308v1","created_at":"2026-07-05T02:12:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2102.02308","created_at":"2026-07-05T02:12:46Z"},{"alias_kind":"pith_short_12","alias_value":"OCNE6ODFGQEX","created_at":"2026-07-05T02:12:46Z"},{"alias_kind":"pith_short_16","alias_value":"OCNE6ODFGQEX5OAQ","created_at":"2026-07-05T02:12:46Z"},{"alias_kind":"pith_short_8","alias_value":"OCNE6ODF","created_at":"2026-07-05T02:12:46Z"}],"graph_snapshots":[{"event_id":"sha256:174fce6eca344fe74d42d59e58cbfdf7a7ad3a71e14878be172afc2652b4611c","target":"graph","created_at":"2026-07-05T02:12:46Z","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/2102.02308/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Hardware flaws are permanent and potent: hardware cannot be patched once fabricated, and any flaws may undermine any software executing on top. Consequently, verification time dominates implementation time. The gold standard in hardware Design Verification (DV) is concentrated at two extremes: random dynamic verification and formal verification. Both struggle to root out the subtle flaws in complex hardware that often manifest as security vulnerabilities. The root problem with random verification is its undirected nature, making it inefficient, while formal verification is constrained by the s","authors_text":"Alex Chernyakhovsky, Dominic Rizzo, Garret Kelly, Kang G. Shin, Matthew Hicks, Timothy Trippel","cross_cats":["cs.CR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2021-02-03T22:03:30Z","title":"Fuzzing Hardware Like Software"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2102.02308","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:d722f7047cb469c540569475883f801fc6d68e023630ba7840e500e644b045bb","target":"record","created_at":"2026-07-05T02:12:46Z","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":"628b47d8d50734b910fb393bdc1edb70d0a38de250d65f2f6cb76a1b33660b09","cross_cats_sorted":["cs.CR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2021-02-03T22:03:30Z","title_canon_sha256":"c13371e96f6f0cf50141ab38a4a167550168b76553122a9889464300dbf137d3"},"schema_version":"1.0","source":{"id":"2102.02308","kind":"arxiv","version":1}},"canonical_sha256":"709a4f386534097eb8106bf5a6afd11e57d2051c81181da3271af27be68fb43a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"709a4f386534097eb8106bf5a6afd11e57d2051c81181da3271af27be68fb43a","first_computed_at":"2026-07-05T02:12:46.981813Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:12:46.981813Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0YapP2AI+Y/pSj9YB1TqgiMcspaJEg4U+65zfHmIDFx4UVOYMpi5t4J7K4SBztZeiRKmP1+c8rs16aQ7VAlyAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:12:46.982214Z","signed_message":"canonical_sha256_bytes"},"source_id":"2102.02308","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d722f7047cb469c540569475883f801fc6d68e023630ba7840e500e644b045bb","sha256:174fce6eca344fe74d42d59e58cbfdf7a7ad3a71e14878be172afc2652b4611c"],"state_sha256":"222d4556ffb20f700ece26b842533ad092c1fb7af3dbb38de1615f85470618ea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JObtR6o4WbaolJDhehpT1mvA44hMZDoXrmH+94BXtTadsl9qlaRS5+7hQ7WiQd21NsSpFE1ZZBFlv4jmbAxcCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T09:22:19.194240Z","bundle_sha256":"ca1c87d2da392d03c6999d7cabe8fe4ad3ffb0713331e462a0db72e91c3ccdec"}}