{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:KA6H5LIAJIX44UUOXKXLKAY6JE","short_pith_number":"pith:KA6H5LIA","schema_version":"1.0","canonical_sha256":"503c7ead004a2fce528ebaaeb5031e493561e30f75f2739a13305a14842a2b77","source":{"kind":"arxiv","id":"2310.02799","version":2},"attestation_state":"computed","paper":{"title":"Dissecting Smart Contract Languages: A Survey","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"G\\'isli Hj\\'almt\\'ysson, Majd Soud, Mohammad Hamdaqa","submitted_at":"2023-10-04T13:18:14Z","abstract_excerpt":"Blockchain is a distributed ledger technology that gained popularity for enabling the transformation of cryptocurrency among peers without mediation by a centralized third-party authority. Smart contracts expand the applications of blockchain technology and have played a role in its widespread adoption. Smart contracts are immutable digital programs that are deployed on blockchains to codify agreements between parties. Existing smart contract implementations have faced challenges, including security vulnerabilities, leading to significant losses and concerns. This has stimulated a wave of atte"},"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":"2310.02799","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-10-04T13:18:14Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"1f758ec8cd252e994e3d4861d07cc4e7ca936efadabc1bc78a7094ac759e2686","abstract_canon_sha256":"0672934649e34cc346263735a75e2ad83986045cf8d0fb63d021f60d83dc75c5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:57:56.174209Z","signature_b64":"T1DER3AfAv2Dq2yWjeboKz3OTvXdpMeTmHY+SskxuyISJJPwj6N92YiOpo9OS13tZNvbealHa19m+gfKGg0CCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"503c7ead004a2fce528ebaaeb5031e493561e30f75f2739a13305a14842a2b77","last_reissued_at":"2026-07-05T06:57:56.173664Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:57:56.173664Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Dissecting Smart Contract Languages: A Survey","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.CR","authors_text":"G\\'isli Hj\\'almt\\'ysson, Majd Soud, Mohammad Hamdaqa","submitted_at":"2023-10-04T13:18:14Z","abstract_excerpt":"Blockchain is a distributed ledger technology that gained popularity for enabling the transformation of cryptocurrency among peers without mediation by a centralized third-party authority. Smart contracts expand the applications of blockchain technology and have played a role in its widespread adoption. Smart contracts are immutable digital programs that are deployed on blockchains to codify agreements between parties. Existing smart contract implementations have faced challenges, including security vulnerabilities, leading to significant losses and concerns. This has stimulated a wave of atte"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.02799","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/2310.02799/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":"2310.02799","created_at":"2026-07-05T06:57:56.173720+00:00"},{"alias_kind":"arxiv_version","alias_value":"2310.02799v2","created_at":"2026-07-05T06:57:56.173720+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.02799","created_at":"2026-07-05T06:57:56.173720+00:00"},{"alias_kind":"pith_short_12","alias_value":"KA6H5LIAJIX4","created_at":"2026-07-05T06:57:56.173720+00:00"},{"alias_kind":"pith_short_16","alias_value":"KA6H5LIAJIX44UUO","created_at":"2026-07-05T06:57:56.173720+00:00"},{"alias_kind":"pith_short_8","alias_value":"KA6H5LIA","created_at":"2026-07-05T06:57:56.173720+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE","json":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE.json","graph_json":"https://pith.science/api/pith-number/KA6H5LIAJIX44UUOXKXLKAY6JE/graph.json","events_json":"https://pith.science/api/pith-number/KA6H5LIAJIX44UUOXKXLKAY6JE/events.json","paper":"https://pith.science/paper/KA6H5LIA"},"agent_actions":{"view_html":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE","download_json":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE.json","view_paper":"https://pith.science/paper/KA6H5LIA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2310.02799&json=true","fetch_graph":"https://pith.science/api/pith-number/KA6H5LIAJIX44UUOXKXLKAY6JE/graph.json","fetch_events":"https://pith.science/api/pith-number/KA6H5LIAJIX44UUOXKXLKAY6JE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE/action/storage_attestation","attest_author":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE/action/author_attestation","sign_citation":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE/action/citation_signature","submit_replication":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE/action/replication_record"}},"created_at":"2026-07-05T06:57:56.173720+00:00","updated_at":"2026-07-05T06:57:56.173720+00:00"}