{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:K2CP5GMSEB6QDHBU5FERYVOM2T","short_pith_number":"pith:K2CP5GMS","canonical_record":{"source":{"id":"2505.08542","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-13T13:13:26Z","cross_cats_sorted":[],"title_canon_sha256":"4fe279a776561e0e30ac08707b9387ed70764e65ffc0b4cd017a059c7bde45c9","abstract_canon_sha256":"b2046b85b4ca9398c979a50d6bf67d3d8e73773fecb9a3d01bc49ce23f3163da"},"schema_version":"1.0"},"canonical_sha256":"5684fe9992207d019c34e9491c55ccd4c48aade711a67ad3d27fbb2fa2f0ae8f","source":{"kind":"arxiv","id":"2505.08542","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.08542","created_at":"2026-07-05T11:02:32Z"},{"alias_kind":"arxiv_version","alias_value":"2505.08542v1","created_at":"2026-07-05T11:02:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.08542","created_at":"2026-07-05T11:02:32Z"},{"alias_kind":"pith_short_12","alias_value":"K2CP5GMSEB6Q","created_at":"2026-07-05T11:02:32Z"},{"alias_kind":"pith_short_16","alias_value":"K2CP5GMSEB6QDHBU","created_at":"2026-07-05T11:02:32Z"},{"alias_kind":"pith_short_8","alias_value":"K2CP5GMS","created_at":"2026-07-05T11:02:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:K2CP5GMSEB6QDHBU5FERYVOM2T","target":"record","payload":{"canonical_record":{"source":{"id":"2505.08542","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-13T13:13:26Z","cross_cats_sorted":[],"title_canon_sha256":"4fe279a776561e0e30ac08707b9387ed70764e65ffc0b4cd017a059c7bde45c9","abstract_canon_sha256":"b2046b85b4ca9398c979a50d6bf67d3d8e73773fecb9a3d01bc49ce23f3163da"},"schema_version":"1.0"},"canonical_sha256":"5684fe9992207d019c34e9491c55ccd4c48aade711a67ad3d27fbb2fa2f0ae8f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:02:32.282654Z","signature_b64":"elQ8i6TN3/EdxduzS9fN/3NG3Fy4lsDoxYcR/kyDVncj+MvPMgSgEdPmyO1vXhe9Mc59KZKAhIKBgPRXZNb0CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5684fe9992207d019c34e9491c55ccd4c48aade711a67ad3d27fbb2fa2f0ae8f","last_reissued_at":"2026-07-05T11:02:32.282122Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:02:32.282122Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.08542","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:02:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9bqZfaV56sM9WFtdgumqxGfaoMZgU39z77jd6+xeevWgkAbpYjLUlEq9hpjDyYSNGeWw818K0/NfW04l4IacCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T12:04:14.584698Z"},"content_sha256":"9e51a4f714ef6651d8f968326a7816048d7777c5fe5ed02b273fceff65f378b3","schema_version":"1.0","event_id":"sha256:9e51a4f714ef6651d8f968326a7816048d7777c5fe5ed02b273fceff65f378b3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:K2CP5GMSEB6QDHBU5FERYVOM2T","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Guiding LLM-based Smart Contract Generation with Finite State Machine","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Hao Luo, Hao Wang, Jiawei Jiang, Qiming Zeng, Xiao Yan, Xintong Hu, Yuhao Lin, Yuxiang Wang","submitted_at":"2025-05-13T13:13:26Z","abstract_excerpt":"Smart contract is a kind of self-executing code based on blockchain technology with a wide range of application scenarios, but the traditional generation method relies on manual coding and expert auditing, which has a high threshold and low efficiency. Although Large Language Models (LLMs) show great potential in programming tasks, they still face challenges in smart contract generation w.r.t. effectiveness and security. To solve these problems, we propose FSM-SCG, a smart contract generation framework based on finite state machine (FSM) and LLMs, which significantly improves the quality of th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.08542","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/2505.08542/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:02:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"77ixLuKYBFI8GLLOdNwdb9tYt5Pl1Yb43DR77DDhwbNblFHtF2Vsj955sDb71CDnFXmnNYCvbQfi5jxZwyMHBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T12:04:14.585752Z"},"content_sha256":"76454fa184674dd5d0eb08730b4fcd3f85621485fa3928aa3c55126854c9c235","schema_version":"1.0","event_id":"sha256:76454fa184674dd5d0eb08730b4fcd3f85621485fa3928aa3c55126854c9c235"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K2CP5GMSEB6QDHBU5FERYVOM2T/bundle.json","state_url":"https://pith.science/pith/K2CP5GMSEB6QDHBU5FERYVOM2T/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K2CP5GMSEB6QDHBU5FERYVOM2T/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-16T12:04:14Z","links":{"resolver":"https://pith.science/pith/K2CP5GMSEB6QDHBU5FERYVOM2T","bundle":"https://pith.science/pith/K2CP5GMSEB6QDHBU5FERYVOM2T/bundle.json","state":"https://pith.science/pith/K2CP5GMSEB6QDHBU5FERYVOM2T/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K2CP5GMSEB6QDHBU5FERYVOM2T/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:K2CP5GMSEB6QDHBU5FERYVOM2T","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":"b2046b85b4ca9398c979a50d6bf67d3d8e73773fecb9a3d01bc49ce23f3163da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-13T13:13:26Z","title_canon_sha256":"4fe279a776561e0e30ac08707b9387ed70764e65ffc0b4cd017a059c7bde45c9"},"schema_version":"1.0","source":{"id":"2505.08542","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.08542","created_at":"2026-07-05T11:02:32Z"},{"alias_kind":"arxiv_version","alias_value":"2505.08542v1","created_at":"2026-07-05T11:02:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.08542","created_at":"2026-07-05T11:02:32Z"},{"alias_kind":"pith_short_12","alias_value":"K2CP5GMSEB6Q","created_at":"2026-07-05T11:02:32Z"},{"alias_kind":"pith_short_16","alias_value":"K2CP5GMSEB6QDHBU","created_at":"2026-07-05T11:02:32Z"},{"alias_kind":"pith_short_8","alias_value":"K2CP5GMS","created_at":"2026-07-05T11:02:32Z"}],"graph_snapshots":[{"event_id":"sha256:76454fa184674dd5d0eb08730b4fcd3f85621485fa3928aa3c55126854c9c235","target":"graph","created_at":"2026-07-05T11:02:32Z","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.08542/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contract is a kind of self-executing code based on blockchain technology with a wide range of application scenarios, but the traditional generation method relies on manual coding and expert auditing, which has a high threshold and low efficiency. Although Large Language Models (LLMs) show great potential in programming tasks, they still face challenges in smart contract generation w.r.t. effectiveness and security. To solve these problems, we propose FSM-SCG, a smart contract generation framework based on finite state machine (FSM) and LLMs, which significantly improves the quality of th","authors_text":"Hao Luo, Hao Wang, Jiawei Jiang, Qiming Zeng, Xiao Yan, Xintong Hu, Yuhao Lin, Yuxiang Wang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-13T13:13:26Z","title":"Guiding LLM-based Smart Contract Generation with Finite State Machine"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.08542","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:9e51a4f714ef6651d8f968326a7816048d7777c5fe5ed02b273fceff65f378b3","target":"record","created_at":"2026-07-05T11:02:32Z","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":"b2046b85b4ca9398c979a50d6bf67d3d8e73773fecb9a3d01bc49ce23f3163da","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2025-05-13T13:13:26Z","title_canon_sha256":"4fe279a776561e0e30ac08707b9387ed70764e65ffc0b4cd017a059c7bde45c9"},"schema_version":"1.0","source":{"id":"2505.08542","kind":"arxiv","version":1}},"canonical_sha256":"5684fe9992207d019c34e9491c55ccd4c48aade711a67ad3d27fbb2fa2f0ae8f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5684fe9992207d019c34e9491c55ccd4c48aade711a67ad3d27fbb2fa2f0ae8f","first_computed_at":"2026-07-05T11:02:32.282122Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:02:32.282122Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"elQ8i6TN3/EdxduzS9fN/3NG3Fy4lsDoxYcR/kyDVncj+MvPMgSgEdPmyO1vXhe9Mc59KZKAhIKBgPRXZNb0CQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:02:32.282654Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.08542","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9e51a4f714ef6651d8f968326a7816048d7777c5fe5ed02b273fceff65f378b3","sha256:76454fa184674dd5d0eb08730b4fcd3f85621485fa3928aa3c55126854c9c235"],"state_sha256":"e127195cad6c746aae1192ec1ab24e5176cb60589205970ffbbf06c99466ab75"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"97HJp5wJzbWMG5rqwFqaQdkzeJBT5LNA+1xhPog8+2mGnAMths5uKMIBo2OOzJ53VGW3AGfIWnlkOskBZGfkCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T12:04:14.590435Z","bundle_sha256":"0ceb2d5a7fc102b89876ba575a6c94b65baffe0e5d98e1b7af9bb612fced4b29"}}