{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:RTYVX4KIVO3XJN22B5RBTOWHZB","short_pith_number":"pith:RTYVX4KI","canonical_record":{"source":{"id":"2506.06735","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-07T09:44:26Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"4f5cf8b22e20f5addd2ff0660d50d296e6e6f46563de6bc300b8d09a09415b1a","abstract_canon_sha256":"4be447ee86b48a5d5ac4a1e83ea97cb25f711c93fa8074c7680feb187d0b0ccb"},"schema_version":"1.0"},"canonical_sha256":"8cf15bf148abb774b75a0f6219bac7c87841b4dc923ae3bfaccb8eb9de4da890","source":{"kind":"arxiv","id":"2506.06735","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.06735","created_at":"2026-07-05T11:17:54Z"},{"alias_kind":"arxiv_version","alias_value":"2506.06735v1","created_at":"2026-07-05T11:17:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.06735","created_at":"2026-07-05T11:17:54Z"},{"alias_kind":"pith_short_12","alias_value":"RTYVX4KIVO3X","created_at":"2026-07-05T11:17:54Z"},{"alias_kind":"pith_short_16","alias_value":"RTYVX4KIVO3XJN22","created_at":"2026-07-05T11:17:54Z"},{"alias_kind":"pith_short_8","alias_value":"RTYVX4KI","created_at":"2026-07-05T11:17:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:RTYVX4KIVO3XJN22B5RBTOWHZB","target":"record","payload":{"canonical_record":{"source":{"id":"2506.06735","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-07T09:44:26Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"4f5cf8b22e20f5addd2ff0660d50d296e6e6f46563de6bc300b8d09a09415b1a","abstract_canon_sha256":"4be447ee86b48a5d5ac4a1e83ea97cb25f711c93fa8074c7680feb187d0b0ccb"},"schema_version":"1.0"},"canonical_sha256":"8cf15bf148abb774b75a0f6219bac7c87841b4dc923ae3bfaccb8eb9de4da890","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:17:54.874373Z","signature_b64":"diDzaJimJR+CiUn99iYjxooV5hYoIBF+ZqQiLEdnOP65QtsnFzion9saW1K01rZWAigbderqfNl7vMEloF4TCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8cf15bf148abb774b75a0f6219bac7c87841b4dc923ae3bfaccb8eb9de4da890","last_reissued_at":"2026-07-05T11:17:54.873964Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:17:54.873964Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.06735","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:17:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"02eQDpuxiT3PTsa7KK7v3FRxtbuW4jup85cfHlUZewgOayeocdNpFIU+KDAWga1EYaLQAi9pNQS8wcdw45AKCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T20:26:21.877088Z"},"content_sha256":"ae81c0a2b5e307c067566eb3f26cf0f09efff66a109069cb337776276a3de171","schema_version":"1.0","event_id":"sha256:ae81c0a2b5e307c067566eb3f26cf0f09efff66a109069cb337776276a3de171"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:RTYVX4KIVO3XJN22B5RBTOWHZB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Ai-Driven Vulnerability Analysis in Smart Contracts: Trends, Challenges and Future Directions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CR","authors_text":"Mesut Ozdag","submitted_at":"2025-06-07T09:44:26Z","abstract_excerpt":"Smart contracts, integral to blockchain ecosystems, enable decentralized applications to execute predefined operations without intermediaries. Their ability to enforce trustless interactions has made them a core component of platforms such as Ethereum. Vulnerabilities such as numerical overflows, reentrancy attacks, and improper access permissions have led to the loss of millions of dollars throughout the blockchain and smart contract sector. Traditional smart contract auditing techniques such as manual code reviews and formal verification face limitations in scalability, automation, and adapt"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.06735","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.06735/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:17:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YYB100VjbX4eK32n4B9HWBTel2swZgYxnaDHDbUJw+GzzijG35woZPsERYwkZP2+YWZEf0cSeR9oAKvY4bs6BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T20:26:21.878005Z"},"content_sha256":"393c1ab3de5a2d3f6a983b8966e50106ac04c1bb03487cdcd5d0a7ed534d57d8","schema_version":"1.0","event_id":"sha256:393c1ab3de5a2d3f6a983b8966e50106ac04c1bb03487cdcd5d0a7ed534d57d8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RTYVX4KIVO3XJN22B5RBTOWHZB/bundle.json","state_url":"https://pith.science/pith/RTYVX4KIVO3XJN22B5RBTOWHZB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RTYVX4KIVO3XJN22B5RBTOWHZB/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-08T20:26:21Z","links":{"resolver":"https://pith.science/pith/RTYVX4KIVO3XJN22B5RBTOWHZB","bundle":"https://pith.science/pith/RTYVX4KIVO3XJN22B5RBTOWHZB/bundle.json","state":"https://pith.science/pith/RTYVX4KIVO3XJN22B5RBTOWHZB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RTYVX4KIVO3XJN22B5RBTOWHZB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:RTYVX4KIVO3XJN22B5RBTOWHZB","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":"4be447ee86b48a5d5ac4a1e83ea97cb25f711c93fa8074c7680feb187d0b0ccb","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-07T09:44:26Z","title_canon_sha256":"4f5cf8b22e20f5addd2ff0660d50d296e6e6f46563de6bc300b8d09a09415b1a"},"schema_version":"1.0","source":{"id":"2506.06735","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.06735","created_at":"2026-07-05T11:17:54Z"},{"alias_kind":"arxiv_version","alias_value":"2506.06735v1","created_at":"2026-07-05T11:17:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.06735","created_at":"2026-07-05T11:17:54Z"},{"alias_kind":"pith_short_12","alias_value":"RTYVX4KIVO3X","created_at":"2026-07-05T11:17:54Z"},{"alias_kind":"pith_short_16","alias_value":"RTYVX4KIVO3XJN22","created_at":"2026-07-05T11:17:54Z"},{"alias_kind":"pith_short_8","alias_value":"RTYVX4KI","created_at":"2026-07-05T11:17:54Z"}],"graph_snapshots":[{"event_id":"sha256:393c1ab3de5a2d3f6a983b8966e50106ac04c1bb03487cdcd5d0a7ed534d57d8","target":"graph","created_at":"2026-07-05T11:17:54Z","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.06735/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contracts, integral to blockchain ecosystems, enable decentralized applications to execute predefined operations without intermediaries. Their ability to enforce trustless interactions has made them a core component of platforms such as Ethereum. Vulnerabilities such as numerical overflows, reentrancy attacks, and improper access permissions have led to the loss of millions of dollars throughout the blockchain and smart contract sector. Traditional smart contract auditing techniques such as manual code reviews and formal verification face limitations in scalability, automation, and adapt","authors_text":"Mesut Ozdag","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-07T09:44:26Z","title":"Ai-Driven Vulnerability Analysis in Smart Contracts: Trends, Challenges and Future Directions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.06735","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:ae81c0a2b5e307c067566eb3f26cf0f09efff66a109069cb337776276a3de171","target":"record","created_at":"2026-07-05T11:17:54Z","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":"4be447ee86b48a5d5ac4a1e83ea97cb25f711c93fa8074c7680feb187d0b0ccb","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-07T09:44:26Z","title_canon_sha256":"4f5cf8b22e20f5addd2ff0660d50d296e6e6f46563de6bc300b8d09a09415b1a"},"schema_version":"1.0","source":{"id":"2506.06735","kind":"arxiv","version":1}},"canonical_sha256":"8cf15bf148abb774b75a0f6219bac7c87841b4dc923ae3bfaccb8eb9de4da890","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8cf15bf148abb774b75a0f6219bac7c87841b4dc923ae3bfaccb8eb9de4da890","first_computed_at":"2026-07-05T11:17:54.873964Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:17:54.873964Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"diDzaJimJR+CiUn99iYjxooV5hYoIBF+ZqQiLEdnOP65QtsnFzion9saW1K01rZWAigbderqfNl7vMEloF4TCg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:17:54.874373Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.06735","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ae81c0a2b5e307c067566eb3f26cf0f09efff66a109069cb337776276a3de171","sha256:393c1ab3de5a2d3f6a983b8966e50106ac04c1bb03487cdcd5d0a7ed534d57d8"],"state_sha256":"e70ada29e01e71d310f1be6cf4fcee4c38af43cca4a0c6358f2eb3364847ae7b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uu3MHojkoMeHGqdpra00Xz6fOACK1BnK7oMsVLPGVXKYugX2FTjHQLQOVByn9savUr377bYUUmMZw1pA347MCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T20:26:21.883036Z","bundle_sha256":"f7d44ab428013b04186957f5e600c7e349ecf0653cf556263e93b26e0791fa56"}}