{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:ONAHHV26DCDVGJUIXZIPJEMKOV","short_pith_number":"pith:ONAHHV26","canonical_record":{"source":{"id":"1804.01295","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-04T08:37:05Z","cross_cats_sorted":[],"title_canon_sha256":"268cdb99f165ef96cdee4a77ce8e06c28feef7ba2124c6b322a583070be5ac9e","abstract_canon_sha256":"a406690ba1c64ff0ad82214f7a748ec8b1bf852cd3f5118e7319b5b566ca8690"},"schema_version":"1.0"},"canonical_sha256":"734073d75e1887532688be50f4918a7567df1c647ea0ab2a647bd9872af4b3af","source":{"kind":"arxiv","id":"1804.01295","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.01295","created_at":"2026-05-18T00:19:15Z"},{"alias_kind":"arxiv_version","alias_value":"1804.01295v1","created_at":"2026-05-18T00:19:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.01295","created_at":"2026-05-18T00:19:15Z"},{"alias_kind":"pith_short_12","alias_value":"ONAHHV26DCDV","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"ONAHHV26DCDVGJUI","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"ONAHHV26","created_at":"2026-05-18T12:32:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:ONAHHV26DCDVGJUIXZIPJEMKOV","target":"record","payload":{"canonical_record":{"source":{"id":"1804.01295","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-04T08:37:05Z","cross_cats_sorted":[],"title_canon_sha256":"268cdb99f165ef96cdee4a77ce8e06c28feef7ba2124c6b322a583070be5ac9e","abstract_canon_sha256":"a406690ba1c64ff0ad82214f7a748ec8b1bf852cd3f5118e7319b5b566ca8690"},"schema_version":"1.0"},"canonical_sha256":"734073d75e1887532688be50f4918a7567df1c647ea0ab2a647bd9872af4b3af","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:15.506144Z","signature_b64":"UmFwNO4Q/Dn1af4aIQ3ymYUX4KRLjxGhpHGPN1n9e4iIZX6pgNJ2GYy/LrL21wp06rKUiCJ+M9Qx96FCILN/AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"734073d75e1887532688be50f4918a7567df1c647ea0ab2a647bd9872af4b3af","last_reissued_at":"2026-05-18T00:19:15.505468Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:15.505468Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.01295","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-05-18T00:19:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a1H1HL6+yc7WpYnRIX2UXBUYDCGH9CdmMg9th11GH1UQPLfO33iltbI0s+adnSt0Yf7VAzo+ZEyCE19+PHr2Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T01:15:02.703069Z"},"content_sha256":"3cd13d7254e1b45f650a7f5b3e09cf59150a985774950a49a4d67c10653eaf88","schema_version":"1.0","event_id":"sha256:3cd13d7254e1b45f650a7f5b3e09cf59150a985774950a49a4d67c10653eaf88"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:ONAHHV26DCDVGJUIXZIPJEMKOV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Executable Operational Semantics of Solidity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"David Sanan, Jiao Jiao, Jun Sun, Shang-Wei Lin, Shuanglong Kan, Yang Liu","submitted_at":"2018-04-04T08:37:05Z","abstract_excerpt":"Bitcoin has attracted everyone's attention and interest recently. Ethereum (ETH), a second generation cryptocurrency, extends Bitcoin's design by offering a Turing-complete programming language called Solidity to develop smart contracts. Smart contracts allow creditable execution of contracts on EVM (Ethereum Virtual Machine) without third parties. Developing correct smart contracts is challenging due to its decentralized computation nature. Buggy smart contracts may lead to huge financial loss. Furthermore, smart contracts are very hard, if not impossible, to patch once they are deployed. Thu"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.01295","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":""},"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-05-18T00:19:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OfRGZWx1s2Cn+MZdnddgwpStMmdUUEeZSn0a01CrKcETm3Rvq8Y3pNYsT24MIS38i+7aKAiT684jY8gU0A8mBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T01:15:02.703428Z"},"content_sha256":"accb7bb5f2c26660947483ba85eb51589a66d2d71672139d7d574bc4342fb6e9","schema_version":"1.0","event_id":"sha256:accb7bb5f2c26660947483ba85eb51589a66d2d71672139d7d574bc4342fb6e9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ONAHHV26DCDVGJUIXZIPJEMKOV/bundle.json","state_url":"https://pith.science/pith/ONAHHV26DCDVGJUIXZIPJEMKOV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ONAHHV26DCDVGJUIXZIPJEMKOV/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-06-02T01:15:02Z","links":{"resolver":"https://pith.science/pith/ONAHHV26DCDVGJUIXZIPJEMKOV","bundle":"https://pith.science/pith/ONAHHV26DCDVGJUIXZIPJEMKOV/bundle.json","state":"https://pith.science/pith/ONAHHV26DCDVGJUIXZIPJEMKOV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ONAHHV26DCDVGJUIXZIPJEMKOV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:ONAHHV26DCDVGJUIXZIPJEMKOV","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":"a406690ba1c64ff0ad82214f7a748ec8b1bf852cd3f5118e7319b5b566ca8690","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-04T08:37:05Z","title_canon_sha256":"268cdb99f165ef96cdee4a77ce8e06c28feef7ba2124c6b322a583070be5ac9e"},"schema_version":"1.0","source":{"id":"1804.01295","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.01295","created_at":"2026-05-18T00:19:15Z"},{"alias_kind":"arxiv_version","alias_value":"1804.01295v1","created_at":"2026-05-18T00:19:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.01295","created_at":"2026-05-18T00:19:15Z"},{"alias_kind":"pith_short_12","alias_value":"ONAHHV26DCDV","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"ONAHHV26DCDVGJUI","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"ONAHHV26","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:accb7bb5f2c26660947483ba85eb51589a66d2d71672139d7d574bc4342fb6e9","target":"graph","created_at":"2026-05-18T00:19:15Z","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"},"paper":{"abstract_excerpt":"Bitcoin has attracted everyone's attention and interest recently. Ethereum (ETH), a second generation cryptocurrency, extends Bitcoin's design by offering a Turing-complete programming language called Solidity to develop smart contracts. Smart contracts allow creditable execution of contracts on EVM (Ethereum Virtual Machine) without third parties. Developing correct smart contracts is challenging due to its decentralized computation nature. Buggy smart contracts may lead to huge financial loss. Furthermore, smart contracts are very hard, if not impossible, to patch once they are deployed. Thu","authors_text":"David Sanan, Jiao Jiao, Jun Sun, Shang-Wei Lin, Shuanglong Kan, Yang Liu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-04T08:37:05Z","title":"Executable Operational Semantics of Solidity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.01295","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:3cd13d7254e1b45f650a7f5b3e09cf59150a985774950a49a4d67c10653eaf88","target":"record","created_at":"2026-05-18T00:19:15Z","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":"a406690ba1c64ff0ad82214f7a748ec8b1bf852cd3f5118e7319b5b566ca8690","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-04T08:37:05Z","title_canon_sha256":"268cdb99f165ef96cdee4a77ce8e06c28feef7ba2124c6b322a583070be5ac9e"},"schema_version":"1.0","source":{"id":"1804.01295","kind":"arxiv","version":1}},"canonical_sha256":"734073d75e1887532688be50f4918a7567df1c647ea0ab2a647bd9872af4b3af","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"734073d75e1887532688be50f4918a7567df1c647ea0ab2a647bd9872af4b3af","first_computed_at":"2026-05-18T00:19:15.505468Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:15.505468Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UmFwNO4Q/Dn1af4aIQ3ymYUX4KRLjxGhpHGPN1n9e4iIZX6pgNJ2GYy/LrL21wp06rKUiCJ+M9Qx96FCILN/AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:15.506144Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.01295","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3cd13d7254e1b45f650a7f5b3e09cf59150a985774950a49a4d67c10653eaf88","sha256:accb7bb5f2c26660947483ba85eb51589a66d2d71672139d7d574bc4342fb6e9"],"state_sha256":"1c9087f6ef5ce787517010bf125ed2a94f8c0f9f697e10bce93847aef13bceb4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N05Sy2ZsY6zL71TTvDww9V4MOMEQL+0VowgW6jQYx7LngW7C1MklUaGqETIe6HIUcdWVzyKgOW2HSOkHtIu+Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T01:15:02.705410Z","bundle_sha256":"0cb8e4fac6066bfa8d482586f30fb9bf5be2d2487d72aa511a7eaac37a2654cc"}}