{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:5VPWHAG5SSZJINQFJWOSHTHHT2","short_pith_number":"pith:5VPWHAG5","schema_version":"1.0","canonical_sha256":"ed5f6380dd94b29436054d9d23cce79ebe8e3b2256072d3ba1105857f828b11e","source":{"kind":"arxiv","id":"2107.11598","version":1},"attestation_state":"computed","paper":{"title":"Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.PL"],"primary_cat":"cs.CR","authors_text":"Lin Qiu, Peng Qian, Xiaoyang Wang, Xun Wang, Yuan Zhuang, Zhenguang Liu","submitted_at":"2021-07-24T13:16:30Z","abstract_excerpt":"Smart contract vulnerability detection draws extensive attention in recent years due to the substantial losses caused by hacker attacks. Existing efforts for contract security analysis heavily rely on rigid rules defined by experts, which are labor-intensive and non-scalable. More importantly, expert-defined rules tend to be error-prone and suffer the inherent risk of being cheated by crafty attackers. Recent researches focus on the symbolic execution and formal analysis of smart contracts for vulnerability detection, yet to achieve a precise and scalable solution. Although several methods hav"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2107.11598","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2021-07-24T13:16:30Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"5a54c5ebd4a4dab3c4f6104d6f2b91307a8c472032bd34eb6c6182b5cddaeec5","abstract_canon_sha256":"bfd3d641f063f9dec9d9075b23b1206f417db051f9bb697b14683727651424de"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:00:20.892750Z","signature_b64":"gJE2HOtmfFby0txx3vMqf0GhxbfyLSN0qruQBFeQGqGjNwTGt3EwkuTH0Y/iAIXVFG8MlTpeJNZxezS6J6PzBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ed5f6380dd94b29436054d9d23cce79ebe8e3b2256072d3ba1105857f828b11e","last_reissued_at":"2026-07-05T03:00:20.892306Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:00:20.892306Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.PL"],"primary_cat":"cs.CR","authors_text":"Lin Qiu, Peng Qian, Xiaoyang Wang, Xun Wang, Yuan Zhuang, Zhenguang Liu","submitted_at":"2021-07-24T13:16:30Z","abstract_excerpt":"Smart contract vulnerability detection draws extensive attention in recent years due to the substantial losses caused by hacker attacks. Existing efforts for contract security analysis heavily rely on rigid rules defined by experts, which are labor-intensive and non-scalable. More importantly, expert-defined rules tend to be error-prone and suffer the inherent risk of being cheated by crafty attackers. Recent researches focus on the symbolic execution and formal analysis of smart contracts for vulnerability detection, yet to achieve a precise and scalable solution. Although several methods hav"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2107.11598","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/2107.11598/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2107.11598","created_at":"2026-07-05T03:00:20.892378+00:00"},{"alias_kind":"arxiv_version","alias_value":"2107.11598v1","created_at":"2026-07-05T03:00:20.892378+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2107.11598","created_at":"2026-07-05T03:00:20.892378+00:00"},{"alias_kind":"pith_short_12","alias_value":"5VPWHAG5SSZJ","created_at":"2026-07-05T03:00:20.892378+00:00"},{"alias_kind":"pith_short_16","alias_value":"5VPWHAG5SSZJINQF","created_at":"2026-07-05T03:00:20.892378+00:00"},{"alias_kind":"pith_short_8","alias_value":"5VPWHAG5","created_at":"2026-07-05T03:00:20.892378+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5VPWHAG5SSZJINQFJWOSHTHHT2","json":"https://pith.science/pith/5VPWHAG5SSZJINQFJWOSHTHHT2.json","graph_json":"https://pith.science/api/pith-number/5VPWHAG5SSZJINQFJWOSHTHHT2/graph.json","events_json":"https://pith.science/api/pith-number/5VPWHAG5SSZJINQFJWOSHTHHT2/events.json","paper":"https://pith.science/paper/5VPWHAG5"},"agent_actions":{"view_html":"https://pith.science/pith/5VPWHAG5SSZJINQFJWOSHTHHT2","download_json":"https://pith.science/pith/5VPWHAG5SSZJINQFJWOSHTHHT2.json","view_paper":"https://pith.science/paper/5VPWHAG5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2107.11598&json=true","fetch_graph":"https://pith.science/api/pith-number/5VPWHAG5SSZJINQFJWOSHTHHT2/graph.json","fetch_events":"https://pith.science/api/pith-number/5VPWHAG5SSZJINQFJWOSHTHHT2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5VPWHAG5SSZJINQFJWOSHTHHT2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5VPWHAG5SSZJINQFJWOSHTHHT2/action/storage_attestation","attest_author":"https://pith.science/pith/5VPWHAG5SSZJINQFJWOSHTHHT2/action/author_attestation","sign_citation":"https://pith.science/pith/5VPWHAG5SSZJINQFJWOSHTHHT2/action/citation_signature","submit_replication":"https://pith.science/pith/5VPWHAG5SSZJINQFJWOSHTHHT2/action/replication_record"}},"created_at":"2026-07-05T03:00:20.892378+00:00","updated_at":"2026-07-05T03:00:20.892378+00:00"}