{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XIYOXICR7IGVR2RNWUPOXDO3BG","short_pith_number":"pith:XIYOXICR","canonical_record":{"source":{"id":"1708.01171","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-08-03T14:58:44Z","cross_cats_sorted":[],"title_canon_sha256":"b1972cec4dd0a8c569f789c58a07220c134ea62c59d75567af147c5575810e41","abstract_canon_sha256":"1dffc0397f97dd1af10fe808e92c723f271a5480d7f3c45e7ffcb6e5cfe894de"},"schema_version":"1.0"},"canonical_sha256":"ba30eba051fa0d58ea2db51eeb8ddb09b3ae4de5e44a84187297dd8664d22493","source":{"kind":"arxiv","id":"1708.01171","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.01171","created_at":"2026-05-18T00:36:08Z"},{"alias_kind":"arxiv_version","alias_value":"1708.01171v4","created_at":"2026-05-18T00:36:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.01171","created_at":"2026-05-18T00:36:08Z"},{"alias_kind":"pith_short_12","alias_value":"XIYOXICR7IGV","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XIYOXICR7IGVR2RN","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XIYOXICR","created_at":"2026-05-18T12:31:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XIYOXICR7IGVR2RNWUPOXDO3BG","target":"record","payload":{"canonical_record":{"source":{"id":"1708.01171","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-08-03T14:58:44Z","cross_cats_sorted":[],"title_canon_sha256":"b1972cec4dd0a8c569f789c58a07220c134ea62c59d75567af147c5575810e41","abstract_canon_sha256":"1dffc0397f97dd1af10fe808e92c723f271a5480d7f3c45e7ffcb6e5cfe894de"},"schema_version":"1.0"},"canonical_sha256":"ba30eba051fa0d58ea2db51eeb8ddb09b3ae4de5e44a84187297dd8664d22493","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:36:08.374706Z","signature_b64":"VAQZEOwFV7YlFshKKpS9BXoR7knqIXdNRwdPmF9IsuFf6FfKY88CWvamY51BcQEnQSxi2qIS/hb00BmpsUW2AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ba30eba051fa0d58ea2db51eeb8ddb09b3ae4de5e44a84187297dd8664d22493","last_reissued_at":"2026-05-18T00:36:08.374077Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:36:08.374077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.01171","source_version":4,"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:36:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rA5ctn9oymFPyDO8AEgIGl1CZSG9HkmTA0VCKkadNFI2hKEvcwmLDJ5SamyfXxE53G+GMgMSQ3IOgQEp4b0+CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T18:11:18.721107Z"},"content_sha256":"f5f2ea66e334a65da519ef2c93bc03d5d91b736fae1e4f970ff7cbb8abc5728b","schema_version":"1.0","event_id":"sha256:f5f2ea66e334a65da519ef2c93bc03d5d91b736fae1e4f970ff7cbb8abc5728b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XIYOXICR7IGVR2RNWUPOXDO3BG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CR","authors_text":"Aad van Moorsel, Amjad Aldweesh, Changyu Dong, Patrick McCorry, Yilei Wang","submitted_at":"2017-08-03T14:58:44Z","abstract_excerpt":"Cloud computing has become an irreversible trend. Together comes the pressing need for verifiability, to assure the client the correctness of computation outsourced to the cloud. Existing verifiable computation techniques all have a high overhead, thus if being deployed in the clouds, would render cloud computing more expensive than the on-premises counterpart. To achieve verifiability at a reasonable cost, we leverage game theory and propose a smart contract based solution. In a nutshell, a client lets two clouds compute the same task, and uses smart contracts to stimulate tension, betrayal a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.01171","kind":"arxiv","version":4},"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:36:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1lf7AtBcJ1bc2ItuNN5yj7J3KncvUMRNgNDxcW0ow4OCC/ERgLzDsp5k3ww/vKrphirCKDMDMSA/0gcRF9E/DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T18:11:18.721772Z"},"content_sha256":"c0aede02cc6dc66643ad8cab821a2aa11e22218b5a696accd18e83cc75d39951","schema_version":"1.0","event_id":"sha256:c0aede02cc6dc66643ad8cab821a2aa11e22218b5a696accd18e83cc75d39951"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XIYOXICR7IGVR2RNWUPOXDO3BG/bundle.json","state_url":"https://pith.science/pith/XIYOXICR7IGVR2RNWUPOXDO3BG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XIYOXICR7IGVR2RNWUPOXDO3BG/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-05-26T18:11:18Z","links":{"resolver":"https://pith.science/pith/XIYOXICR7IGVR2RNWUPOXDO3BG","bundle":"https://pith.science/pith/XIYOXICR7IGVR2RNWUPOXDO3BG/bundle.json","state":"https://pith.science/pith/XIYOXICR7IGVR2RNWUPOXDO3BG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XIYOXICR7IGVR2RNWUPOXDO3BG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XIYOXICR7IGVR2RNWUPOXDO3BG","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":"1dffc0397f97dd1af10fe808e92c723f271a5480d7f3c45e7ffcb6e5cfe894de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-08-03T14:58:44Z","title_canon_sha256":"b1972cec4dd0a8c569f789c58a07220c134ea62c59d75567af147c5575810e41"},"schema_version":"1.0","source":{"id":"1708.01171","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.01171","created_at":"2026-05-18T00:36:08Z"},{"alias_kind":"arxiv_version","alias_value":"1708.01171v4","created_at":"2026-05-18T00:36:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.01171","created_at":"2026-05-18T00:36:08Z"},{"alias_kind":"pith_short_12","alias_value":"XIYOXICR7IGV","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_16","alias_value":"XIYOXICR7IGVR2RN","created_at":"2026-05-18T12:31:53Z"},{"alias_kind":"pith_short_8","alias_value":"XIYOXICR","created_at":"2026-05-18T12:31:53Z"}],"graph_snapshots":[{"event_id":"sha256:c0aede02cc6dc66643ad8cab821a2aa11e22218b5a696accd18e83cc75d39951","target":"graph","created_at":"2026-05-18T00:36:08Z","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":"Cloud computing has become an irreversible trend. Together comes the pressing need for verifiability, to assure the client the correctness of computation outsourced to the cloud. Existing verifiable computation techniques all have a high overhead, thus if being deployed in the clouds, would render cloud computing more expensive than the on-premises counterpart. To achieve verifiability at a reasonable cost, we leverage game theory and propose a smart contract based solution. In a nutshell, a client lets two clouds compute the same task, and uses smart contracts to stimulate tension, betrayal a","authors_text":"Aad van Moorsel, Amjad Aldweesh, Changyu Dong, Patrick McCorry, Yilei Wang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-08-03T14:58:44Z","title":"Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.01171","kind":"arxiv","version":4},"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:f5f2ea66e334a65da519ef2c93bc03d5d91b736fae1e4f970ff7cbb8abc5728b","target":"record","created_at":"2026-05-18T00:36:08Z","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":"1dffc0397f97dd1af10fe808e92c723f271a5480d7f3c45e7ffcb6e5cfe894de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CR","submitted_at":"2017-08-03T14:58:44Z","title_canon_sha256":"b1972cec4dd0a8c569f789c58a07220c134ea62c59d75567af147c5575810e41"},"schema_version":"1.0","source":{"id":"1708.01171","kind":"arxiv","version":4}},"canonical_sha256":"ba30eba051fa0d58ea2db51eeb8ddb09b3ae4de5e44a84187297dd8664d22493","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ba30eba051fa0d58ea2db51eeb8ddb09b3ae4de5e44a84187297dd8664d22493","first_computed_at":"2026-05-18T00:36:08.374077Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:36:08.374077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VAQZEOwFV7YlFshKKpS9BXoR7knqIXdNRwdPmF9IsuFf6FfKY88CWvamY51BcQEnQSxi2qIS/hb00BmpsUW2AQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:36:08.374706Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.01171","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f5f2ea66e334a65da519ef2c93bc03d5d91b736fae1e4f970ff7cbb8abc5728b","sha256:c0aede02cc6dc66643ad8cab821a2aa11e22218b5a696accd18e83cc75d39951"],"state_sha256":"b947f6e43abdc7e68f75c20b7fa3c24a3ba160b4f95791eac5126726966158fb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wHeh+Ef96mDG4qcI0zmGZg3uplGRrchPXUu95yk05mKs6Td+70fpyWngOwRXUddV4BQl32lrRBJ9v5BeQgjABw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T18:11:18.725435Z","bundle_sha256":"ab734d0eb827600b77cf02438c719d332f21db1b7cc7610996d921ab81281b50"}}