{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:O6Z6EE6OK3Y4FRLJNQE4X465IU","short_pith_number":"pith:O6Z6EE6O","canonical_record":{"source":{"id":"1801.04032","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-01-12T01:33:42Z","cross_cats_sorted":[],"title_canon_sha256":"340fe5e820f4036dfd967593a2ab9fa16b0b1627c9ada42ea526249ca9bbcef0","abstract_canon_sha256":"8259cf2df04907b8cc064c942bda8fcba439cfc30da50d5fb2883b3fdca592ad"},"schema_version":"1.0"},"canonical_sha256":"77b3e213ce56f1c2c5696c09cbf3dd453979bcc99c9d6d38dbf8a3d5fd10f53f","source":{"kind":"arxiv","id":"1801.04032","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.04032","created_at":"2026-05-18T00:26:12Z"},{"alias_kind":"arxiv_version","alias_value":"1801.04032v1","created_at":"2026-05-18T00:26:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.04032","created_at":"2026-05-18T00:26:12Z"},{"alias_kind":"pith_short_12","alias_value":"O6Z6EE6OK3Y4","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"O6Z6EE6OK3Y4FRLJ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"O6Z6EE6O","created_at":"2026-05-18T12:32:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:O6Z6EE6OK3Y4FRLJNQE4X465IU","target":"record","payload":{"canonical_record":{"source":{"id":"1801.04032","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-01-12T01:33:42Z","cross_cats_sorted":[],"title_canon_sha256":"340fe5e820f4036dfd967593a2ab9fa16b0b1627c9ada42ea526249ca9bbcef0","abstract_canon_sha256":"8259cf2df04907b8cc064c942bda8fcba439cfc30da50d5fb2883b3fdca592ad"},"schema_version":"1.0"},"canonical_sha256":"77b3e213ce56f1c2c5696c09cbf3dd453979bcc99c9d6d38dbf8a3d5fd10f53f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:26:12.095383Z","signature_b64":"WK8Vd6TV8W3uxQNH+1Uc+wxK4wtbF2JSGQMtWNR7vR+a6fEzJMDmQA+EEnzty5LbUJCythhG3tV2uwHlltXUDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77b3e213ce56f1c2c5696c09cbf3dd453979bcc99c9d6d38dbf8a3d5fd10f53f","last_reissued_at":"2026-05-18T00:26:12.094740Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:26:12.094740Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1801.04032","source_version":1,"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-05-18T00:26:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yWSt1anj+A4/3mR+dexzc9RPBpTOjzwc2BQvOq7Bu4xmHm5NEEXIm+bL+EPCSooEXB+zt3dA/Vr2pxlpn2UoAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T08:51:12.860256Z"},"content_sha256":"1cdf5f3fc804efcfd147b4bd6806bb0f9a8a50b8a7057a36833d443039d557a1","schema_version":"1.0","event_id":"sha256:1cdf5f3fc804efcfd147b4bd6806bb0f9a8a50b8a7057a36833d443039d557a1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:O6Z6EE6OK3Y4FRLJNQE4X465IU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Guy Golan-Gueta, Ittai Abraham, Mooly Sagiv, Noam Rinetzky, Shelly Grossman, Yan Michalevsky, Yoni Zohar","submitted_at":"2018-01-12T01:33:42Z","abstract_excerpt":"Callbacks are essential in many programming environments, but drastically complicate program understanding and reasoning because they allow to mutate object's local states by external objects in unexpected fashions, thus breaking modularity. The famous DAO bug in the cryptocurrency framework Ethereum, employed callbacks to steal $150M. We define the notion of Effectively Callback Free (ECF) objects in order to allow callbacks without preventing modular reasoning.\n  An object is ECF in a given execution trace if there exists an equivalent execution trace without callbacks to this object. An obj"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.04032","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":""},"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-05-18T00:26:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LVuu0kp4+2/2f2AYQFc39C/9rHmb2IAR8CpwptqYcxSHGkoRw9SP6uWVqquMnFVOwoKYtbvunl5el8TEfEz8CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T08:51:12.860602Z"},"content_sha256":"1dca9516e5652e7a2bf4dd63faebbc08397bdd968945559798dd5f367468187f","schema_version":"1.0","event_id":"sha256:1dca9516e5652e7a2bf4dd63faebbc08397bdd968945559798dd5f367468187f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O6Z6EE6OK3Y4FRLJNQE4X465IU/bundle.json","state_url":"https://pith.science/pith/O6Z6EE6OK3Y4FRLJNQE4X465IU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O6Z6EE6OK3Y4FRLJNQE4X465IU/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-06-01T08:51:12Z","links":{"resolver":"https://pith.science/pith/O6Z6EE6OK3Y4FRLJNQE4X465IU","bundle":"https://pith.science/pith/O6Z6EE6OK3Y4FRLJNQE4X465IU/bundle.json","state":"https://pith.science/pith/O6Z6EE6OK3Y4FRLJNQE4X465IU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O6Z6EE6OK3Y4FRLJNQE4X465IU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:O6Z6EE6OK3Y4FRLJNQE4X465IU","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":"8259cf2df04907b8cc064c942bda8fcba439cfc30da50d5fb2883b3fdca592ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-01-12T01:33:42Z","title_canon_sha256":"340fe5e820f4036dfd967593a2ab9fa16b0b1627c9ada42ea526249ca9bbcef0"},"schema_version":"1.0","source":{"id":"1801.04032","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1801.04032","created_at":"2026-05-18T00:26:12Z"},{"alias_kind":"arxiv_version","alias_value":"1801.04032v1","created_at":"2026-05-18T00:26:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1801.04032","created_at":"2026-05-18T00:26:12Z"},{"alias_kind":"pith_short_12","alias_value":"O6Z6EE6OK3Y4","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"O6Z6EE6OK3Y4FRLJ","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"O6Z6EE6O","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:1dca9516e5652e7a2bf4dd63faebbc08397bdd968945559798dd5f367468187f","target":"graph","created_at":"2026-05-18T00:26:12Z","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"},"paper":{"abstract_excerpt":"Callbacks are essential in many programming environments, but drastically complicate program understanding and reasoning because they allow to mutate object's local states by external objects in unexpected fashions, thus breaking modularity. The famous DAO bug in the cryptocurrency framework Ethereum, employed callbacks to steal $150M. We define the notion of Effectively Callback Free (ECF) objects in order to allow callbacks without preventing modular reasoning.\n  An object is ECF in a given execution trace if there exists an equivalent execution trace without callbacks to this object. An obj","authors_text":"Guy Golan-Gueta, Ittai Abraham, Mooly Sagiv, Noam Rinetzky, Shelly Grossman, Yan Michalevsky, Yoni Zohar","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-01-12T01:33:42Z","title":"Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1801.04032","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:1cdf5f3fc804efcfd147b4bd6806bb0f9a8a50b8a7057a36833d443039d557a1","target":"record","created_at":"2026-05-18T00:26:12Z","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":"8259cf2df04907b8cc064c942bda8fcba439cfc30da50d5fb2883b3fdca592ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-01-12T01:33:42Z","title_canon_sha256":"340fe5e820f4036dfd967593a2ab9fa16b0b1627c9ada42ea526249ca9bbcef0"},"schema_version":"1.0","source":{"id":"1801.04032","kind":"arxiv","version":1}},"canonical_sha256":"77b3e213ce56f1c2c5696c09cbf3dd453979bcc99c9d6d38dbf8a3d5fd10f53f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77b3e213ce56f1c2c5696c09cbf3dd453979bcc99c9d6d38dbf8a3d5fd10f53f","first_computed_at":"2026-05-18T00:26:12.094740Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:12.094740Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WK8Vd6TV8W3uxQNH+1Uc+wxK4wtbF2JSGQMtWNR7vR+a6fEzJMDmQA+EEnzty5LbUJCythhG3tV2uwHlltXUDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:12.095383Z","signed_message":"canonical_sha256_bytes"},"source_id":"1801.04032","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1cdf5f3fc804efcfd147b4bd6806bb0f9a8a50b8a7057a36833d443039d557a1","sha256:1dca9516e5652e7a2bf4dd63faebbc08397bdd968945559798dd5f367468187f"],"state_sha256":"035dc5001d89ee46a293de852ee629a8fb8902869fa20e2487844369454507f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"flJtMk7jfFeksLhaonGs6GPHw0hSUZdTKJdsZzFB0LLtHCYGmGsn9vy38oQiY9bMz/ZEwbKmNZPKC/9DmGJACg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T08:51:12.862582Z","bundle_sha256":"647477d6bb26c88cd494a7cf60043d247f6dafa74632f2f390def1edc23de29b"}}