{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:UJ2V6NKYTER2M5665DB64DFW7X","short_pith_number":"pith:UJ2V6NKY","canonical_record":{"source":{"id":"2001.07125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-01-20T14:45:21Z","cross_cats_sorted":[],"title_canon_sha256":"f32271ca69fa89a1de34b27235c68b2114ae1c107c37abdbd3acad46404b78d8","abstract_canon_sha256":"4085a06d536b6bd37b32ab0e7a196e722f9c54b41387a6e788e223b0f179c49c"},"schema_version":"1.0"},"canonical_sha256":"a2755f35589923a677dee8c3ee0cb6fde9f55ddb735d68b3b8794a9adc9d56e9","source":{"kind":"arxiv","id":"2001.07125","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2001.07125","created_at":"2026-07-05T01:04:30Z"},{"alias_kind":"arxiv_version","alias_value":"2001.07125v1","created_at":"2026-07-05T01:04:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2001.07125","created_at":"2026-07-05T01:04:30Z"},{"alias_kind":"pith_short_12","alias_value":"UJ2V6NKYTER2","created_at":"2026-07-05T01:04:30Z"},{"alias_kind":"pith_short_16","alias_value":"UJ2V6NKYTER2M566","created_at":"2026-07-05T01:04:30Z"},{"alias_kind":"pith_short_8","alias_value":"UJ2V6NKY","created_at":"2026-07-05T01:04:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:UJ2V6NKYTER2M5665DB64DFW7X","target":"record","payload":{"canonical_record":{"source":{"id":"2001.07125","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-01-20T14:45:21Z","cross_cats_sorted":[],"title_canon_sha256":"f32271ca69fa89a1de34b27235c68b2114ae1c107c37abdbd3acad46404b78d8","abstract_canon_sha256":"4085a06d536b6bd37b32ab0e7a196e722f9c54b41387a6e788e223b0f179c49c"},"schema_version":"1.0"},"canonical_sha256":"a2755f35589923a677dee8c3ee0cb6fde9f55ddb735d68b3b8794a9adc9d56e9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:04:30.207138Z","signature_b64":"wT4uh0jKtSfGVWs6zXJhUvQebuUvI2JSVFIoQjipp6laP6ISdFp7IWqOClrlK4ggZNo6SS053RRb/cxjCCJLDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a2755f35589923a677dee8c3ee0cb6fde9f55ddb735d68b3b8794a9adc9d56e9","last_reissued_at":"2026-07-05T01:04:30.206659Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:04:30.206659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2001.07125","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-07-05T01:04:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DWFuUeuLptPZ6elWu6/isnJLlJZbgHIYU3tgh7PR2Nsw6PSd7TVkS78m0E3Y/0cthW0AWH8/NO75Bp+SqsT4Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T01:01:55.449415Z"},"content_sha256":"05c96a4bb36c7e91dff8f6b55c860108f344307e43f5833e6df6c7d9779f8be0","schema_version":"1.0","event_id":"sha256:05c96a4bb36c7e91dff8f6b55c860108f344307e43f5833e6df6c7d9779f8be0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:UJ2V6NKYTER2M5665DB64DFW7X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Checking Smart Contracts with Structural Code Embedding","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"David Lo, John Grundy, Lingxiao Jiang, Xin Xia, Zhipeng Gao","submitted_at":"2020-01-20T14:45:21Z","abstract_excerpt":"Smart contracts have been increasingly used together with blockchains to automate financial and business transactions. However, many bugs and vulnerabilities have been identified in many contracts which raises serious concerns about smart contract security, not to mention that the blockchain systems on which the smart contracts are built can be buggy. Thus, there is a significant need to better maintain smart contract code and ensure its high reliability. In this paper, we propose an automated approach to learn characteristics of smart contracts in Solidity, which is useful for clone detection"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2001.07125","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2001.07125/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-05T01:04:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mAvol2VXhnEqtAJzB5UwosuIH2Ogsi9h1qJaXLWp9NzvjIZ4hcdV62pYuXX/uKCQ5qJFmH1rdL4Bj7ufgGhSBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T01:01:55.449889Z"},"content_sha256":"31fe8fe5c0ac232b38ca51746240825f142c5e6c9b86cac1a621052c0be03a46","schema_version":"1.0","event_id":"sha256:31fe8fe5c0ac232b38ca51746240825f142c5e6c9b86cac1a621052c0be03a46"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UJ2V6NKYTER2M5665DB64DFW7X/bundle.json","state_url":"https://pith.science/pith/UJ2V6NKYTER2M5665DB64DFW7X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UJ2V6NKYTER2M5665DB64DFW7X/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-06T01:01:55Z","links":{"resolver":"https://pith.science/pith/UJ2V6NKYTER2M5665DB64DFW7X","bundle":"https://pith.science/pith/UJ2V6NKYTER2M5665DB64DFW7X/bundle.json","state":"https://pith.science/pith/UJ2V6NKYTER2M5665DB64DFW7X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UJ2V6NKYTER2M5665DB64DFW7X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:UJ2V6NKYTER2M5665DB64DFW7X","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":"4085a06d536b6bd37b32ab0e7a196e722f9c54b41387a6e788e223b0f179c49c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-01-20T14:45:21Z","title_canon_sha256":"f32271ca69fa89a1de34b27235c68b2114ae1c107c37abdbd3acad46404b78d8"},"schema_version":"1.0","source":{"id":"2001.07125","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2001.07125","created_at":"2026-07-05T01:04:30Z"},{"alias_kind":"arxiv_version","alias_value":"2001.07125v1","created_at":"2026-07-05T01:04:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2001.07125","created_at":"2026-07-05T01:04:30Z"},{"alias_kind":"pith_short_12","alias_value":"UJ2V6NKYTER2","created_at":"2026-07-05T01:04:30Z"},{"alias_kind":"pith_short_16","alias_value":"UJ2V6NKYTER2M566","created_at":"2026-07-05T01:04:30Z"},{"alias_kind":"pith_short_8","alias_value":"UJ2V6NKY","created_at":"2026-07-05T01:04:30Z"}],"graph_snapshots":[{"event_id":"sha256:31fe8fe5c0ac232b38ca51746240825f142c5e6c9b86cac1a621052c0be03a46","target":"graph","created_at":"2026-07-05T01:04:30Z","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/2001.07125/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Smart contracts have been increasingly used together with blockchains to automate financial and business transactions. However, many bugs and vulnerabilities have been identified in many contracts which raises serious concerns about smart contract security, not to mention that the blockchain systems on which the smart contracts are built can be buggy. Thus, there is a significant need to better maintain smart contract code and ensure its high reliability. In this paper, we propose an automated approach to learn characteristics of smart contracts in Solidity, which is useful for clone detection","authors_text":"David Lo, John Grundy, Lingxiao Jiang, Xin Xia, Zhipeng Gao","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-01-20T14:45:21Z","title":"Checking Smart Contracts with Structural Code Embedding"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2001.07125","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:05c96a4bb36c7e91dff8f6b55c860108f344307e43f5833e6df6c7d9779f8be0","target":"record","created_at":"2026-07-05T01:04:30Z","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":"4085a06d536b6bd37b32ab0e7a196e722f9c54b41387a6e788e223b0f179c49c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2020-01-20T14:45:21Z","title_canon_sha256":"f32271ca69fa89a1de34b27235c68b2114ae1c107c37abdbd3acad46404b78d8"},"schema_version":"1.0","source":{"id":"2001.07125","kind":"arxiv","version":1}},"canonical_sha256":"a2755f35589923a677dee8c3ee0cb6fde9f55ddb735d68b3b8794a9adc9d56e9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2755f35589923a677dee8c3ee0cb6fde9f55ddb735d68b3b8794a9adc9d56e9","first_computed_at":"2026-07-05T01:04:30.206659Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:04:30.206659Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wT4uh0jKtSfGVWs6zXJhUvQebuUvI2JSVFIoQjipp6laP6ISdFp7IWqOClrlK4ggZNo6SS053RRb/cxjCCJLDw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:04:30.207138Z","signed_message":"canonical_sha256_bytes"},"source_id":"2001.07125","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:05c96a4bb36c7e91dff8f6b55c860108f344307e43f5833e6df6c7d9779f8be0","sha256:31fe8fe5c0ac232b38ca51746240825f142c5e6c9b86cac1a621052c0be03a46"],"state_sha256":"1b7bac4d2441d2af451f9350134b7ee1bb63b22e8b658c98a6d5ab0f9e21d97e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gIs+snl9zaj2t3GNXt8uoG4M+ls/3KcCTAZDXVNxEO/3xCPfx1boX9N6s2U9O5RkdaknIZOCLd3GFf5DAwl6Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T01:01:55.452904Z","bundle_sha256":"f00dfcc63d4e79407983a86e69b6922f02ca60396a7426975ca7fa0959939d33"}}