{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:ABJGTTM4XC6S3V7YS252PUJMUP","short_pith_number":"pith:ABJGTTM4","schema_version":"1.0","canonical_sha256":"005269cd9cb8bd2dd7f896bba7d12ca3f4b72b3cad8fea432384b3f6fbcb4ef3","source":{"kind":"arxiv","id":"2404.04306","version":1},"attestation_state":"computed","paper":{"title":"AuditGPT: Auditing Smart Contracts with ChatGPT","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.CL","cs.CY"],"primary_cat":"cs.CR","authors_text":"Linhai Song, Mengting He, Shihao Xia, Shuai Shao, Tingting Yu, Yiying Zhang","submitted_at":"2024-04-05T07:19:13Z","abstract_excerpt":"To govern smart contracts running on Ethereum, multiple Ethereum Request for Comment (ERC) standards have been developed, each containing a set of rules to guide the behaviors of smart contracts. Violating the ERC rules could cause serious security issues and financial loss, signifying the importance of verifying smart contracts follow ERCs. Today's practices of such verification are to either manually audit each single contract or use expert-developed, limited-scope program-analysis tools, both of which are far from being effective in identifying ERC rule violations. This paper presents a too"},"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":"2404.04306","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2024-04-05T07:19:13Z","cross_cats_sorted":["cs.AI","cs.CL","cs.CY"],"title_canon_sha256":"d441ed3a129b8b69b6f6d41dbad761672db30f6c8d95019ef8d9fb4ea4df3236","abstract_canon_sha256":"3329c6db3bd128030f06d6b9395af1612f9c57225b0bff3f29e42f9f20b6ff92"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:05:40.269467Z","signature_b64":"FYYQAqNjgzgjyAM29f1JawkO+EnirpruN6aBDmR+evPuuAxVcnqq3uI6qHFWMe5v3BmkU8pW1/MEPKV3Kv6mDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"005269cd9cb8bd2dd7f896bba7d12ca3f4b72b3cad8fea432384b3f6fbcb4ef3","last_reissued_at":"2026-07-05T08:05:40.268986Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:05:40.268986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"AuditGPT: Auditing Smart Contracts with ChatGPT","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AI","cs.CL","cs.CY"],"primary_cat":"cs.CR","authors_text":"Linhai Song, Mengting He, Shihao Xia, Shuai Shao, Tingting Yu, Yiying Zhang","submitted_at":"2024-04-05T07:19:13Z","abstract_excerpt":"To govern smart contracts running on Ethereum, multiple Ethereum Request for Comment (ERC) standards have been developed, each containing a set of rules to guide the behaviors of smart contracts. Violating the ERC rules could cause serious security issues and financial loss, signifying the importance of verifying smart contracts follow ERCs. Today's practices of such verification are to either manually audit each single contract or use expert-developed, limited-scope program-analysis tools, both of which are far from being effective in identifying ERC rule violations. This paper presents a too"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.04306","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/2404.04306/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":"2404.04306","created_at":"2026-07-05T08:05:40.269041+00:00"},{"alias_kind":"arxiv_version","alias_value":"2404.04306v1","created_at":"2026-07-05T08:05:40.269041+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.04306","created_at":"2026-07-05T08:05:40.269041+00:00"},{"alias_kind":"pith_short_12","alias_value":"ABJGTTM4XC6S","created_at":"2026-07-05T08:05:40.269041+00:00"},{"alias_kind":"pith_short_16","alias_value":"ABJGTTM4XC6S3V7Y","created_at":"2026-07-05T08:05:40.269041+00:00"},{"alias_kind":"pith_short_8","alias_value":"ABJGTTM4","created_at":"2026-07-05T08:05:40.269041+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":2,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.03128","citing_title":"Decoupled Smart Contract Audits: Lightweight LLM Framework via Distillation and Aggregation","ref_index":6,"is_internal_anchor":false},{"citing_arxiv_id":"2604.03860","citing_title":"LiquiLM: Bridging the Semantic Gap in Liquidity Flaw Audit via DCN and LLMs","ref_index":42,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ABJGTTM4XC6S3V7YS252PUJMUP","json":"https://pith.science/pith/ABJGTTM4XC6S3V7YS252PUJMUP.json","graph_json":"https://pith.science/api/pith-number/ABJGTTM4XC6S3V7YS252PUJMUP/graph.json","events_json":"https://pith.science/api/pith-number/ABJGTTM4XC6S3V7YS252PUJMUP/events.json","paper":"https://pith.science/paper/ABJGTTM4"},"agent_actions":{"view_html":"https://pith.science/pith/ABJGTTM4XC6S3V7YS252PUJMUP","download_json":"https://pith.science/pith/ABJGTTM4XC6S3V7YS252PUJMUP.json","view_paper":"https://pith.science/paper/ABJGTTM4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2404.04306&json=true","fetch_graph":"https://pith.science/api/pith-number/ABJGTTM4XC6S3V7YS252PUJMUP/graph.json","fetch_events":"https://pith.science/api/pith-number/ABJGTTM4XC6S3V7YS252PUJMUP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ABJGTTM4XC6S3V7YS252PUJMUP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ABJGTTM4XC6S3V7YS252PUJMUP/action/storage_attestation","attest_author":"https://pith.science/pith/ABJGTTM4XC6S3V7YS252PUJMUP/action/author_attestation","sign_citation":"https://pith.science/pith/ABJGTTM4XC6S3V7YS252PUJMUP/action/citation_signature","submit_replication":"https://pith.science/pith/ABJGTTM4XC6S3V7YS252PUJMUP/action/replication_record"}},"created_at":"2026-07-05T08:05:40.269041+00:00","updated_at":"2026-07-05T08:05:40.269041+00:00"}