{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:NJ5YUIL2GMTJCANFMYM4AURNCC","short_pith_number":"pith:NJ5YUIL2","canonical_record":{"source":{"id":"2408.10116","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-08-19T16:03:03Z","cross_cats_sorted":[],"title_canon_sha256":"fade11d5a20c7c3ed3c73824da33010a6a8e85293df030be93abcf0761cc6055","abstract_canon_sha256":"6def5ace86f383661969e8ce6428d137341b38faa4a2f3a70870352a066111e4"},"schema_version":"1.0"},"canonical_sha256":"6a7b8a217a33269101a56619c0522d1081368537b381f278414805d0d4c2b3df","source":{"kind":"arxiv","id":"2408.10116","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.10116","created_at":"2026-07-05T08:56:51Z"},{"alias_kind":"arxiv_version","alias_value":"2408.10116v1","created_at":"2026-07-05T08:56:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.10116","created_at":"2026-07-05T08:56:51Z"},{"alias_kind":"pith_short_12","alias_value":"NJ5YUIL2GMTJ","created_at":"2026-07-05T08:56:51Z"},{"alias_kind":"pith_short_16","alias_value":"NJ5YUIL2GMTJCANF","created_at":"2026-07-05T08:56:51Z"},{"alias_kind":"pith_short_8","alias_value":"NJ5YUIL2","created_at":"2026-07-05T08:56:51Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:NJ5YUIL2GMTJCANFMYM4AURNCC","target":"record","payload":{"canonical_record":{"source":{"id":"2408.10116","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-08-19T16:03:03Z","cross_cats_sorted":[],"title_canon_sha256":"fade11d5a20c7c3ed3c73824da33010a6a8e85293df030be93abcf0761cc6055","abstract_canon_sha256":"6def5ace86f383661969e8ce6428d137341b38faa4a2f3a70870352a066111e4"},"schema_version":"1.0"},"canonical_sha256":"6a7b8a217a33269101a56619c0522d1081368537b381f278414805d0d4c2b3df","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:56:51.666845Z","signature_b64":"0srdkxa8Mk/ISmp+DAbCjaVwMEwX4JIZz4czZaT9u+/BOM50jbVjdUongLLOjgJKyQIAAf1s0SIW6+eRZOeBAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6a7b8a217a33269101a56619c0522d1081368537b381f278414805d0d4c2b3df","last_reissued_at":"2026-07-05T08:56:51.666344Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:56:51.666344Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2408.10116","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-05T08:56:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Znv2CH0SS0z/Wf/aFUGb8xkOOZrDSMfFvamAp6xrCSN2aRqwh4lievVh6hIVWQxgC84SD51P50Eq70o8WFsXAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T01:52:39.429336Z"},"content_sha256":"ad89614e9044f61a8688b07776891edd1eddbd0927abe89fceeff58d2ee284d0","schema_version":"1.0","event_id":"sha256:ad89614e9044f61a8688b07776891edd1eddbd0927abe89fceeff58d2ee284d0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:NJ5YUIL2GMTJCANFMYM4AURNCC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Cong Wu, Jing Chen, Kun He, Ruichao Liang, Ruiying Du, Ruochen Cao, Yang Liu, Yueming Wu, Ziming Zhao","submitted_at":"2024-08-19T16:03:03Z","abstract_excerpt":"Smart contracts, the cornerstone of decentralized applications, have become increasingly prominent in revolutionizing the digital landscape. However, vulnerabilities in smart contracts pose great risks to user assets and undermine overall trust in decentralized systems. But current smart contract fuzzers fall short of expectations in testing efficiency for two primary reasons. Firstly, smart contracts are stateful programs, and existing approaches, primarily coverage-guided, lack effective feedback from the contract state. Consequently, they struggle to effectively explore the contract state s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.10116","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/2408.10116/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-05T08:56:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/Mp0rQLilUIh7eFd9OYD8li1IMmz/EgFX0JI/vhB8jeYDjWGHlOoejiTwlTA5DKQoW/zl6UKQ8T24ZwFQ6fzDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T01:52:39.429826Z"},"content_sha256":"c80d39936c5e023f7a28d43a9b0d38fa4cae8d88da63805d8b61916eda5c5264","schema_version":"1.0","event_id":"sha256:c80d39936c5e023f7a28d43a9b0d38fa4cae8d88da63805d8b61916eda5c5264"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NJ5YUIL2GMTJCANFMYM4AURNCC/bundle.json","state_url":"https://pith.science/pith/NJ5YUIL2GMTJCANFMYM4AURNCC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NJ5YUIL2GMTJCANFMYM4AURNCC/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-06T01:52:39Z","links":{"resolver":"https://pith.science/pith/NJ5YUIL2GMTJCANFMYM4AURNCC","bundle":"https://pith.science/pith/NJ5YUIL2GMTJCANFMYM4AURNCC/bundle.json","state":"https://pith.science/pith/NJ5YUIL2GMTJCANFMYM4AURNCC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NJ5YUIL2GMTJCANFMYM4AURNCC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:NJ5YUIL2GMTJCANFMYM4AURNCC","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":"6def5ace86f383661969e8ce6428d137341b38faa4a2f3a70870352a066111e4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-08-19T16:03:03Z","title_canon_sha256":"fade11d5a20c7c3ed3c73824da33010a6a8e85293df030be93abcf0761cc6055"},"schema_version":"1.0","source":{"id":"2408.10116","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.10116","created_at":"2026-07-05T08:56:51Z"},{"alias_kind":"arxiv_version","alias_value":"2408.10116v1","created_at":"2026-07-05T08:56:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.10116","created_at":"2026-07-05T08:56:51Z"},{"alias_kind":"pith_short_12","alias_value":"NJ5YUIL2GMTJ","created_at":"2026-07-05T08:56:51Z"},{"alias_kind":"pith_short_16","alias_value":"NJ5YUIL2GMTJCANF","created_at":"2026-07-05T08:56:51Z"},{"alias_kind":"pith_short_8","alias_value":"NJ5YUIL2","created_at":"2026-07-05T08:56:51Z"}],"graph_snapshots":[{"event_id":"sha256:c80d39936c5e023f7a28d43a9b0d38fa4cae8d88da63805d8b61916eda5c5264","target":"graph","created_at":"2026-07-05T08:56:51Z","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/2408.10116/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contracts, the cornerstone of decentralized applications, have become increasingly prominent in revolutionizing the digital landscape. However, vulnerabilities in smart contracts pose great risks to user assets and undermine overall trust in decentralized systems. But current smart contract fuzzers fall short of expectations in testing efficiency for two primary reasons. Firstly, smart contracts are stateful programs, and existing approaches, primarily coverage-guided, lack effective feedback from the contract state. Consequently, they struggle to effectively explore the contract state s","authors_text":"Cong Wu, Jing Chen, Kun He, Ruichao Liang, Ruiying Du, Ruochen Cao, Yang Liu, Yueming Wu, Ziming Zhao","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-08-19T16:03:03Z","title":"Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.10116","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:ad89614e9044f61a8688b07776891edd1eddbd0927abe89fceeff58d2ee284d0","target":"record","created_at":"2026-07-05T08:56:51Z","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":"6def5ace86f383661969e8ce6428d137341b38faa4a2f3a70870352a066111e4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2024-08-19T16:03:03Z","title_canon_sha256":"fade11d5a20c7c3ed3c73824da33010a6a8e85293df030be93abcf0761cc6055"},"schema_version":"1.0","source":{"id":"2408.10116","kind":"arxiv","version":1}},"canonical_sha256":"6a7b8a217a33269101a56619c0522d1081368537b381f278414805d0d4c2b3df","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6a7b8a217a33269101a56619c0522d1081368537b381f278414805d0d4c2b3df","first_computed_at":"2026-07-05T08:56:51.666344Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:56:51.666344Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0srdkxa8Mk/ISmp+DAbCjaVwMEwX4JIZz4czZaT9u+/BOM50jbVjdUongLLOjgJKyQIAAf1s0SIW6+eRZOeBAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:56:51.666845Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.10116","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ad89614e9044f61a8688b07776891edd1eddbd0927abe89fceeff58d2ee284d0","sha256:c80d39936c5e023f7a28d43a9b0d38fa4cae8d88da63805d8b61916eda5c5264"],"state_sha256":"03080ceb25012626895e44ae93b3f303bc853a2d4b6a87578607d7dff076d4db"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4tbqHR3OV9MWo9u7UcQ8Sucu4RhnHuRJQmV64uBkqQieI1Ij+Q2JcMaFvBzoR1acJf/BgNbO03nr0qN6scEHDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T01:52:39.433071Z","bundle_sha256":"23260325c0df5be5f7838a34e0e1790de1da7c38aa140aabb2a5b44f6f1c56c4"}}