{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:VSLF3IZRRSYOV5LKHSEY7H2JDU","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":"b311b9c1f23624f775c0452ab3fbd33a51cdcdf789b03e9f4461b7ffc93e34aa","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-03-27T10:38:40Z","title_canon_sha256":"579c65b1ae026b76748ee12f7faf81115f8d58400454314a61b7056f57eac6ad"},"schema_version":"1.0","source":{"id":"2603.26270","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2603.26270","created_at":"2026-07-02T01:18:07Z"},{"alias_kind":"arxiv_version","alias_value":"2603.26270v2","created_at":"2026-07-02T01:18:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.26270","created_at":"2026-07-02T01:18:07Z"},{"alias_kind":"pith_short_12","alias_value":"VSLF3IZRRSYO","created_at":"2026-07-02T01:18:07Z"},{"alias_kind":"pith_short_16","alias_value":"VSLF3IZRRSYOV5LK","created_at":"2026-07-02T01:18:07Z"},{"alias_kind":"pith_short_8","alias_value":"VSLF3IZR","created_at":"2026-07-02T01:18:07Z"}],"graph_snapshots":[{"event_id":"sha256:b16b01a417ae32f75bbbf60b68641145f21fd8323bac6bc8dc979138559328de","target":"graph","created_at":"2026-07-02T01:18:07Z","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/2603.26270/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contracts govern billions of dollars in decentralized finance (DeFi), yet automated vulnerability detection remains challenging because many vulnerabilities are tightly coupled with project-specific business logic. We observe that recurring vulnerabilities across diverse DeFi business models often share the same underlying economic mechanisms, which we term DeFi semantics, and that capturing these shared abstractions can enable more systematic auditing. Building on this insight, we propose Knowdit, a knowledge-driven, agentic workflow for smart contract vulnerability detection. Knowdit f","authors_text":"Chong Wang, Pan Li, Shaohua Li, Wanxu Xia, Yang Liu, Yi Lu, Yue Xue, Ziqiao Kong, Zong Cao","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-03-27T10:38:40Z","title":"Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2603.26270","kind":"arxiv","version":2},"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:093b279d16cb9ebae95b30ec8d20025bf376a88072ecc0e4b6318ec6771182f5","target":"record","created_at":"2026-07-02T01:18:07Z","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":"b311b9c1f23624f775c0452ab3fbd33a51cdcdf789b03e9f4461b7ffc93e34aa","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2026-03-27T10:38:40Z","title_canon_sha256":"579c65b1ae026b76748ee12f7faf81115f8d58400454314a61b7056f57eac6ad"},"schema_version":"1.0","source":{"id":"2603.26270","kind":"arxiv","version":2}},"canonical_sha256":"ac965da3318cb0eaf56a3c898f9f491d39388050158d7101c180e10234f3ea6d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ac965da3318cb0eaf56a3c898f9f491d39388050158d7101c180e10234f3ea6d","first_computed_at":"2026-07-02T01:18:07.672176Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-02T01:18:07.672176Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"GalwgE1l1ZDWmDi2XO6h9hZMed/LKGLJNSaPs8MASkxAxTHT88wsZSLGpAGMplbSYq0BfKUMQvZ3Qfw2iDhyAw==","signature_status":"signed_v1","signed_at":"2026-07-02T01:18:07.672725Z","signed_message":"canonical_sha256_bytes"},"source_id":"2603.26270","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:093b279d16cb9ebae95b30ec8d20025bf376a88072ecc0e4b6318ec6771182f5","sha256:b16b01a417ae32f75bbbf60b68641145f21fd8323bac6bc8dc979138559328de"],"state_sha256":"5d5fe6cf6615918faf7863e6524782a5410feee41b8554b46efea01645f4d20e"}