{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:2EDAASSY5YYJTGIPJHNCJFVYXN","short_pith_number":"pith:2EDAASSY","schema_version":"1.0","canonical_sha256":"d106004a58ee3099990f49da2496b8bb440ef2de9a4aa23a6ad7e5a857637b6d","source":{"kind":"arxiv","id":"2304.10726","version":3},"attestation_state":"computed","paper":{"title":"Usenix'23 Extended Version: Smart Learning to Find Dumb Contracts","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.ET","cs.LG","cs.SE"],"primary_cat":"cs.CR","authors_text":"Aquinas Hobor, Tamer Abdelaziz","submitted_at":"2023-04-21T03:45:10Z","abstract_excerpt":"We introduce the Deep Learning Vulnerability Analyzer (DLVA) for Ethereum smart contracts based on neural networks. We train DLVA to judge bytecode even though the supervising oracle can only judge source. DLVA's training algorithm is general: we extend a source code analysis to bytecode without any manual feature engineering, predefined patterns, or expert rules. DLVA's training algorithm is also robust: it overcame a 1.25% error rate mislabeled contracts, and--the student surpassing the teacher--found vulnerable contracts that Slither mislabeled. DLVA is much faster than other smart contract"},"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":"2304.10726","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2023-04-21T03:45:10Z","cross_cats_sorted":["cs.ET","cs.LG","cs.SE"],"title_canon_sha256":"f8380b1b438e1de1f92392db6be8f8320a69974b284d68a17dc794f7070df8c5","abstract_canon_sha256":"0e124f0a7599d90d803d76db0e9997eeb232250e570875054360b8e9ee771c2e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:02:44.959500Z","signature_b64":"hqSP2i5FtZlU3dEszEt54BHtqzFqtqaEqa9vrpbIry8u1Y9aaJcZ3pOloCRWieqRLmOeIyPR3j4sXSrH3/pbCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d106004a58ee3099990f49da2496b8bb440ef2de9a4aa23a6ad7e5a857637b6d","last_reissued_at":"2026-05-20T00:02:44.958893Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:02:44.958893Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Usenix'23 Extended Version: Smart Learning to Find Dumb Contracts","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.ET","cs.LG","cs.SE"],"primary_cat":"cs.CR","authors_text":"Aquinas Hobor, Tamer Abdelaziz","submitted_at":"2023-04-21T03:45:10Z","abstract_excerpt":"We introduce the Deep Learning Vulnerability Analyzer (DLVA) for Ethereum smart contracts based on neural networks. We train DLVA to judge bytecode even though the supervising oracle can only judge source. DLVA's training algorithm is general: we extend a source code analysis to bytecode without any manual feature engineering, predefined patterns, or expert rules. DLVA's training algorithm is also robust: it overcame a 1.25% error rate mislabeled contracts, and--the student surpassing the teacher--found vulnerable contracts that Slither mislabeled. DLVA is much faster than other smart contract"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2304.10726","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/2304.10726/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":"2304.10726","created_at":"2026-05-20T00:02:44.958961+00:00"},{"alias_kind":"arxiv_version","alias_value":"2304.10726v3","created_at":"2026-05-20T00:02:44.958961+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2304.10726","created_at":"2026-05-20T00:02:44.958961+00:00"},{"alias_kind":"pith_short_12","alias_value":"2EDAASSY5YYJ","created_at":"2026-05-20T00:02:44.958961+00:00"},{"alias_kind":"pith_short_16","alias_value":"2EDAASSY5YYJTGIP","created_at":"2026-05-20T00:02:44.958961+00:00"},{"alias_kind":"pith_short_8","alias_value":"2EDAASSY","created_at":"2026-05-20T00:02:44.958961+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/2EDAASSY5YYJTGIPJHNCJFVYXN","json":"https://pith.science/pith/2EDAASSY5YYJTGIPJHNCJFVYXN.json","graph_json":"https://pith.science/api/pith-number/2EDAASSY5YYJTGIPJHNCJFVYXN/graph.json","events_json":"https://pith.science/api/pith-number/2EDAASSY5YYJTGIPJHNCJFVYXN/events.json","paper":"https://pith.science/paper/2EDAASSY"},"agent_actions":{"view_html":"https://pith.science/pith/2EDAASSY5YYJTGIPJHNCJFVYXN","download_json":"https://pith.science/pith/2EDAASSY5YYJTGIPJHNCJFVYXN.json","view_paper":"https://pith.science/paper/2EDAASSY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2304.10726&json=true","fetch_graph":"https://pith.science/api/pith-number/2EDAASSY5YYJTGIPJHNCJFVYXN/graph.json","fetch_events":"https://pith.science/api/pith-number/2EDAASSY5YYJTGIPJHNCJFVYXN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2EDAASSY5YYJTGIPJHNCJFVYXN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2EDAASSY5YYJTGIPJHNCJFVYXN/action/storage_attestation","attest_author":"https://pith.science/pith/2EDAASSY5YYJTGIPJHNCJFVYXN/action/author_attestation","sign_citation":"https://pith.science/pith/2EDAASSY5YYJTGIPJHNCJFVYXN/action/citation_signature","submit_replication":"https://pith.science/pith/2EDAASSY5YYJTGIPJHNCJFVYXN/action/replication_record"}},"created_at":"2026-05-20T00:02:44.958961+00:00","updated_at":"2026-05-20T00:02:44.958961+00:00"}