{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ABJGTTM4XC6S3V7YS252PUJMUP","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":"3329c6db3bd128030f06d6b9395af1612f9c57225b0bff3f29e42f9f20b6ff92","cross_cats_sorted":["cs.AI","cs.CL","cs.CY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2024-04-05T07:19:13Z","title_canon_sha256":"d441ed3a129b8b69b6f6d41dbad761672db30f6c8d95019ef8d9fb4ea4df3236"},"schema_version":"1.0","source":{"id":"2404.04306","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2404.04306","created_at":"2026-07-05T08:05:40Z"},{"alias_kind":"arxiv_version","alias_value":"2404.04306v1","created_at":"2026-07-05T08:05:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2404.04306","created_at":"2026-07-05T08:05:40Z"},{"alias_kind":"pith_short_12","alias_value":"ABJGTTM4XC6S","created_at":"2026-07-05T08:05:40Z"},{"alias_kind":"pith_short_16","alias_value":"ABJGTTM4XC6S3V7Y","created_at":"2026-07-05T08:05:40Z"},{"alias_kind":"pith_short_8","alias_value":"ABJGTTM4","created_at":"2026-07-05T08:05:40Z"}],"graph_snapshots":[{"event_id":"sha256:7cf524dd65fdf7e933200aae26b15ce9764571d717588757b30b64a24f3bd3d7","target":"graph","created_at":"2026-07-05T08:05:40Z","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/2404.04306/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Linhai Song, Mengting He, Shihao Xia, Shuai Shao, Tingting Yu, Yiying Zhang","cross_cats":["cs.AI","cs.CL","cs.CY"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2024-04-05T07:19:13Z","title":"AuditGPT: Auditing Smart Contracts with ChatGPT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2404.04306","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:00adbcae17a6e587541a13ece82ff90e190b68c8693be2a60eadb44726e65a24","target":"record","created_at":"2026-07-05T08:05:40Z","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":"3329c6db3bd128030f06d6b9395af1612f9c57225b0bff3f29e42f9f20b6ff92","cross_cats_sorted":["cs.AI","cs.CL","cs.CY"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.CR","submitted_at":"2024-04-05T07:19:13Z","title_canon_sha256":"d441ed3a129b8b69b6f6d41dbad761672db30f6c8d95019ef8d9fb4ea4df3236"},"schema_version":"1.0","source":{"id":"2404.04306","kind":"arxiv","version":1}},"canonical_sha256":"005269cd9cb8bd2dd7f896bba7d12ca3f4b72b3cad8fea432384b3f6fbcb4ef3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"005269cd9cb8bd2dd7f896bba7d12ca3f4b72b3cad8fea432384b3f6fbcb4ef3","first_computed_at":"2026-07-05T08:05:40.268986Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:05:40.268986Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FYYQAqNjgzgjyAM29f1JawkO+EnirpruN6aBDmR+evPuuAxVcnqq3uI6qHFWMe5v3BmkU8pW1/MEPKV3Kv6mDw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:05:40.269467Z","signed_message":"canonical_sha256_bytes"},"source_id":"2404.04306","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:00adbcae17a6e587541a13ece82ff90e190b68c8693be2a60eadb44726e65a24","sha256:7cf524dd65fdf7e933200aae26b15ce9764571d717588757b30b64a24f3bd3d7"],"state_sha256":"6a323e8d96d7040843e0f96373c80da36864ed08476efccf0544c2e7873eea42"}