{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:RB5AK47R3C34Z5KBOR6LEQ4AGI","short_pith_number":"pith:RB5AK47R","canonical_record":{"source":{"id":"2505.15242","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-21T08:18:41Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"3fc0b4cee2f6a0fda3da98f144ea707a7cd52f548236fe790b5032d7e68c2551","abstract_canon_sha256":"54e506074a2c9292e37a9395e47a64bf3064463d9c31eee00734dcb917f51025"},"schema_version":"1.0"},"canonical_sha256":"887a0573f1d8b7ccf541747cb243803234c5ad37fa768962cfbb9a7a227e326e","source":{"kind":"arxiv","id":"2505.15242","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.15242","created_at":"2026-07-05T11:07:25Z"},{"alias_kind":"arxiv_version","alias_value":"2505.15242v2","created_at":"2026-07-05T11:07:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.15242","created_at":"2026-07-05T11:07:25Z"},{"alias_kind":"pith_short_12","alias_value":"RB5AK47R3C34","created_at":"2026-07-05T11:07:25Z"},{"alias_kind":"pith_short_16","alias_value":"RB5AK47R3C34Z5KB","created_at":"2026-07-05T11:07:25Z"},{"alias_kind":"pith_short_8","alias_value":"RB5AK47R","created_at":"2026-07-05T11:07:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:RB5AK47R3C34Z5KBOR6LEQ4AGI","target":"record","payload":{"canonical_record":{"source":{"id":"2505.15242","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-21T08:18:41Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"3fc0b4cee2f6a0fda3da98f144ea707a7cd52f548236fe790b5032d7e68c2551","abstract_canon_sha256":"54e506074a2c9292e37a9395e47a64bf3064463d9c31eee00734dcb917f51025"},"schema_version":"1.0"},"canonical_sha256":"887a0573f1d8b7ccf541747cb243803234c5ad37fa768962cfbb9a7a227e326e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:07:25.434236Z","signature_b64":"3/C4c9v68W2kQLEtB9J9jELGUUx6YFpz4V+QZ9aVAxBplGE3XPaj3egXWJc6x1VT/LnLrYlm9G+VjucC6NJDBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"887a0573f1d8b7ccf541747cb243803234c5ad37fa768962cfbb9a7a227e326e","last_reissued_at":"2026-07-05T11:07:25.433777Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:07:25.433777Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.15242","source_version":2,"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:07:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YevKq1ouPlLB9k9nTqgSlpbOn1TsLPav4yf7he8x/yg6rCGy92Eevm16S75XjvTvT7GbjBhC6/lkt5vtsGjJAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T22:15:44.941290Z"},"content_sha256":"4948df89d80bf1753c14fee14880c78519b89ebcd5904ba15362f5407c7fdcbb","schema_version":"1.0","event_id":"sha256:4948df89d80bf1753c14fee14880c78519b89ebcd5904ba15362f5407c7fdcbb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:RB5AK47R3C34Z5KBOR6LEQ4AGI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CR","authors_text":"Jing Sun, Zhe Hou, Zhiyuan Wei, Zijian Zhang, Zixiao Zhao","submitted_at":"2025-05-21T08:18:41Z","abstract_excerpt":"Large Language Models (LLMs) have shown great promise in code analysis and auditing; however, they still struggle with hallucinations and limited context-aware reasoning. We introduce SmartAuditFlow, a novel Plan-Execute framework that enhances smart contract security analysis through dynamic audit planning and structured execution. Unlike conventional LLM-based auditing approaches that follow fixed workflows and predefined steps, SmartAuditFlow dynamically generates and refines audit plans based on the unique characteristics of each smart contract. It continuously adjusts its auditing strateg"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.15242","kind":"arxiv","version":2},"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/2505.15242/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:07:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"stnzCyjz2OzGEpJvodR/DeuAxobm1zIjfqs3kNLJCRUyNY5vagDknIClmvV+dSGY/d8FNMtd/vo2JYMlmH7gAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T22:15:44.941812Z"},"content_sha256":"d1401d3d1c843d6081aec50909ed5feb2bccb300a97bf09eca6d9f0caa13ceaa","schema_version":"1.0","event_id":"sha256:d1401d3d1c843d6081aec50909ed5feb2bccb300a97bf09eca6d9f0caa13ceaa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI/bundle.json","state_url":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI/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-07T22:15:44Z","links":{"resolver":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI","bundle":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI/bundle.json","state":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:RB5AK47R3C34Z5KBOR6LEQ4AGI","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":"54e506074a2c9292e37a9395e47a64bf3064463d9c31eee00734dcb917f51025","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-21T08:18:41Z","title_canon_sha256":"3fc0b4cee2f6a0fda3da98f144ea707a7cd52f548236fe790b5032d7e68c2551"},"schema_version":"1.0","source":{"id":"2505.15242","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.15242","created_at":"2026-07-05T11:07:25Z"},{"alias_kind":"arxiv_version","alias_value":"2505.15242v2","created_at":"2026-07-05T11:07:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.15242","created_at":"2026-07-05T11:07:25Z"},{"alias_kind":"pith_short_12","alias_value":"RB5AK47R3C34","created_at":"2026-07-05T11:07:25Z"},{"alias_kind":"pith_short_16","alias_value":"RB5AK47R3C34Z5KB","created_at":"2026-07-05T11:07:25Z"},{"alias_kind":"pith_short_8","alias_value":"RB5AK47R","created_at":"2026-07-05T11:07:25Z"}],"graph_snapshots":[{"event_id":"sha256:d1401d3d1c843d6081aec50909ed5feb2bccb300a97bf09eca6d9f0caa13ceaa","target":"graph","created_at":"2026-07-05T11:07:25Z","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/2505.15242/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Language Models (LLMs) have shown great promise in code analysis and auditing; however, they still struggle with hallucinations and limited context-aware reasoning. We introduce SmartAuditFlow, a novel Plan-Execute framework that enhances smart contract security analysis through dynamic audit planning and structured execution. Unlike conventional LLM-based auditing approaches that follow fixed workflows and predefined steps, SmartAuditFlow dynamically generates and refines audit plans based on the unique characteristics of each smart contract. It continuously adjusts its auditing strateg","authors_text":"Jing Sun, Zhe Hou, Zhiyuan Wei, Zijian Zhang, Zixiao Zhao","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-21T08:18:41Z","title":"Adaptive Plan-Execute Framework for Smart Contract Security Auditing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.15242","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:4948df89d80bf1753c14fee14880c78519b89ebcd5904ba15362f5407c7fdcbb","target":"record","created_at":"2026-07-05T11:07:25Z","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":"54e506074a2c9292e37a9395e47a64bf3064463d9c31eee00734dcb917f51025","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-05-21T08:18:41Z","title_canon_sha256":"3fc0b4cee2f6a0fda3da98f144ea707a7cd52f548236fe790b5032d7e68c2551"},"schema_version":"1.0","source":{"id":"2505.15242","kind":"arxiv","version":2}},"canonical_sha256":"887a0573f1d8b7ccf541747cb243803234c5ad37fa768962cfbb9a7a227e326e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"887a0573f1d8b7ccf541747cb243803234c5ad37fa768962cfbb9a7a227e326e","first_computed_at":"2026-07-05T11:07:25.433777Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:07:25.433777Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3/C4c9v68W2kQLEtB9J9jELGUUx6YFpz4V+QZ9aVAxBplGE3XPaj3egXWJc6x1VT/LnLrYlm9G+VjucC6NJDBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:07:25.434236Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.15242","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4948df89d80bf1753c14fee14880c78519b89ebcd5904ba15362f5407c7fdcbb","sha256:d1401d3d1c843d6081aec50909ed5feb2bccb300a97bf09eca6d9f0caa13ceaa"],"state_sha256":"6a97f65bf6d797ed870ca7f3f7ab9ee1112c0902bfb332d7fa9236f28f7d306b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7Mg2wefjr3+Z6xD/G77CKsEsolib4/SfHV1ZFqu5EAYyzsBZzf1lMvsVPRIfPLCkA3AiPP5gwV9e28rHjtwjCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T22:15:44.946503Z","bundle_sha256":"96bb6f89b69d347fb7a392e7ffd6ad3946b1a7e47fe5793e9dc4da106eaa3cf8"}}