{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:BPSF5U72SPT7RBTZXID6I4IEIZ","short_pith_number":"pith:BPSF5U72","schema_version":"1.0","canonical_sha256":"0be45ed3fa93e7f88679ba07e47104464f6633524bc0ae4b28665796e5dfcfd1","source":{"kind":"arxiv","id":"1910.02945","version":2},"attestation_state":"computed","paper":{"title":"V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Fuchen Ma, Houbing Song, Jiaguang Sun, Jun Sun, Meng Ren, Wanting Sun, Ying Fu, Yu Jiang","submitted_at":"2019-10-06T09:53:24Z","abstract_excerpt":"The out-of-gas error occurs when smart contract programs are provided with inputs that cause excessive gas consumption, and would be easily exploited to make the DoS attack. Multiple approaches have been proposed to estimate the gas limit of a function in smart contracts to avoid such error. However, under estimation often happens when the contract is complicated. In this work, we propose V-Gas, which could automatically generate inputs that maximizes the gas cost and reduce the under estimation cases. V-Gas is designed based on feedback-directed mutational fuzz testing. First, V-Gas builds th"},"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":"1910.02945","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2019-10-06T09:53:24Z","cross_cats_sorted":[],"title_canon_sha256":"976afc7abe92c81cc6f4e2b2558eb8a520526df7f2b1ea9762183638890f9781","abstract_canon_sha256":"e1505a8920a8e4a2dccabd5cee4b48cb4cff2437b3d3e69c77165432f45f3ae0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:16:25.562528Z","signature_b64":"wZwmgjz2uA2IK8YtIG/wNMO25ZwDkuvn9vNi+cbIJEmgMiLrYpBHH/PXkxFCfK2vpqUTPOAQWvDaADuwEqt2CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0be45ed3fa93e7f88679ba07e47104464f6633524bc0ae4b28665796e5dfcfd1","last_reissued_at":"2026-07-05T02:16:25.562127Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:16:25.562127Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Fuchen Ma, Houbing Song, Jiaguang Sun, Jun Sun, Meng Ren, Wanting Sun, Ying Fu, Yu Jiang","submitted_at":"2019-10-06T09:53:24Z","abstract_excerpt":"The out-of-gas error occurs when smart contract programs are provided with inputs that cause excessive gas consumption, and would be easily exploited to make the DoS attack. Multiple approaches have been proposed to estimate the gas limit of a function in smart contracts to avoid such error. However, under estimation often happens when the contract is complicated. In this work, we propose V-Gas, which could automatically generate inputs that maximizes the gas cost and reduce the under estimation cases. V-Gas is designed based on feedback-directed mutational fuzz testing. First, V-Gas builds th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.02945","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/1910.02945/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":"1910.02945","created_at":"2026-07-05T02:16:25.562187+00:00"},{"alias_kind":"arxiv_version","alias_value":"1910.02945v2","created_at":"2026-07-05T02:16:25.562187+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.02945","created_at":"2026-07-05T02:16:25.562187+00:00"},{"alias_kind":"pith_short_12","alias_value":"BPSF5U72SPT7","created_at":"2026-07-05T02:16:25.562187+00:00"},{"alias_kind":"pith_short_16","alias_value":"BPSF5U72SPT7RBTZ","created_at":"2026-07-05T02:16:25.562187+00:00"},{"alias_kind":"pith_short_8","alias_value":"BPSF5U72","created_at":"2026-07-05T02:16:25.562187+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/BPSF5U72SPT7RBTZXID6I4IEIZ","json":"https://pith.science/pith/BPSF5U72SPT7RBTZXID6I4IEIZ.json","graph_json":"https://pith.science/api/pith-number/BPSF5U72SPT7RBTZXID6I4IEIZ/graph.json","events_json":"https://pith.science/api/pith-number/BPSF5U72SPT7RBTZXID6I4IEIZ/events.json","paper":"https://pith.science/paper/BPSF5U72"},"agent_actions":{"view_html":"https://pith.science/pith/BPSF5U72SPT7RBTZXID6I4IEIZ","download_json":"https://pith.science/pith/BPSF5U72SPT7RBTZXID6I4IEIZ.json","view_paper":"https://pith.science/paper/BPSF5U72","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1910.02945&json=true","fetch_graph":"https://pith.science/api/pith-number/BPSF5U72SPT7RBTZXID6I4IEIZ/graph.json","fetch_events":"https://pith.science/api/pith-number/BPSF5U72SPT7RBTZXID6I4IEIZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BPSF5U72SPT7RBTZXID6I4IEIZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BPSF5U72SPT7RBTZXID6I4IEIZ/action/storage_attestation","attest_author":"https://pith.science/pith/BPSF5U72SPT7RBTZXID6I4IEIZ/action/author_attestation","sign_citation":"https://pith.science/pith/BPSF5U72SPT7RBTZXID6I4IEIZ/action/citation_signature","submit_replication":"https://pith.science/pith/BPSF5U72SPT7RBTZXID6I4IEIZ/action/replication_record"}},"created_at":"2026-07-05T02:16:25.562187+00:00","updated_at":"2026-07-05T02:16:25.562187+00:00"}