{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:RB5AK47R3C34Z5KBOR6LEQ4AGI","short_pith_number":"pith:RB5AK47R","schema_version":"1.0","canonical_sha256":"887a0573f1d8b7ccf541747cb243803234c5ad37fa768962cfbb9a7a227e326e","source":{"kind":"arxiv","id":"2505.15242","version":2},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2505.15242","created_at":"2026-07-05T11:07:25.433830+00:00"},{"alias_kind":"arxiv_version","alias_value":"2505.15242v2","created_at":"2026-07-05T11:07:25.433830+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.15242","created_at":"2026-07-05T11:07:25.433830+00:00"},{"alias_kind":"pith_short_12","alias_value":"RB5AK47R3C34","created_at":"2026-07-05T11:07:25.433830+00:00"},{"alias_kind":"pith_short_16","alias_value":"RB5AK47R3C34Z5KB","created_at":"2026-07-05T11:07:25.433830+00:00"},{"alias_kind":"pith_short_8","alias_value":"RB5AK47R","created_at":"2026-07-05T11:07:25.433830+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2602.04418","citing_title":"SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing","ref_index":25,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI","json":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI.json","graph_json":"https://pith.science/api/pith-number/RB5AK47R3C34Z5KBOR6LEQ4AGI/graph.json","events_json":"https://pith.science/api/pith-number/RB5AK47R3C34Z5KBOR6LEQ4AGI/events.json","paper":"https://pith.science/paper/RB5AK47R"},"agent_actions":{"view_html":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI","download_json":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI.json","view_paper":"https://pith.science/paper/RB5AK47R","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2505.15242&json=true","fetch_graph":"https://pith.science/api/pith-number/RB5AK47R3C34Z5KBOR6LEQ4AGI/graph.json","fetch_events":"https://pith.science/api/pith-number/RB5AK47R3C34Z5KBOR6LEQ4AGI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI/action/storage_attestation","attest_author":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI/action/author_attestation","sign_citation":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI/action/citation_signature","submit_replication":"https://pith.science/pith/RB5AK47R3C34Z5KBOR6LEQ4AGI/action/replication_record"}},"created_at":"2026-07-05T11:07:25.433830+00:00","updated_at":"2026-07-05T11:07:25.433830+00:00"}