{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:XNHHZY4VS7IC5ZWZNNYMPKISA4","short_pith_number":"pith:XNHHZY4V","schema_version":"1.0","canonical_sha256":"bb4e7ce39597d02ee6d96b70c7a912072e3b52cd8caee107a4988a49bf12066d","source":{"kind":"arxiv","id":"2410.06176","version":2},"attestation_state":"computed","paper":{"title":"SC-Bench: A Large-Scale Dataset for Smart Contract Auditing","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CR","authors_text":"Linhai Song, Mengting He, Shihao Xia, Yiying Zhang","submitted_at":"2024-10-08T16:23:50Z","abstract_excerpt":"There is a huge demand to ensure the compliance of smart contracts listed on blockchain platforms to safety and economic standards. Today, manual efforts in the form of auditing are commonly used to achieve this goal. ML-based automated techniques have the promise to alleviate human efforts and the resulting monetary costs. However, unlike other domains where ML techniques have had huge successes, no systematic ML techniques have been proposed or applied to smart contract auditing. We present SC-Bench, the first dataset for automated smart-contract auditing research. SC-Bench consists of 5,377"},"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":"2410.06176","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2024-10-08T16:23:50Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"d3e185f51c1e47fd7ca51b42d83257484683bd1728ecf2a0811f63e6eb391428","abstract_canon_sha256":"34ef17cfed282cdeb30220d4be0d0eca20cf615c95bef6e52218d59a7b784066"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:11:25.471369Z","signature_b64":"tuj0uSsSfJ9Fw7ZL1Hlm5TSCRt+EagJIXnto3qWjOmbvS9oN2i4HwwQMOfbYi5KsX6jcC2hHy9XrNPJEJ7nxBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bb4e7ce39597d02ee6d96b70c7a912072e3b52cd8caee107a4988a49bf12066d","last_reissued_at":"2026-07-05T10:11:25.470860Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:11:25.470860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"SC-Bench: A Large-Scale Dataset for Smart Contract Auditing","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CR","authors_text":"Linhai Song, Mengting He, Shihao Xia, Yiying Zhang","submitted_at":"2024-10-08T16:23:50Z","abstract_excerpt":"There is a huge demand to ensure the compliance of smart contracts listed on blockchain platforms to safety and economic standards. Today, manual efforts in the form of auditing are commonly used to achieve this goal. ML-based automated techniques have the promise to alleviate human efforts and the resulting monetary costs. However, unlike other domains where ML techniques have had huge successes, no systematic ML techniques have been proposed or applied to smart contract auditing. We present SC-Bench, the first dataset for automated smart-contract auditing research. SC-Bench consists of 5,377"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.06176","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/2410.06176/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":"2410.06176","created_at":"2026-07-05T10:11:25.470920+00:00"},{"alias_kind":"arxiv_version","alias_value":"2410.06176v2","created_at":"2026-07-05T10:11:25.470920+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.06176","created_at":"2026-07-05T10:11:25.470920+00:00"},{"alias_kind":"pith_short_12","alias_value":"XNHHZY4VS7IC","created_at":"2026-07-05T10:11:25.470920+00:00"},{"alias_kind":"pith_short_16","alias_value":"XNHHZY4VS7IC5ZWZ","created_at":"2026-07-05T10:11:25.470920+00:00"},{"alias_kind":"pith_short_8","alias_value":"XNHHZY4V","created_at":"2026-07-05T10:11:25.470920+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2601.16456","citing_title":"RubberDuckBench: A Benchmark for AI Coding Assistants","ref_index":37,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/XNHHZY4VS7IC5ZWZNNYMPKISA4","json":"https://pith.science/pith/XNHHZY4VS7IC5ZWZNNYMPKISA4.json","graph_json":"https://pith.science/api/pith-number/XNHHZY4VS7IC5ZWZNNYMPKISA4/graph.json","events_json":"https://pith.science/api/pith-number/XNHHZY4VS7IC5ZWZNNYMPKISA4/events.json","paper":"https://pith.science/paper/XNHHZY4V"},"agent_actions":{"view_html":"https://pith.science/pith/XNHHZY4VS7IC5ZWZNNYMPKISA4","download_json":"https://pith.science/pith/XNHHZY4VS7IC5ZWZNNYMPKISA4.json","view_paper":"https://pith.science/paper/XNHHZY4V","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2410.06176&json=true","fetch_graph":"https://pith.science/api/pith-number/XNHHZY4VS7IC5ZWZNNYMPKISA4/graph.json","fetch_events":"https://pith.science/api/pith-number/XNHHZY4VS7IC5ZWZNNYMPKISA4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XNHHZY4VS7IC5ZWZNNYMPKISA4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XNHHZY4VS7IC5ZWZNNYMPKISA4/action/storage_attestation","attest_author":"https://pith.science/pith/XNHHZY4VS7IC5ZWZNNYMPKISA4/action/author_attestation","sign_citation":"https://pith.science/pith/XNHHZY4VS7IC5ZWZNNYMPKISA4/action/citation_signature","submit_replication":"https://pith.science/pith/XNHHZY4VS7IC5ZWZNNYMPKISA4/action/replication_record"}},"created_at":"2026-07-05T10:11:25.470920+00:00","updated_at":"2026-07-05T10:11:25.470920+00:00"}