{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:ISSPQ6P6ZOB2BFK6YVBJ5MDZA2","short_pith_number":"pith:ISSPQ6P6","canonical_record":{"source":{"id":"2507.16276","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-22T06:41:30Z","cross_cats_sorted":[],"title_canon_sha256":"637066d6914892b10261c80904c55896cc1462fd41c5fd52f8c585d4f999a5db","abstract_canon_sha256":"deeb58a646ea1e11dbe8ab7421886167506755f6b380e4b3c25a06b84b50a4ca"},"schema_version":"1.0"},"canonical_sha256":"44a4f879fecb83a0955ec5429eb07906b48b940e7165c09c0dac2098edfed8b4","source":{"kind":"arxiv","id":"2507.16276","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.16276","created_at":"2026-07-05T11:41:06Z"},{"alias_kind":"arxiv_version","alias_value":"2507.16276v1","created_at":"2026-07-05T11:41:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.16276","created_at":"2026-07-05T11:41:06Z"},{"alias_kind":"pith_short_12","alias_value":"ISSPQ6P6ZOB2","created_at":"2026-07-05T11:41:06Z"},{"alias_kind":"pith_short_16","alias_value":"ISSPQ6P6ZOB2BFK6","created_at":"2026-07-05T11:41:06Z"},{"alias_kind":"pith_short_8","alias_value":"ISSPQ6P6","created_at":"2026-07-05T11:41:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:ISSPQ6P6ZOB2BFK6YVBJ5MDZA2","target":"record","payload":{"canonical_record":{"source":{"id":"2507.16276","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-22T06:41:30Z","cross_cats_sorted":[],"title_canon_sha256":"637066d6914892b10261c80904c55896cc1462fd41c5fd52f8c585d4f999a5db","abstract_canon_sha256":"deeb58a646ea1e11dbe8ab7421886167506755f6b380e4b3c25a06b84b50a4ca"},"schema_version":"1.0"},"canonical_sha256":"44a4f879fecb83a0955ec5429eb07906b48b940e7165c09c0dac2098edfed8b4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:41:06.777713Z","signature_b64":"0qGsxgwmnaSepDj+CQjPfJRPqljskzPNNLxnSp694NFf6rbiEt2qzljRYRb7aWCpYFeQ63CmSKW9hIBFuRDVDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"44a4f879fecb83a0955ec5429eb07906b48b940e7165c09c0dac2098edfed8b4","last_reissued_at":"2026-07-05T11:41:06.777266Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:41:06.777266Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.16276","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:41:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MzKBlR9BU7hQJ70opBWyFtnPs+RuEAgtxG7aNrUkniSXohjSE/r3MRVEyVCK36mtkWScuvCdH3nbogqYV/6XDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T14:14:14.114610Z"},"content_sha256":"4fdef443333b5d93aefec9cdac9042d1255f23898790b01583fd0d55a038ee0b","schema_version":"1.0","event_id":"sha256:4fdef443333b5d93aefec9cdac9042d1255f23898790b01583fd0d55a038ee0b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:ISSPQ6P6ZOB2BFK6YVBJ5MDZA2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Bertelle Cyrille, Duvallet Claude, Lambard Maxence","submitted_at":"2025-07-22T06:41:30Z","abstract_excerpt":"In an increasingly complex contractual landscape, the demand for transparency, security, and efficiency has intensified. Blockchain technology, with its decentralized and immutable nature, addresses these challenges by reducing intermediary costs, minimizing fraud risks, and enhancing system compatibility. Smart contracts, initially conceptualized by Nick Szabo and later implemented on the Ethereum blockchain, automate and secure contractual clauses, offering a robust solution for various industries. However, their complexity and the requirement for advanced programming skills present signific"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.16276","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/2507.16276/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:41:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SGc23k9RnzmcyYI48neI+XUm86Q5dhwhpWJh8Uv6aVIioHyFWCY5Fzxemwi5jhv6NiLZ4WWLCefTpRUaq928BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T14:14:14.115458Z"},"content_sha256":"e8ad962bbe1253fe0cdb9ee3772ae3b5946774ef528ba6ebb8be08b756baf7aa","schema_version":"1.0","event_id":"sha256:e8ad962bbe1253fe0cdb9ee3772ae3b5946774ef528ba6ebb8be08b756baf7aa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ISSPQ6P6ZOB2BFK6YVBJ5MDZA2/bundle.json","state_url":"https://pith.science/pith/ISSPQ6P6ZOB2BFK6YVBJ5MDZA2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ISSPQ6P6ZOB2BFK6YVBJ5MDZA2/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-08T14:14:14Z","links":{"resolver":"https://pith.science/pith/ISSPQ6P6ZOB2BFK6YVBJ5MDZA2","bundle":"https://pith.science/pith/ISSPQ6P6ZOB2BFK6YVBJ5MDZA2/bundle.json","state":"https://pith.science/pith/ISSPQ6P6ZOB2BFK6YVBJ5MDZA2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ISSPQ6P6ZOB2BFK6YVBJ5MDZA2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ISSPQ6P6ZOB2BFK6YVBJ5MDZA2","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":"deeb58a646ea1e11dbe8ab7421886167506755f6b380e4b3c25a06b84b50a4ca","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-22T06:41:30Z","title_canon_sha256":"637066d6914892b10261c80904c55896cc1462fd41c5fd52f8c585d4f999a5db"},"schema_version":"1.0","source":{"id":"2507.16276","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.16276","created_at":"2026-07-05T11:41:06Z"},{"alias_kind":"arxiv_version","alias_value":"2507.16276v1","created_at":"2026-07-05T11:41:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.16276","created_at":"2026-07-05T11:41:06Z"},{"alias_kind":"pith_short_12","alias_value":"ISSPQ6P6ZOB2","created_at":"2026-07-05T11:41:06Z"},{"alias_kind":"pith_short_16","alias_value":"ISSPQ6P6ZOB2BFK6","created_at":"2026-07-05T11:41:06Z"},{"alias_kind":"pith_short_8","alias_value":"ISSPQ6P6","created_at":"2026-07-05T11:41:06Z"}],"graph_snapshots":[{"event_id":"sha256:e8ad962bbe1253fe0cdb9ee3772ae3b5946774ef528ba6ebb8be08b756baf7aa","target":"graph","created_at":"2026-07-05T11:41:06Z","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/2507.16276/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In an increasingly complex contractual landscape, the demand for transparency, security, and efficiency has intensified. Blockchain technology, with its decentralized and immutable nature, addresses these challenges by reducing intermediary costs, minimizing fraud risks, and enhancing system compatibility. Smart contracts, initially conceptualized by Nick Szabo and later implemented on the Ethereum blockchain, automate and secure contractual clauses, offering a robust solution for various industries. However, their complexity and the requirement for advanced programming skills present signific","authors_text":"Bertelle Cyrille, Duvallet Claude, Lambard Maxence","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-22T06:41:30Z","title":"From Contracts to Code: Automating Smart Contract Generation with Multi-Level Finite State Machines"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.16276","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:4fdef443333b5d93aefec9cdac9042d1255f23898790b01583fd0d55a038ee0b","target":"record","created_at":"2026-07-05T11:41:06Z","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":"deeb58a646ea1e11dbe8ab7421886167506755f6b380e4b3c25a06b84b50a4ca","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2025-07-22T06:41:30Z","title_canon_sha256":"637066d6914892b10261c80904c55896cc1462fd41c5fd52f8c585d4f999a5db"},"schema_version":"1.0","source":{"id":"2507.16276","kind":"arxiv","version":1}},"canonical_sha256":"44a4f879fecb83a0955ec5429eb07906b48b940e7165c09c0dac2098edfed8b4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"44a4f879fecb83a0955ec5429eb07906b48b940e7165c09c0dac2098edfed8b4","first_computed_at":"2026-07-05T11:41:06.777266Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:41:06.777266Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0qGsxgwmnaSepDj+CQjPfJRPqljskzPNNLxnSp694NFf6rbiEt2qzljRYRb7aWCpYFeQ63CmSKW9hIBFuRDVDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:41:06.777713Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.16276","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4fdef443333b5d93aefec9cdac9042d1255f23898790b01583fd0d55a038ee0b","sha256:e8ad962bbe1253fe0cdb9ee3772ae3b5946774ef528ba6ebb8be08b756baf7aa"],"state_sha256":"ef25d10117287a3b677ddbdbc85bf53102218a59bb823e0d62801214384fea86"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P6gq4p0cNOYYLs1ppueh99oK+qy06sJKp2srpL4N24zDU549yHO0vugqsRxdy2BhTlIAMjYl015zmeWSquOGCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T14:14:14.120352Z","bundle_sha256":"205711c42d430bbb3045e8c5780a244b584b9392a3dd3b1c53def728da78eda6"}}