{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:ZW2LVX473X4FIC7YXKPI5HF7QH","short_pith_number":"pith:ZW2LVX47","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"},"canonical_sha256":"cdb4badf9fddf8540bf8ba9e8e9cbf81d84afabc1e33c607932ccdca9c3885b2","source":{"kind":"arxiv","id":"2407.01204","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.01204","created_at":"2026-07-05T10:52:37Z"},{"alias_kind":"arxiv_version","alias_value":"2407.01204v2","created_at":"2026-07-05T10:52:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.01204","created_at":"2026-07-05T10:52:37Z"},{"alias_kind":"pith_short_12","alias_value":"ZW2LVX473X4F","created_at":"2026-07-05T10:52:37Z"},{"alias_kind":"pith_short_16","alias_value":"ZW2LVX473X4FIC7Y","created_at":"2026-07-05T10:52:37Z"},{"alias_kind":"pith_short_8","alias_value":"ZW2LVX47","created_at":"2026-07-05T10:52:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:ZW2LVX473X4FIC7YXKPI5HF7QH","target":"record","payload":{"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"},"canonical_sha256":"cdb4badf9fddf8540bf8ba9e8e9cbf81d84afabc1e33c607932ccdca9c3885b2","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"},"source_kind":"arxiv","source_id":"2407.01204","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:52:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8aiwkiSeDlRPKxZZrpVb68Q5WD5HROYwIfc3ayo1Dj31wI91TH7TatAXafnH4+ELVhWqVAfYLP7ri7Wy9GJhDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T14:58:56.115434Z"},"content_sha256":"1eba68b4805d90bc13d6d5eefb374878b09f4d2bf080bfafa8056dc7a1680819","schema_version":"1.0","event_id":"sha256:1eba68b4805d90bc13d6d5eefb374878b09f4d2bf080bfafa8056dc7a1680819"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:ZW2LVX473X4FIC7YXKPI5HF7QH","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:52:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h8DoPnypd+2XparvLhFKjxBjSgEJ/qeN21CEAAUbAAc4mjqQKj8UBbUMgbVU+iZjzon6ZVt0dE8tBR2DoLBcBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T14:58:56.115958Z"},"content_sha256":"3cd6a2a2db0be8f344cb5c94bd14244aaf38f6a44ff4a93d01b099e7520a3675","schema_version":"1.0","event_id":"sha256:3cd6a2a2db0be8f344cb5c94bd14244aaf38f6a44ff4a93d01b099e7520a3675"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH/bundle.json","state_url":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZW2LVX473X4FIC7YXKPI5HF7QH/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-10T14:58:56Z","links":{"resolver":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH","bundle":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH/bundle.json","state":"https://pith.science/pith/ZW2LVX473X4FIC7YXKPI5HF7QH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZW2LVX473X4FIC7YXKPI5HF7QH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:ZW2LVX473X4FIC7YXKPI5HF7QH","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":"0bc3c727d63d909a15aa0f81f9301951b0a388204d9eabbcba12b8b7bcca9984","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-07-01T11:51:21Z","title_canon_sha256":"d20f84346d073d2d9d8e3207ca472b20251d45a0490b83a1785ff5c60ab49fb9"},"schema_version":"1.0","source":{"id":"2407.01204","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.01204","created_at":"2026-07-05T10:52:37Z"},{"alias_kind":"arxiv_version","alias_value":"2407.01204v2","created_at":"2026-07-05T10:52:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.01204","created_at":"2026-07-05T10:52:37Z"},{"alias_kind":"pith_short_12","alias_value":"ZW2LVX473X4F","created_at":"2026-07-05T10:52:37Z"},{"alias_kind":"pith_short_16","alias_value":"ZW2LVX473X4FIC7Y","created_at":"2026-07-05T10:52:37Z"},{"alias_kind":"pith_short_8","alias_value":"ZW2LVX47","created_at":"2026-07-05T10:52:37Z"}],"graph_snapshots":[{"event_id":"sha256:3cd6a2a2db0be8f344cb5c94bd14244aaf38f6a44ff4a93d01b099e7520a3675","target":"graph","created_at":"2026-07-05T10:52:37Z","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/2407.01204/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Andrew C. Myers, Ethan Cecchetti, Haobin Ni, Noah Schiff, Siqiu Yao, Stephanie Ma","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-07-01T11:51:21Z","title":"A Language for Smart Contracts with Secure Control Flow (Technical Report)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.01204","kind":"arxiv","version":2},"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:1eba68b4805d90bc13d6d5eefb374878b09f4d2bf080bfafa8056dc7a1680819","target":"record","created_at":"2026-07-05T10:52:37Z","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":"0bc3c727d63d909a15aa0f81f9301951b0a388204d9eabbcba12b8b7bcca9984","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2024-07-01T11:51:21Z","title_canon_sha256":"d20f84346d073d2d9d8e3207ca472b20251d45a0490b83a1785ff5c60ab49fb9"},"schema_version":"1.0","source":{"id":"2407.01204","kind":"arxiv","version":2}},"canonical_sha256":"cdb4badf9fddf8540bf8ba9e8e9cbf81d84afabc1e33c607932ccdca9c3885b2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"cdb4badf9fddf8540bf8ba9e8e9cbf81d84afabc1e33c607932ccdca9c3885b2","first_computed_at":"2026-07-05T10:52:37.286894Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:52:37.286894Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tEB2ISaTNWNv0x6qArKKKI5mxjmJsSyj0uINam6a02HY9mam4M2ckNR6uwiIZRbkdNEq0l15PgEcs5pAC+dyBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:52:37.287425Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.01204","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1eba68b4805d90bc13d6d5eefb374878b09f4d2bf080bfafa8056dc7a1680819","sha256:3cd6a2a2db0be8f344cb5c94bd14244aaf38f6a44ff4a93d01b099e7520a3675"],"state_sha256":"f44238d27c5fb40c2d53a762a869e5c6791442bbd31ec1fbb6570b457e5d6c48"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WsrEVG3/OCqAvmT/p4Sl0DucgqBIEr495h+bpFXIjxUgrbvdKEiMNnErWkKkdrtRk3jAXODUr/8qrYm5HOZwDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T14:58:56.119683Z","bundle_sha256":"0d3b746619e60d6fd04fa0318d3d8ad479f9e480c887a15ca60e2f4ab2fefc24"}}