{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:NRT5K4HNKA5KALGDGXTLTQ5SXM","short_pith_number":"pith:NRT5K4HN","canonical_record":{"source":{"id":"2009.02663","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-06T07:38:45Z","cross_cats_sorted":[],"title_canon_sha256":"21c3a51a076dc8b0720b9ee6300b65770454f8165d3cf15538f9a973afa837b6","abstract_canon_sha256":"0154ec27f8b9cb290d94a1b8ced553927af0b6a7702a87a199f95ddf6b0872aa"},"schema_version":"1.0"},"canonical_sha256":"6c67d570ed503aa02cc335e6b9c3b2bb1eb404259ece1c40af64e850d387d745","source":{"kind":"arxiv","id":"2009.02663","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.02663","created_at":"2026-07-05T02:25:23Z"},{"alias_kind":"arxiv_version","alias_value":"2009.02663v2","created_at":"2026-07-05T02:25:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.02663","created_at":"2026-07-05T02:25:23Z"},{"alias_kind":"pith_short_12","alias_value":"NRT5K4HNKA5K","created_at":"2026-07-05T02:25:23Z"},{"alias_kind":"pith_short_16","alias_value":"NRT5K4HNKA5KALGD","created_at":"2026-07-05T02:25:23Z"},{"alias_kind":"pith_short_8","alias_value":"NRT5K4HN","created_at":"2026-07-05T02:25:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:NRT5K4HNKA5KALGDGXTLTQ5SXM","target":"record","payload":{"canonical_record":{"source":{"id":"2009.02663","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-06T07:38:45Z","cross_cats_sorted":[],"title_canon_sha256":"21c3a51a076dc8b0720b9ee6300b65770454f8165d3cf15538f9a973afa837b6","abstract_canon_sha256":"0154ec27f8b9cb290d94a1b8ced553927af0b6a7702a87a199f95ddf6b0872aa"},"schema_version":"1.0"},"canonical_sha256":"6c67d570ed503aa02cc335e6b9c3b2bb1eb404259ece1c40af64e850d387d745","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:25:23.423373Z","signature_b64":"6htmyfVwjqoLtjTd1INg/kW/zOAx6s3AKJ2e3WTRvTbiHvNTjMAww7O0cZIwBD8wPddJ6h7+ZlpGmKXBj4KqAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6c67d570ed503aa02cc335e6b9c3b2bb1eb404259ece1c40af64e850d387d745","last_reissued_at":"2026-07-05T02:25:23.422895Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:25:23.422895Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2009.02663","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-05T02:25:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rJSdHQ1MGuXEqL50EePQ3J+jhCoyLvJS81GJeh+jp45tO5SiYmkbzEp7WUoR7NhxVAzB86rn1wBYQF/dQxXNAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T03:28:34.921149Z"},"content_sha256":"4f47623ec71bb9e32b39fd98872be3263e6b964da472a757a9b1f253bbdd95e9","schema_version":"1.0","event_id":"sha256:4f47623ec71bb9e32b39fd98872be3263e6b964da472a757a9b1f253bbdd95e9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:NRT5K4HNKA5KALGDGXTLTQ5SXM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"David Lo, Jiachi Chen, John Grundy, Ting Chen, Xiapu Luo, Xin Xia","submitted_at":"2020-09-06T07:38:45Z","abstract_excerpt":"Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts are bug-free and well-designed before deploying them to the blockchain is extremely important. A contract defect is an error, flaw or fault in a smart contract that causes it to produce an incorrect or unexpected result, or to behave in unintended ways. Detecting and removing contract defects can avoid potential bugs and make programs more robust. Our previous work defined 20 contract defects for smart contracts and "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.02663","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/2009.02663/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-05T02:25:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kgLLbXUm8j3YOWybTRyNW94kPWHzPOF6oW3vwGZQecDpaR6Ab0Kj39NtqmW4qyF3c8hhie0tlHjWAwSIdGuLCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T03:28:34.921656Z"},"content_sha256":"506a96daa74232388c46a79aa0b534f00fd18c8415930f87f39321ddb7097deb","schema_version":"1.0","event_id":"sha256:506a96daa74232388c46a79aa0b534f00fd18c8415930f87f39321ddb7097deb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NRT5K4HNKA5KALGDGXTLTQ5SXM/bundle.json","state_url":"https://pith.science/pith/NRT5K4HNKA5KALGDGXTLTQ5SXM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NRT5K4HNKA5KALGDGXTLTQ5SXM/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-08-06T03:28:34Z","links":{"resolver":"https://pith.science/pith/NRT5K4HNKA5KALGDGXTLTQ5SXM","bundle":"https://pith.science/pith/NRT5K4HNKA5KALGDGXTLTQ5SXM/bundle.json","state":"https://pith.science/pith/NRT5K4HNKA5KALGDGXTLTQ5SXM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NRT5K4HNKA5KALGDGXTLTQ5SXM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:NRT5K4HNKA5KALGDGXTLTQ5SXM","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":"0154ec27f8b9cb290d94a1b8ced553927af0b6a7702a87a199f95ddf6b0872aa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-06T07:38:45Z","title_canon_sha256":"21c3a51a076dc8b0720b9ee6300b65770454f8165d3cf15538f9a973afa837b6"},"schema_version":"1.0","source":{"id":"2009.02663","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2009.02663","created_at":"2026-07-05T02:25:23Z"},{"alias_kind":"arxiv_version","alias_value":"2009.02663v2","created_at":"2026-07-05T02:25:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2009.02663","created_at":"2026-07-05T02:25:23Z"},{"alias_kind":"pith_short_12","alias_value":"NRT5K4HNKA5K","created_at":"2026-07-05T02:25:23Z"},{"alias_kind":"pith_short_16","alias_value":"NRT5K4HNKA5KALGD","created_at":"2026-07-05T02:25:23Z"},{"alias_kind":"pith_short_8","alias_value":"NRT5K4HN","created_at":"2026-07-05T02:25:23Z"}],"graph_snapshots":[{"event_id":"sha256:506a96daa74232388c46a79aa0b534f00fd18c8415930f87f39321ddb7097deb","target":"graph","created_at":"2026-07-05T02:25:23Z","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/2009.02663/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts are bug-free and well-designed before deploying them to the blockchain is extremely important. A contract defect is an error, flaw or fault in a smart contract that causes it to produce an incorrect or unexpected result, or to behave in unintended ways. Detecting and removing contract defects can avoid potential bugs and make programs more robust. Our previous work defined 20 contract defects for smart contracts and ","authors_text":"David Lo, Jiachi Chen, John Grundy, Ting Chen, Xiapu Luo, Xin Xia","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-06T07:38:45Z","title":"DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2009.02663","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:4f47623ec71bb9e32b39fd98872be3263e6b964da472a757a9b1f253bbdd95e9","target":"record","created_at":"2026-07-05T02:25:23Z","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":"0154ec27f8b9cb290d94a1b8ced553927af0b6a7702a87a199f95ddf6b0872aa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-09-06T07:38:45Z","title_canon_sha256":"21c3a51a076dc8b0720b9ee6300b65770454f8165d3cf15538f9a973afa837b6"},"schema_version":"1.0","source":{"id":"2009.02663","kind":"arxiv","version":2}},"canonical_sha256":"6c67d570ed503aa02cc335e6b9c3b2bb1eb404259ece1c40af64e850d387d745","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6c67d570ed503aa02cc335e6b9c3b2bb1eb404259ece1c40af64e850d387d745","first_computed_at":"2026-07-05T02:25:23.422895Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:25:23.422895Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"6htmyfVwjqoLtjTd1INg/kW/zOAx6s3AKJ2e3WTRvTbiHvNTjMAww7O0cZIwBD8wPddJ6h7+ZlpGmKXBj4KqAg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:25:23.423373Z","signed_message":"canonical_sha256_bytes"},"source_id":"2009.02663","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4f47623ec71bb9e32b39fd98872be3263e6b964da472a757a9b1f253bbdd95e9","sha256:506a96daa74232388c46a79aa0b534f00fd18c8415930f87f39321ddb7097deb"],"state_sha256":"6718588fdb9c20b034b39871a63c31fef23bffa6f7dec87c7247bf955748eb10"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z8XYZLpE1NHYWug0Mof0XXyOZLHwtpsJKVvPgPk/YfFc+8sfdMtyTyYfMrhUvu2HFohv2gUfRyQgDwoycDdKCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T03:28:34.925024Z","bundle_sha256":"db0c42f7ab4b3edbf617bf66b59b939d9711cb0b6340d88f51d79cbe9cd09a89"}}