{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:H65O7FVGODNQST2KDX6OV54TAZ","short_pith_number":"pith:H65O7FVG","canonical_record":{"source":{"id":"2502.05280","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-02-07T19:29:47Z","cross_cats_sorted":[],"title_canon_sha256":"3f826658a8314800d78824e0bc478fbb8f01db4294693309f7ce542208e6e86b","abstract_canon_sha256":"1964f3e780ec8e494c556813272d8982e02ceaaf4374b42dbcd3cbe4ef544887"},"schema_version":"1.0"},"canonical_sha256":"3fbaef96a670db094f4a1dfceaf793064e60751d98f10ea99b1625eefcd1e8f2","source":{"kind":"arxiv","id":"2502.05280","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.05280","created_at":"2026-07-05T10:11:35Z"},{"alias_kind":"arxiv_version","alias_value":"2502.05280v1","created_at":"2026-07-05T10:11:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.05280","created_at":"2026-07-05T10:11:35Z"},{"alias_kind":"pith_short_12","alias_value":"H65O7FVGODNQ","created_at":"2026-07-05T10:11:35Z"},{"alias_kind":"pith_short_16","alias_value":"H65O7FVGODNQST2K","created_at":"2026-07-05T10:11:35Z"},{"alias_kind":"pith_short_8","alias_value":"H65O7FVG","created_at":"2026-07-05T10:11:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:H65O7FVGODNQST2KDX6OV54TAZ","target":"record","payload":{"canonical_record":{"source":{"id":"2502.05280","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-02-07T19:29:47Z","cross_cats_sorted":[],"title_canon_sha256":"3f826658a8314800d78824e0bc478fbb8f01db4294693309f7ce542208e6e86b","abstract_canon_sha256":"1964f3e780ec8e494c556813272d8982e02ceaaf4374b42dbcd3cbe4ef544887"},"schema_version":"1.0"},"canonical_sha256":"3fbaef96a670db094f4a1dfceaf793064e60751d98f10ea99b1625eefcd1e8f2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:11:35.275478Z","signature_b64":"T2rAWZ/REiaMUwP7QpuO2xIy0L4SmqrcPT1v6U43Pa3IFMDml+V/mQn0eyI253m8BYHcLY/c0ppeYQ0nIL27Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3fbaef96a670db094f4a1dfceaf793064e60751d98f10ea99b1625eefcd1e8f2","last_reissued_at":"2026-07-05T10:11:35.274868Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:11:35.274868Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.05280","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-07-05T10:11:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1kXDHgNDxIO+hMH1CUjn0/I8Jkw5RPRGt9+b5G8YU3mOucXE8LUrT+5kfR0UCLc7uVx8At3ImQbK18ERFMpNCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T10:56:58.415687Z"},"content_sha256":"5c08bc262454f84602f02999bc5e3fe80e3b96eccd1c320899079965842f4336","schema_version":"1.0","event_id":"sha256:5c08bc262454f84602f02999bc5e3fe80e3b96eccd1c320899079965842f4336"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:H65O7FVGODNQST2KDX6OV54TAZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Smart Contract Model","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Maria Potop-Butucaru, Maurice Herlihy, Sergio Rajsbaum, Sucharita Jayanti, Yackolley Amoussou-Guenou","submitted_at":"2025-02-07T19:29:47Z","abstract_excerpt":"Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract model proposed here is intended to capture both the similarities and the differences between classical and blockchain-based models of distributed computing. The focus is on cross-chain protocols in which a collection of parties, some honest and some perhaps not, interact through trusted smart contracts residing on multiple, independent ledgers.\n  While cross-chain protocols are capable of general computations, they "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.05280","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2502.05280/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:11:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U4nBWFqY+GNY6R2o/HJrTsuvSvNBBuvdSiP1bWA2ja5Al7Wp/8YNCR7U3VudfaVMf6FuRjMfGggMIYY7fCktDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T10:56:58.416193Z"},"content_sha256":"d7c985e6044438b84ecb0b38c1af3e33dd913a8e95ca1e24771585e4b6ab1457","schema_version":"1.0","event_id":"sha256:d7c985e6044438b84ecb0b38c1af3e33dd913a8e95ca1e24771585e4b6ab1457"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H65O7FVGODNQST2KDX6OV54TAZ/bundle.json","state_url":"https://pith.science/pith/H65O7FVGODNQST2KDX6OV54TAZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H65O7FVGODNQST2KDX6OV54TAZ/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-09T10:56:58Z","links":{"resolver":"https://pith.science/pith/H65O7FVGODNQST2KDX6OV54TAZ","bundle":"https://pith.science/pith/H65O7FVGODNQST2KDX6OV54TAZ/bundle.json","state":"https://pith.science/pith/H65O7FVGODNQST2KDX6OV54TAZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H65O7FVGODNQST2KDX6OV54TAZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:H65O7FVGODNQST2KDX6OV54TAZ","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":"1964f3e780ec8e494c556813272d8982e02ceaaf4374b42dbcd3cbe4ef544887","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-02-07T19:29:47Z","title_canon_sha256":"3f826658a8314800d78824e0bc478fbb8f01db4294693309f7ce542208e6e86b"},"schema_version":"1.0","source":{"id":"2502.05280","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.05280","created_at":"2026-07-05T10:11:35Z"},{"alias_kind":"arxiv_version","alias_value":"2502.05280v1","created_at":"2026-07-05T10:11:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.05280","created_at":"2026-07-05T10:11:35Z"},{"alias_kind":"pith_short_12","alias_value":"H65O7FVGODNQ","created_at":"2026-07-05T10:11:35Z"},{"alias_kind":"pith_short_16","alias_value":"H65O7FVGODNQST2K","created_at":"2026-07-05T10:11:35Z"},{"alias_kind":"pith_short_8","alias_value":"H65O7FVG","created_at":"2026-07-05T10:11:35Z"}],"graph_snapshots":[{"event_id":"sha256:d7c985e6044438b84ecb0b38c1af3e33dd913a8e95ca1e24771585e4b6ab1457","target":"graph","created_at":"2026-07-05T10:11:35Z","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/2502.05280/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract model proposed here is intended to capture both the similarities and the differences between classical and blockchain-based models of distributed computing. The focus is on cross-chain protocols in which a collection of parties, some honest and some perhaps not, interact through trusted smart contracts residing on multiple, independent ledgers.\n  While cross-chain protocols are capable of general computations, they ","authors_text":"Maria Potop-Butucaru, Maurice Herlihy, Sergio Rajsbaum, Sucharita Jayanti, Yackolley Amoussou-Guenou","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-02-07T19:29:47Z","title":"The Smart Contract Model"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.05280","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:5c08bc262454f84602f02999bc5e3fe80e3b96eccd1c320899079965842f4336","target":"record","created_at":"2026-07-05T10:11:35Z","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":"1964f3e780ec8e494c556813272d8982e02ceaaf4374b42dbcd3cbe4ef544887","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-02-07T19:29:47Z","title_canon_sha256":"3f826658a8314800d78824e0bc478fbb8f01db4294693309f7ce542208e6e86b"},"schema_version":"1.0","source":{"id":"2502.05280","kind":"arxiv","version":1}},"canonical_sha256":"3fbaef96a670db094f4a1dfceaf793064e60751d98f10ea99b1625eefcd1e8f2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3fbaef96a670db094f4a1dfceaf793064e60751d98f10ea99b1625eefcd1e8f2","first_computed_at":"2026-07-05T10:11:35.274868Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:11:35.274868Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T2rAWZ/REiaMUwP7QpuO2xIy0L4SmqrcPT1v6U43Pa3IFMDml+V/mQn0eyI253m8BYHcLY/c0ppeYQ0nIL27Dg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:11:35.275478Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.05280","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5c08bc262454f84602f02999bc5e3fe80e3b96eccd1c320899079965842f4336","sha256:d7c985e6044438b84ecb0b38c1af3e33dd913a8e95ca1e24771585e4b6ab1457"],"state_sha256":"1d20da165757c7331aa31d5e5adaa7e12ce9369dc9deafbca48784e68843bdd7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fiMPEAnCTuvRcPncomPZSfnmywT+P+npIML/pYPgr8n3+71jIFG1kcguQnQdEKirBibDez69W4vdMQqbU4IpDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T10:56:58.419653Z","bundle_sha256":"e9a550c17d627d1afecfaa872499c43913dc8c6feea75d5260fe86525dd8bb4f"}}