{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:KA6H5LIAJIX44UUOXKXLKAY6JE","short_pith_number":"pith:KA6H5LIA","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"},"canonical_sha256":"503c7ead004a2fce528ebaaeb5031e493561e30f75f2739a13305a14842a2b77","source":{"kind":"arxiv","id":"2310.02799","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.02799","created_at":"2026-07-05T06:57:56Z"},{"alias_kind":"arxiv_version","alias_value":"2310.02799v2","created_at":"2026-07-05T06:57:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.02799","created_at":"2026-07-05T06:57:56Z"},{"alias_kind":"pith_short_12","alias_value":"KA6H5LIAJIX4","created_at":"2026-07-05T06:57:56Z"},{"alias_kind":"pith_short_16","alias_value":"KA6H5LIAJIX44UUO","created_at":"2026-07-05T06:57:56Z"},{"alias_kind":"pith_short_8","alias_value":"KA6H5LIA","created_at":"2026-07-05T06:57:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:KA6H5LIAJIX44UUOXKXLKAY6JE","target":"record","payload":{"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"},"canonical_sha256":"503c7ead004a2fce528ebaaeb5031e493561e30f75f2739a13305a14842a2b77","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"},"source_kind":"arxiv","source_id":"2310.02799","source_version":2,"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-05T06:57:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a3C0YsOOXjkh6PKQTwZRUQS97JzTfrRGWXKF7mD5b0rNEfSbW4EAd+Q321Qy+YA2kRz2/4tCcVhjNY0DM2SwDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-26T08:47:46.299647Z"},"content_sha256":"e7de05907db71aab36e30761d53b1fbfba8da4d36a869d35e5799660d4a8f984","schema_version":"1.0","event_id":"sha256:e7de05907db71aab36e30761d53b1fbfba8da4d36a869d35e5799660d4a8f984"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:KA6H5LIAJIX44UUOXKXLKAY6JE","target":"graph","payload":{"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"},"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-05T06:57:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IAwq+T6pHVZxlv8EqxVB4AQyaqChbqRdgtIQF4ArLUCjSzLOmKc1QQC2eZgOlaTVnw6YI8lEf46Bqhdwdsu8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-26T08:47:46.300027Z"},"content_sha256":"e1edcf12c93c8d4146dfa87a7b872d2bcf42ca779732c4b15cf8fa2a94436e03","schema_version":"1.0","event_id":"sha256:e1edcf12c93c8d4146dfa87a7b872d2bcf42ca779732c4b15cf8fa2a94436e03"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE/bundle.json","state_url":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KA6H5LIAJIX44UUOXKXLKAY6JE/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-07-26T08:47:46Z","links":{"resolver":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE","bundle":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE/bundle.json","state":"https://pith.science/pith/KA6H5LIAJIX44UUOXKXLKAY6JE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KA6H5LIAJIX44UUOXKXLKAY6JE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:KA6H5LIAJIX44UUOXKXLKAY6JE","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":"0672934649e34cc346263735a75e2ad83986045cf8d0fb63d021f60d83dc75c5","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-10-04T13:18:14Z","title_canon_sha256":"1f758ec8cd252e994e3d4861d07cc4e7ca936efadabc1bc78a7094ac759e2686"},"schema_version":"1.0","source":{"id":"2310.02799","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2310.02799","created_at":"2026-07-05T06:57:56Z"},{"alias_kind":"arxiv_version","alias_value":"2310.02799v2","created_at":"2026-07-05T06:57:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2310.02799","created_at":"2026-07-05T06:57:56Z"},{"alias_kind":"pith_short_12","alias_value":"KA6H5LIAJIX4","created_at":"2026-07-05T06:57:56Z"},{"alias_kind":"pith_short_16","alias_value":"KA6H5LIAJIX44UUO","created_at":"2026-07-05T06:57:56Z"},{"alias_kind":"pith_short_8","alias_value":"KA6H5LIA","created_at":"2026-07-05T06:57:56Z"}],"graph_snapshots":[{"event_id":"sha256:e1edcf12c93c8d4146dfa87a7b872d2bcf42ca779732c4b15cf8fa2a94436e03","target":"graph","created_at":"2026-07-05T06:57:56Z","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/2310.02799/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"G\\'isli Hj\\'almt\\'ysson, Majd Soud, Mohammad Hamdaqa","cross_cats":["cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-10-04T13:18:14Z","title":"Dissecting Smart Contract Languages: A Survey"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2310.02799","kind":"arxiv","version":2},"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:e7de05907db71aab36e30761d53b1fbfba8da4d36a869d35e5799660d4a8f984","target":"record","created_at":"2026-07-05T06:57:56Z","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":"0672934649e34cc346263735a75e2ad83986045cf8d0fb63d021f60d83dc75c5","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-10-04T13:18:14Z","title_canon_sha256":"1f758ec8cd252e994e3d4861d07cc4e7ca936efadabc1bc78a7094ac759e2686"},"schema_version":"1.0","source":{"id":"2310.02799","kind":"arxiv","version":2}},"canonical_sha256":"503c7ead004a2fce528ebaaeb5031e493561e30f75f2739a13305a14842a2b77","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"503c7ead004a2fce528ebaaeb5031e493561e30f75f2739a13305a14842a2b77","first_computed_at":"2026-07-05T06:57:56.173664Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:57:56.173664Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T1DER3AfAv2Dq2yWjeboKz3OTvXdpMeTmHY+SskxuyISJJPwj6N92YiOpo9OS13tZNvbealHa19m+gfKGg0CCA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:57:56.174209Z","signed_message":"canonical_sha256_bytes"},"source_id":"2310.02799","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e7de05907db71aab36e30761d53b1fbfba8da4d36a869d35e5799660d4a8f984","sha256:e1edcf12c93c8d4146dfa87a7b872d2bcf42ca779732c4b15cf8fa2a94436e03"],"state_sha256":"d993b1dc4bf20dd1de8bc30f862fe0075c3118c6235d3dc2dd186a420261b80f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2z21/CA/f+E5+YiTUgCFWlNGY5Ug9gV3nye2FJFux2iAntrPHeBauvURwUgnTXv0bJhonY8X5ecH1TcTcHDbAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-26T08:47:46.302498Z","bundle_sha256":"74c12a2b910bcc7a919092bb047947796b6f806714b90210834decf294544a09"}}