{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:DCEXS2L72LNGJYIAW4BNZWGNUO","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"26a5407e27e7c2b34ccaf8e5b355b5fb29ea25a50c8b7c62a942e53d9e5f2ccf","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-04-29T14:28:47Z","title_canon_sha256":"6c36da995944666e58071e6afb0cdcabf1a62cb7baa1b942b2f09b895335cc9e"},"schema_version":"1.0","source":{"id":"2604.26727","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.26727","created_at":"2026-05-22T01:03:19Z"},{"alias_kind":"arxiv_version","alias_value":"2604.26727v2","created_at":"2026-05-22T01:03:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.26727","created_at":"2026-05-22T01:03:19Z"},{"alias_kind":"pith_short_12","alias_value":"DCEXS2L72LNG","created_at":"2026-05-22T01:03:19Z"},{"alias_kind":"pith_short_16","alias_value":"DCEXS2L72LNGJYIA","created_at":"2026-05-22T01:03:19Z"},{"alias_kind":"pith_short_8","alias_value":"DCEXS2L7","created_at":"2026-05-22T01:03:19Z"}],"graph_snapshots":[{"event_id":"sha256:58474a8605e63f86711b4a580fa5fcafe567ecb93db68c8a11c48944204a48e2","target":"graph","created_at":"2026-05-22T01:03:19Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Resource-oriented paradigms shift security from runtime validation to compile-time guarantees, reducing explicit security overhead by 60% (security check density: 6.7% vs. 16.8%, p=0.002) compared to imperative languages."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The 12 contract pairs are truly functionally equivalent and that security checks were identified and counted consistently without implementation bias from the same development team."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Move reduces security check density by 60% versus Solidity in matched contracts at the cost of 47% larger code size, based on controlled pairs and developer surveys."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Resource-oriented languages reduce explicit security overhead in smart contracts by 60% compared to imperative languages."}],"snapshot_sha256":"6a638f3faf25b633a4540cb4aced8a39b821881c49686f5bbadc5ba6194f02ce"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":false,"detectors_run":[{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-20T23:43:21.438934Z","status":"completed","version":"1.0.0"},{"findings_count":1,"name":"doi_compliance","ran_at":"2026-05-19T19:52:48.315263Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2604.26727/integrity.json","findings":[{"audited_at":"2026-05-19T19:52:48.315263Z","detected_arxiv_id":null,"detected_doi":"10.1109/IWBOSE.2019.8666770","detector":"doi_compliance","finding_type":"recoverable_identifier","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1109/IWBOSE.2019.8666770) was visible in the surrounding text but could not be confirmed against doi.org as printed.","ref_index":26,"severity":"advisory","verdict_class":"incontrovertible"}],"snapshot_sha256":"5db03e6523b40eaccfcc1a20462667c400f1614ec77d720368c34719e1a7b78b","summary":{"advisory":1,"by_detector":{"doi_compliance":{"advisory":1,"critical":0,"informational":0,"total":1}},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contract vulnerabilities have caused billions in financial losses, raising questions about whether programming language paradigms can reduce security overhead. While imperative languages like Solidity require developers to manually implement security checks, resource-oriented languages like Move encode safety guarantees in type systems. We present a preliminary mixed-methods study analyzing 12 functionally-equivalent contract pairs implemented in both Solidity and Move by the same development team, complemented by a survey of 11 developers experienced in both languages. Quantitative anal","authors_text":"Andrea Pinna, Giuseppe Destefanis, Maria Ilaria Lunesu, Matteo Vaccargiu","cross_cats":["cs.PL"],"headline":"Resource-oriented languages reduce explicit security overhead in smart contracts by 60% compared to imperative languages.","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-04-29T14:28:47Z","title":"Comparing Smart Contract Paradigms: A Preliminary Study of Security and Developer Experience"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.26727","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-07T13:10:40.135204Z","id":"e3d1c5e9-1fa5-4075-90e4-493b52d36a55","model_set":{"reader":"grok-4.3"},"one_line_summary":"Move reduces security check density by 60% versus Solidity in matched contracts at the cost of 47% larger code size, based on controlled pairs and developer surveys.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Resource-oriented languages reduce explicit security overhead in smart contracts by 60% compared to imperative languages.","strongest_claim":"Resource-oriented paradigms shift security from runtime validation to compile-time guarantees, reducing explicit security overhead by 60% (security check density: 6.7% vs. 16.8%, p=0.002) compared to imperative languages.","weakest_assumption":"The 12 contract pairs are truly functionally equivalent and that security checks were identified and counted consistently without implementation bias from the same development team."}},"verdict_id":"e3d1c5e9-1fa5-4075-90e4-493b52d36a55"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:553ae930c06538a8b2af2ee1457aa31d1badc4c242dac5562b5b68cf1b4702de","target":"record","created_at":"2026-05-22T01:03:19Z","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":"26a5407e27e7c2b34ccaf8e5b355b5fb29ea25a50c8b7c62a942e53d9e5f2ccf","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-04-29T14:28:47Z","title_canon_sha256":"6c36da995944666e58071e6afb0cdcabf1a62cb7baa1b942b2f09b895335cc9e"},"schema_version":"1.0","source":{"id":"2604.26727","kind":"arxiv","version":2}},"canonical_sha256":"188979697fd2da64e100b702dcd8cda38afa9fd822c6cc5caeae291a69d6c536","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"188979697fd2da64e100b702dcd8cda38afa9fd822c6cc5caeae291a69d6c536","first_computed_at":"2026-05-22T01:03:19.529041Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-22T01:03:19.529041Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BeYlKZRsDb8P0uLtgbZYXTbiM91Q34vfIYJrmh2CR8VopoexqnhtZU7MpYZSPENgPrVJONTwSA8hnqevjBQXAw==","signature_status":"signed_v1","signed_at":"2026-05-22T01:03:19.529660Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.26727","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:47384771716339ad2d482b341906c60d751fefa4b11c7695c5ce1f7e4173176c","sha256:553ae930c06538a8b2af2ee1457aa31d1badc4c242dac5562b5b68cf1b4702de","sha256:58474a8605e63f86711b4a580fa5fcafe567ecb93db68c8a11c48944204a48e2"],"state_sha256":"5bbfe5de25d119c20dc69339ab199c0a5ab75d48386d850d57e6f9aa2048c03d"}