{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:CUOHJHII3ZJSEGFS6FSFRSXVBG","short_pith_number":"pith:CUOHJHII","canonical_record":{"source":{"id":"2401.11108","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-01-20T04:07:53Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"829448e1cdc50eabda3c2bd479cb027752f97ef85687d8a995a72b1aa836692d","abstract_canon_sha256":"569324298637e6410327d9500f90a7b98affa4e9681a120dedd2563d2b0a21fe"},"schema_version":"1.0"},"canonical_sha256":"151c749d08de532218b2f16458caf509b6ddbbe3519b764b8cabf5ad5c60c604","source":{"kind":"arxiv","id":"2401.11108","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.11108","created_at":"2026-07-05T07:35:46Z"},{"alias_kind":"arxiv_version","alias_value":"2401.11108v1","created_at":"2026-07-05T07:35:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.11108","created_at":"2026-07-05T07:35:46Z"},{"alias_kind":"pith_short_12","alias_value":"CUOHJHII3ZJS","created_at":"2026-07-05T07:35:46Z"},{"alias_kind":"pith_short_16","alias_value":"CUOHJHII3ZJSEGFS","created_at":"2026-07-05T07:35:46Z"},{"alias_kind":"pith_short_8","alias_value":"CUOHJHII","created_at":"2026-07-05T07:35:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:CUOHJHII3ZJSEGFS6FSFRSXVBG","target":"record","payload":{"canonical_record":{"source":{"id":"2401.11108","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-01-20T04:07:53Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"829448e1cdc50eabda3c2bd479cb027752f97ef85687d8a995a72b1aa836692d","abstract_canon_sha256":"569324298637e6410327d9500f90a7b98affa4e9681a120dedd2563d2b0a21fe"},"schema_version":"1.0"},"canonical_sha256":"151c749d08de532218b2f16458caf509b6ddbbe3519b764b8cabf5ad5c60c604","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:35:46.102824Z","signature_b64":"8ZA/B1QhsdMaO2qfqWB5SnJ58z2n3N/IfBQkxujNl11sxrOj4Mu5P2yQGUcb/ZE+gtrIBwejiq8S8gaDjwaoBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"151c749d08de532218b2f16458caf509b6ddbbe3519b764b8cabf5ad5c60c604","last_reissued_at":"2026-07-05T07:35:46.102418Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:35:46.102418Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.11108","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-05T07:35:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1/1tRIShZA3K1lveZ39LwMtm00KFtWsuCiZs+ppnYIV/qcF9x3woaAipLO77xXulELxh8tVb52Lcbh86S73uBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T23:13:06.847792Z"},"content_sha256":"3e62b8dad6707156d0ef8e2491a694c3a3e6f45d24d3ec2501e5d3e34cbd4e43","schema_version":"1.0","event_id":"sha256:3e62b8dad6707156d0ef8e2491a694c3a3e6f45d24d3ec2501e5d3e34cbd4e43"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:CUOHJHII3ZJSEGFS6FSFRSXVBG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"Chaofan Shou, Doudou Lu, Jing Liu, Koushik Sen","submitted_at":"2024-01-20T04:07:53Z","abstract_excerpt":"As blockchain platforms grow exponentially, millions of lines of smart contract code are being deployed to manage extensive digital assets. However, vulnerabilities in this mission-critical code have led to significant exploitations and asset losses. Thorough automated security analysis of smart contracts is thus imperative. This paper introduces LLM4Fuzz to optimize automated smart contract security analysis by leveraging large language models (LLMs) to intelligently guide and prioritize fuzzing campaigns. While traditional fuzzing suffers from low efficiency in exploring the vast state space"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.11108","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/2401.11108/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-05T07:35:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G24jkx7qK0njqHBm4AWjsU7XDLJyTGqnBDbBNEms+fMFcCUCAkcCuZ6xTUDex0nPDBkZ00U3/orliV3QefYSCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T23:13:06.848367Z"},"content_sha256":"4d87accbb6689a517c0a584b51e1c2bf31d1dfe35f88c41de535602ceb64a874","schema_version":"1.0","event_id":"sha256:4d87accbb6689a517c0a584b51e1c2bf31d1dfe35f88c41de535602ceb64a874"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CUOHJHII3ZJSEGFS6FSFRSXVBG/bundle.json","state_url":"https://pith.science/pith/CUOHJHII3ZJSEGFS6FSFRSXVBG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CUOHJHII3ZJSEGFS6FSFRSXVBG/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-05T23:13:06Z","links":{"resolver":"https://pith.science/pith/CUOHJHII3ZJSEGFS6FSFRSXVBG","bundle":"https://pith.science/pith/CUOHJHII3ZJSEGFS6FSFRSXVBG/bundle.json","state":"https://pith.science/pith/CUOHJHII3ZJSEGFS6FSFRSXVBG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CUOHJHII3ZJSEGFS6FSFRSXVBG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:CUOHJHII3ZJSEGFS6FSFRSXVBG","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":"569324298637e6410327d9500f90a7b98affa4e9681a120dedd2563d2b0a21fe","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-01-20T04:07:53Z","title_canon_sha256":"829448e1cdc50eabda3c2bd479cb027752f97ef85687d8a995a72b1aa836692d"},"schema_version":"1.0","source":{"id":"2401.11108","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.11108","created_at":"2026-07-05T07:35:46Z"},{"alias_kind":"arxiv_version","alias_value":"2401.11108v1","created_at":"2026-07-05T07:35:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.11108","created_at":"2026-07-05T07:35:46Z"},{"alias_kind":"pith_short_12","alias_value":"CUOHJHII3ZJS","created_at":"2026-07-05T07:35:46Z"},{"alias_kind":"pith_short_16","alias_value":"CUOHJHII3ZJSEGFS","created_at":"2026-07-05T07:35:46Z"},{"alias_kind":"pith_short_8","alias_value":"CUOHJHII","created_at":"2026-07-05T07:35:46Z"}],"graph_snapshots":[{"event_id":"sha256:4d87accbb6689a517c0a584b51e1c2bf31d1dfe35f88c41de535602ceb64a874","target":"graph","created_at":"2026-07-05T07:35: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/2401.11108/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As blockchain platforms grow exponentially, millions of lines of smart contract code are being deployed to manage extensive digital assets. However, vulnerabilities in this mission-critical code have led to significant exploitations and asset losses. Thorough automated security analysis of smart contracts is thus imperative. This paper introduces LLM4Fuzz to optimize automated smart contract security analysis by leveraging large language models (LLMs) to intelligently guide and prioritize fuzzing campaigns. While traditional fuzzing suffers from low efficiency in exploring the vast state space","authors_text":"Chaofan Shou, Doudou Lu, Jing Liu, Koushik Sen","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-01-20T04:07:53Z","title":"LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.11108","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:3e62b8dad6707156d0ef8e2491a694c3a3e6f45d24d3ec2501e5d3e34cbd4e43","target":"record","created_at":"2026-07-05T07:35: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":"569324298637e6410327d9500f90a7b98affa4e9681a120dedd2563d2b0a21fe","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2024-01-20T04:07:53Z","title_canon_sha256":"829448e1cdc50eabda3c2bd479cb027752f97ef85687d8a995a72b1aa836692d"},"schema_version":"1.0","source":{"id":"2401.11108","kind":"arxiv","version":1}},"canonical_sha256":"151c749d08de532218b2f16458caf509b6ddbbe3519b764b8cabf5ad5c60c604","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"151c749d08de532218b2f16458caf509b6ddbbe3519b764b8cabf5ad5c60c604","first_computed_at":"2026-07-05T07:35:46.102418Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:35:46.102418Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8ZA/B1QhsdMaO2qfqWB5SnJ58z2n3N/IfBQkxujNl11sxrOj4Mu5P2yQGUcb/ZE+gtrIBwejiq8S8gaDjwaoBw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:35:46.102824Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.11108","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3e62b8dad6707156d0ef8e2491a694c3a3e6f45d24d3ec2501e5d3e34cbd4e43","sha256:4d87accbb6689a517c0a584b51e1c2bf31d1dfe35f88c41de535602ceb64a874"],"state_sha256":"707dc58c58db9cee74c6fb835c587178202170464e1d273a328c810950c0b384"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+MIlip/jJV4WUzyU9YeNVsVIcbgKb88tZ7j/awK6iY53A+oN0rc4w7lLBAxmOFCe/OygBlMHqOF5sSihbdaWAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T23:13:06.853375Z","bundle_sha256":"87da5828a98de02a38cc9fadda6417f8dd8f99300e0280a49881268683334e44"}}