{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:ZW2LVX473X4FIC7YXKPI5HF7QH","short_pith_number":"pith:ZW2LVX47","schema_version":"1.0","canonical_sha256":"cdb4badf9fddf8540bf8ba9e8e9cbf81d84afabc1e33c607932ccdca9c3885b2","source":{"kind":"arxiv","id":"2407.01204","version":2},"attestation_state":"computed","paper":{"title":"A Language for Smart Contracts with Secure Control Flow (Technical Report)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.CR","authors_text":"Andrew C. Myers, Ethan Cecchetti, Haobin Ni, Noah Schiff, Siqiu Yao, Stephanie Ma","submitted_at":"2024-07-01T11:51:21Z","abstract_excerpt":"Smart contracts are frequently vulnerable to control-flow attacks based on confused deputies, reentrancy, and incorrect error handling. These attacks exploit the complexity of interactions among multiple possibly unknown contracts. Existing best practices to prevent vulnerabilities rely on code patterns and heuristics that produce both false positives and false negatives. Even with extensive audits and heuristic tools, new vulnerabilities continue to arise, routinely costing tens of millions of dollars.\n  We introduce SCIF, a language for secure smart contracts, that addresses these classes of"},"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":"2407.01204","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-07-01T11:51:21Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"d20f84346d073d2d9d8e3207ca472b20251d45a0490b83a1785ff5c60ab49fb9","abstract_canon_sha256":"0bc3c727d63d909a15aa0f81f9301951b0a388204d9eabbcba12b8b7bcca9984"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:52:37.287425Z","signature_b64":"tEB2ISaTNWNv0x6qArKKKI5mxjmJsSyj0uINam6a02HY9mam4M2ckNR6uwiIZRbkdNEq0l15PgEcs5pAC+dyBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cdb4badf9fddf8540bf8ba9e8e9cbf81d84afabc1e33c607932ccdca9c3885b2","last_reissued_at":"2026-07-05T10:52:37.286894Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:52:37.286894Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Language for Smart Contracts with Secure Control Flow (Technical Report)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.CR","authors_text":"Andrew C. Myers, Ethan Cecchetti, Haobin Ni, Noah Schiff, Siqiu Yao, Stephanie Ma","submitted_at":"2024-07-01T11:51:21Z","abstract_excerpt":"Smart contracts are frequently vulnerable to control-flow attacks based on confused deputies, reentrancy, and incorrect error handling. These attacks exploit the complexity of interactions among multiple possibly unknown contracts. Existing best practices to prevent vulnerabilities rely on code patterns and heuristics that produce both false positives and false negatives. Even with extensive audits and heuristic tools, new vulnerabilities continue to arise, routinely costing tens of millions of dollars.\n  We introduce SCIF, a language for secure smart contracts, that addresses these classes of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.01204","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/2407.01204/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":"2407.01204","created_at":"2026-07-05T10:52:37.286949+00:00"},{"alias_kind":"arxiv_version","alias_value":"2407.01204v2","created_at":"2026-07-05T10:52:37.286949+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.01204","created_at":"2026-07-05T10:52:37.286949+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZW2LVX473X4F","created_at":"2026-07-05T10:52:37.286949+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZW2LVX473X4FIC7Y","created_at":"2026-07-05T10:52:37.286949+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZW2LVX47","created_at":"2026-07-05T10:52:37.286949+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2505.19006","citing_title":"A quantitative notion of economic security for smart contract compositions","ref_index":24,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH","json":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH.json","graph_json":"https://pith.science/api/pith-number/ZW2LVX473X4FIC7YXKPI5HF7QH/graph.json","events_json":"https://pith.science/api/pith-number/ZW2LVX473X4FIC7YXKPI5HF7QH/events.json","paper":"https://pith.science/paper/ZW2LVX47"},"agent_actions":{"view_html":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH","download_json":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH.json","view_paper":"https://pith.science/paper/ZW2LVX47","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2407.01204&json=true","fetch_graph":"https://pith.science/api/pith-number/ZW2LVX473X4FIC7YXKPI5HF7QH/graph.json","fetch_events":"https://pith.science/api/pith-number/ZW2LVX473X4FIC7YXKPI5HF7QH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH/action/storage_attestation","attest_author":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH/action/author_attestation","sign_citation":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH/action/citation_signature","submit_replication":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH/action/replication_record"}},"created_at":"2026-07-05T10:52:37.286949+00:00","updated_at":"2026-07-05T10:52:37.286949+00:00"}