{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:6SRHDSPJSORFCASJJS2JZ5ILCM","short_pith_number":"pith:6SRHDSPJ","canonical_record":{"source":{"id":"2311.00270","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-11-01T03:36:24Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"f3496107b0cc142a729658d7393990611b52aa9066857ee0dd39506d6832f53d","abstract_canon_sha256":"ee048c27f81f02f7f8e0da18b404b7b9b1843615bab390aaf4f89b85d8b1d3f5"},"schema_version":"1.0"},"canonical_sha256":"f4a271c9e993a25102494cb49cf50b1312c7f5a31076ac635c193d651c8ba3fb","source":{"kind":"arxiv","id":"2311.00270","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.00270","created_at":"2026-07-05T08:54:04Z"},{"alias_kind":"arxiv_version","alias_value":"2311.00270v3","created_at":"2026-07-05T08:54:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.00270","created_at":"2026-07-05T08:54:04Z"},{"alias_kind":"pith_short_12","alias_value":"6SRHDSPJSORF","created_at":"2026-07-05T08:54:04Z"},{"alias_kind":"pith_short_16","alias_value":"6SRHDSPJSORFCASJ","created_at":"2026-07-05T08:54:04Z"},{"alias_kind":"pith_short_8","alias_value":"6SRHDSPJ","created_at":"2026-07-05T08:54:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:6SRHDSPJSORFCASJJS2JZ5ILCM","target":"record","payload":{"canonical_record":{"source":{"id":"2311.00270","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-11-01T03:36:24Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"f3496107b0cc142a729658d7393990611b52aa9066857ee0dd39506d6832f53d","abstract_canon_sha256":"ee048c27f81f02f7f8e0da18b404b7b9b1843615bab390aaf4f89b85d8b1d3f5"},"schema_version":"1.0"},"canonical_sha256":"f4a271c9e993a25102494cb49cf50b1312c7f5a31076ac635c193d651c8ba3fb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:54:04.700082Z","signature_b64":"jH78F+9K2uelduGUe3olmvnLC+e/JLwyTGSt5CPSkZ3DDeDH2uEJmpNZNMgfRAYlbwlDK7ZPhzuoR9Tlg0w8BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f4a271c9e993a25102494cb49cf50b1312c7f5a31076ac635c193d651c8ba3fb","last_reissued_at":"2026-07-05T08:54:04.699511Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:54:04.699511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.00270","source_version":3,"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-05T08:54:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nbiqv5SIDt7rh2XwPygih39WHz2Hpu0E78isUt5aH1UJoSt+wI5Kmw+mcYr/uVNU101/MB7dFMky3+5Qim8/Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T16:32:39.026222Z"},"content_sha256":"932b966c0a2db112bbee3a433a897ae6162ba2e944b3f8b7cb28e6f2747c97d6","schema_version":"1.0","event_id":"sha256:932b966c0a2db112bbee3a433a897ae6162ba2e944b3f8b7cb28e6f2747c97d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:6SRHDSPJSORFCASJJS2JZ5ILCM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Survey on Quality Assurance of Smart Contracts","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.CR","authors_text":"Jing Sun, Liehuang Zhu, Xianhao Zhang, Xiaoxuan Yang, Zhiyuan Wei, Zijian Zhang","submitted_at":"2023-11-01T03:36:24Z","abstract_excerpt":"With the increasing adoption of smart contracts, ensuring their security has become a critical concern. Numerous vulnerabilities and attacks have been identified and exploited, resulting in significant financial losses. In response, researchers have developed various tools and techniques to identify and prevent vulnerabilities in smart contracts. In this survey, we present a systematic overview of the quality assurance of smart contracts, covering vulnerabilities, attacks, defenses, and tool support. By classifying vulnerabilities based on known attacks, we can identify patterns and common wea"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.00270","kind":"arxiv","version":3},"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/2311.00270/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-05T08:54:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gAK6oZgD4HCNUSldFcL+YzQqO+BqgvY5KZOdGKp2czHJGYPrDOMmYr9HrP+DqLp5HX6zdvOG6wFOdEW6g7gVCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T16:32:39.026609Z"},"content_sha256":"2e2fcf5a39b406cc62bd16f034b8111df7a928acfd35cf1c27ddac80d24ef36c","schema_version":"1.0","event_id":"sha256:2e2fcf5a39b406cc62bd16f034b8111df7a928acfd35cf1c27ddac80d24ef36c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6SRHDSPJSORFCASJJS2JZ5ILCM/bundle.json","state_url":"https://pith.science/pith/6SRHDSPJSORFCASJJS2JZ5ILCM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6SRHDSPJSORFCASJJS2JZ5ILCM/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-06T16:32:39Z","links":{"resolver":"https://pith.science/pith/6SRHDSPJSORFCASJJS2JZ5ILCM","bundle":"https://pith.science/pith/6SRHDSPJSORFCASJJS2JZ5ILCM/bundle.json","state":"https://pith.science/pith/6SRHDSPJSORFCASJJS2JZ5ILCM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6SRHDSPJSORFCASJJS2JZ5ILCM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:6SRHDSPJSORFCASJJS2JZ5ILCM","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":"ee048c27f81f02f7f8e0da18b404b7b9b1843615bab390aaf4f89b85d8b1d3f5","cross_cats_sorted":["cs.DC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-11-01T03:36:24Z","title_canon_sha256":"f3496107b0cc142a729658d7393990611b52aa9066857ee0dd39506d6832f53d"},"schema_version":"1.0","source":{"id":"2311.00270","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.00270","created_at":"2026-07-05T08:54:04Z"},{"alias_kind":"arxiv_version","alias_value":"2311.00270v3","created_at":"2026-07-05T08:54:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.00270","created_at":"2026-07-05T08:54:04Z"},{"alias_kind":"pith_short_12","alias_value":"6SRHDSPJSORF","created_at":"2026-07-05T08:54:04Z"},{"alias_kind":"pith_short_16","alias_value":"6SRHDSPJSORFCASJ","created_at":"2026-07-05T08:54:04Z"},{"alias_kind":"pith_short_8","alias_value":"6SRHDSPJ","created_at":"2026-07-05T08:54:04Z"}],"graph_snapshots":[{"event_id":"sha256:2e2fcf5a39b406cc62bd16f034b8111df7a928acfd35cf1c27ddac80d24ef36c","target":"graph","created_at":"2026-07-05T08:54:04Z","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/2311.00270/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"With the increasing adoption of smart contracts, ensuring their security has become a critical concern. Numerous vulnerabilities and attacks have been identified and exploited, resulting in significant financial losses. In response, researchers have developed various tools and techniques to identify and prevent vulnerabilities in smart contracts. In this survey, we present a systematic overview of the quality assurance of smart contracts, covering vulnerabilities, attacks, defenses, and tool support. By classifying vulnerabilities based on known attacks, we can identify patterns and common wea","authors_text":"Jing Sun, Liehuang Zhu, Xianhao Zhang, Xiaoxuan Yang, Zhiyuan Wei, Zijian Zhang","cross_cats":["cs.DC"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-11-01T03:36:24Z","title":"Survey on Quality Assurance of Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.00270","kind":"arxiv","version":3},"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:932b966c0a2db112bbee3a433a897ae6162ba2e944b3f8b7cb28e6f2747c97d6","target":"record","created_at":"2026-07-05T08:54:04Z","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":"ee048c27f81f02f7f8e0da18b404b7b9b1843615bab390aaf4f89b85d8b1d3f5","cross_cats_sorted":["cs.DC"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-11-01T03:36:24Z","title_canon_sha256":"f3496107b0cc142a729658d7393990611b52aa9066857ee0dd39506d6832f53d"},"schema_version":"1.0","source":{"id":"2311.00270","kind":"arxiv","version":3}},"canonical_sha256":"f4a271c9e993a25102494cb49cf50b1312c7f5a31076ac635c193d651c8ba3fb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f4a271c9e993a25102494cb49cf50b1312c7f5a31076ac635c193d651c8ba3fb","first_computed_at":"2026-07-05T08:54:04.699511Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:54:04.699511Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jH78F+9K2uelduGUe3olmvnLC+e/JLwyTGSt5CPSkZ3DDeDH2uEJmpNZNMgfRAYlbwlDK7ZPhzuoR9Tlg0w8BQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:54:04.700082Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.00270","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:932b966c0a2db112bbee3a433a897ae6162ba2e944b3f8b7cb28e6f2747c97d6","sha256:2e2fcf5a39b406cc62bd16f034b8111df7a928acfd35cf1c27ddac80d24ef36c"],"state_sha256":"50fe387de8f2b61cdf1f4886f92b418c086e729979d7f532fe51a830732f5725"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LxLJuRI66iZsi39DH0OnYdCesXN07cH/NodPhp9FIyuBSuGsaIdI8FB1FHHmOI6VVlncTywRozwTY/f7vNRNAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T16:32:39.028682Z","bundle_sha256":"f02e37479e89f56a0728db2285e88cd64e91db7778de0641e43e349cb8aac3ec"}}