{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:SVN3RUFQ7LIFMG5B3HF4WPU6ZO","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":"3bcbed1d1ebcfba4694337fc87fa86523714abfecdbe9377eea29c5a1a884426","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-04T10:30:24Z","title_canon_sha256":"7a8a59427579a99dc8067e2f9c6ddf7d08f299f8d83217ab8a02d93cbb39d5b5"},"schema_version":"1.0","source":{"id":"2606.05986","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.05986","created_at":"2026-06-05T01:15:29Z"},{"alias_kind":"arxiv_version","alias_value":"2606.05986v1","created_at":"2026-06-05T01:15:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.05986","created_at":"2026-06-05T01:15:29Z"},{"alias_kind":"pith_short_12","alias_value":"SVN3RUFQ7LIF","created_at":"2026-06-05T01:15:29Z"},{"alias_kind":"pith_short_16","alias_value":"SVN3RUFQ7LIFMG5B","created_at":"2026-06-05T01:15:29Z"},{"alias_kind":"pith_short_8","alias_value":"SVN3RUFQ","created_at":"2026-06-05T01:15:29Z"}],"graph_snapshots":[{"event_id":"sha256:855804b505bed56bb89d1e7994ad55ddaf47a9d64cb68b14d59f4f0df0e1fcb3","target":"graph","created_at":"2026-06-05T01:15:29Z","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/2606.05986/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Existing learning-based detectors for Solidity smart-contracts reduce vulnerability detection to syntactic pattern matching within single functions, yet many of the most consequential exploits (The DAO, Cream Finance) exist not in any individual function but in the relationship between functions and in the combination of conditions that made the attack feasible. Thus, we propose AttackPathGNN, a graph neural network (GNN) that reframes detection as reasoning over explicit attack paths. Two architectural choices distinguish it from prior GNN-based detectors: (1)a State Interference Graph that l","authors_text":"Adela Bara, Gabriela Dobrita, Simona-Vasilica Oprea","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-04T10:30:24Z","title":"AttackPathGNN: Cross-function vulnerability detection in smart contracts using state interference graphs and conjunction pooling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.05986","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:8aabe87baaeda1a26f1dd199f73250ad5b6b90566db6ba9c78ce791123a9fc50","target":"record","created_at":"2026-06-05T01:15:29Z","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":"3bcbed1d1ebcfba4694337fc87fa86523714abfecdbe9377eea29c5a1a884426","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-06-04T10:30:24Z","title_canon_sha256":"7a8a59427579a99dc8067e2f9c6ddf7d08f299f8d83217ab8a02d93cbb39d5b5"},"schema_version":"1.0","source":{"id":"2606.05986","kind":"arxiv","version":1}},"canonical_sha256":"955bb8d0b0fad0561ba1d9cbcb3e9ecba5f3115365f89462da75d63cd11ba74e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"955bb8d0b0fad0561ba1d9cbcb3e9ecba5f3115365f89462da75d63cd11ba74e","first_computed_at":"2026-06-05T01:15:29.614936Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-05T01:15:29.614936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KYBThQppUn+NzKc3jJhQXUGQ+cD7UO5iuiepyWnIP0BN1n+8i6EGOTL1Fcga2alS0PpBrN/DwqyEzv13xqiXBQ==","signature_status":"signed_v1","signed_at":"2026-06-05T01:15:29.615624Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.05986","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8aabe87baaeda1a26f1dd199f73250ad5b6b90566db6ba9c78ce791123a9fc50","sha256:855804b505bed56bb89d1e7994ad55ddaf47a9d64cb68b14d59f4f0df0e1fcb3"],"state_sha256":"c07108f87bc82cd55c7afb67ce73a24eb9c2efa5042f296b50debaf2cbc486cf"}