{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:CAR7KC2EL36O6TJBNRM6VDZPBP","short_pith_number":"pith:CAR7KC2E","canonical_record":{"source":{"id":"1302.4808","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-20T05:22:35Z","cross_cats_sorted":[],"title_canon_sha256":"017a00db1be2d0a2324f706b2d020ec0e1dd0e982c41b4891dfa8515661d0675","abstract_canon_sha256":"6bb3ef04ff7ae28dc540f9372c5ec009b6f1ee3b347a88e82dd4c7c4c77e1c34"},"schema_version":"1.0"},"canonical_sha256":"1023f50b445efcef4d216c59ea8f2f0bc4b9b5f976b2e2c95fde845b004732b8","source":{"kind":"arxiv","id":"1302.4808","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4808","created_at":"2026-05-18T00:20:18Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4808v4","created_at":"2026-05-18T00:20:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4808","created_at":"2026-05-18T00:20:18Z"},{"alias_kind":"pith_short_12","alias_value":"CAR7KC2EL36O","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CAR7KC2EL36O6TJB","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CAR7KC2E","created_at":"2026-05-18T12:27:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:CAR7KC2EL36O6TJBNRM6VDZPBP","target":"record","payload":{"canonical_record":{"source":{"id":"1302.4808","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-20T05:22:35Z","cross_cats_sorted":[],"title_canon_sha256":"017a00db1be2d0a2324f706b2d020ec0e1dd0e982c41b4891dfa8515661d0675","abstract_canon_sha256":"6bb3ef04ff7ae28dc540f9372c5ec009b6f1ee3b347a88e82dd4c7c4c77e1c34"},"schema_version":"1.0"},"canonical_sha256":"1023f50b445efcef4d216c59ea8f2f0bc4b9b5f976b2e2c95fde845b004732b8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:20:18.175029Z","signature_b64":"A5IsHYop2cGWM5li8KXu08kcoWnZYAtkIZRAM+AfhGoRDB3MmjwDKvSDNWXcFWjZyxibXiZCtko7QXv4cFHEAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1023f50b445efcef4d216c59ea8f2f0bc4b9b5f976b2e2c95fde845b004732b8","last_reissued_at":"2026-05-18T00:20:18.174427Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:20:18.174427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.4808","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:20:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YIDONMDp9ezlPh2IxjHPGQGVZuGOoBex7De1OhUz5203nlIH4PMy7XAHMmelB8OoHisZcYjTDGvpzYJob3RgDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T12:20:30.694979Z"},"content_sha256":"5256346d54d94835c4a1c3269f84389abab99068288bf7c1e5b63c752994e9bd","schema_version":"1.0","event_id":"sha256:5256346d54d94835c4a1c3269f84389abab99068288bf7c1e5b63c752994e9bd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:CAR7KC2EL36O6TJBNRM6VDZPBP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Verifying the Consistency of Remote Untrusted Services with Conflict-Free Operations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Christian Cachin, Olga Ohrimenko","submitted_at":"2013-02-20T05:22:35Z","abstract_excerpt":"A group of mutually trusting clients outsources a computation service to a remote server, which they do not fully trust and that may be subject to attacks. The clients do not communicate with each other and would like to verify the correctness of the remote computation and the consistency of the server's responses. This paper presents the Conflict-free Operation verification Protocol (COP) that ensures linearizability when the server is correct and preserves fork-linearizability in any other case. All clients that observe each other's operations are consistent, in the sense that their own oper"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4808","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:20:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gmWFXFnXZCjQg2Xs/5doggIjIuIwf1adPn4GgTPM4LeE0nG/UX4CrJeMQcuQ+uL6ZASVTz9Xo50jTnqrYbiYCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T12:20:30.695348Z"},"content_sha256":"a94cad6cc8e8733794c5f14e20ebf1c0912648464414ba85fbf736858c2e66a3","schema_version":"1.0","event_id":"sha256:a94cad6cc8e8733794c5f14e20ebf1c0912648464414ba85fbf736858c2e66a3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CAR7KC2EL36O6TJBNRM6VDZPBP/bundle.json","state_url":"https://pith.science/pith/CAR7KC2EL36O6TJBNRM6VDZPBP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CAR7KC2EL36O6TJBNRM6VDZPBP/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-28T12:20:30Z","links":{"resolver":"https://pith.science/pith/CAR7KC2EL36O6TJBNRM6VDZPBP","bundle":"https://pith.science/pith/CAR7KC2EL36O6TJBNRM6VDZPBP/bundle.json","state":"https://pith.science/pith/CAR7KC2EL36O6TJBNRM6VDZPBP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CAR7KC2EL36O6TJBNRM6VDZPBP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:CAR7KC2EL36O6TJBNRM6VDZPBP","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":"6bb3ef04ff7ae28dc540f9372c5ec009b6f1ee3b347a88e82dd4c7c4c77e1c34","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-20T05:22:35Z","title_canon_sha256":"017a00db1be2d0a2324f706b2d020ec0e1dd0e982c41b4891dfa8515661d0675"},"schema_version":"1.0","source":{"id":"1302.4808","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.4808","created_at":"2026-05-18T00:20:18Z"},{"alias_kind":"arxiv_version","alias_value":"1302.4808v4","created_at":"2026-05-18T00:20:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.4808","created_at":"2026-05-18T00:20:18Z"},{"alias_kind":"pith_short_12","alias_value":"CAR7KC2EL36O","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"CAR7KC2EL36O6TJB","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"CAR7KC2E","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:a94cad6cc8e8733794c5f14e20ebf1c0912648464414ba85fbf736858c2e66a3","target":"graph","created_at":"2026-05-18T00:20:18Z","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":"A group of mutually trusting clients outsources a computation service to a remote server, which they do not fully trust and that may be subject to attacks. The clients do not communicate with each other and would like to verify the correctness of the remote computation and the consistency of the server's responses. This paper presents the Conflict-free Operation verification Protocol (COP) that ensures linearizability when the server is correct and preserves fork-linearizability in any other case. All clients that observe each other's operations are consistent, in the sense that their own oper","authors_text":"Christian Cachin, Olga Ohrimenko","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-20T05:22:35Z","title":"Verifying the Consistency of Remote Untrusted Services with Conflict-Free Operations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.4808","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:5256346d54d94835c4a1c3269f84389abab99068288bf7c1e5b63c752994e9bd","target":"record","created_at":"2026-05-18T00:20:18Z","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":"6bb3ef04ff7ae28dc540f9372c5ec009b6f1ee3b347a88e82dd4c7c4c77e1c34","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-20T05:22:35Z","title_canon_sha256":"017a00db1be2d0a2324f706b2d020ec0e1dd0e982c41b4891dfa8515661d0675"},"schema_version":"1.0","source":{"id":"1302.4808","kind":"arxiv","version":4}},"canonical_sha256":"1023f50b445efcef4d216c59ea8f2f0bc4b9b5f976b2e2c95fde845b004732b8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1023f50b445efcef4d216c59ea8f2f0bc4b9b5f976b2e2c95fde845b004732b8","first_computed_at":"2026-05-18T00:20:18.174427Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:20:18.174427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"A5IsHYop2cGWM5li8KXu08kcoWnZYAtkIZRAM+AfhGoRDB3MmjwDKvSDNWXcFWjZyxibXiZCtko7QXv4cFHEAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:20:18.175029Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.4808","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5256346d54d94835c4a1c3269f84389abab99068288bf7c1e5b63c752994e9bd","sha256:a94cad6cc8e8733794c5f14e20ebf1c0912648464414ba85fbf736858c2e66a3"],"state_sha256":"c0571ef7d95057d3aaefefcbb00c9ef9d323c5b56293167d7eda4633a965c4e8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RCfICnREFpsL/eYyYjQDMrDDQ+AuIrs0jJp8KnMRWE3cLZvgVNFFQR17j0xMBcIUgSdQ7TNDHU7Je7yaGtvLCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T12:20:30.697430Z","bundle_sha256":"2777089a744aef3c9c6f65401bc66fe0eb546efb72aeab395ca6fe013161d3c8"}}