{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:NB4N426V2JMQBCO5K7AOL6244G","short_pith_number":"pith:NB4N426V","schema_version":"1.0","canonical_sha256":"6878de6bd5d2590089dd57c0e5fb5ce1bcb033c7f16d704aae174bba61a3551f","source":{"kind":"arxiv","id":"1802.07000","version":9},"attestation_state":"computed","paper":{"title":"CASPaxos: Replicated State Machines without logs","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Denis Rystsov","submitted_at":"2018-02-20T08:09:38Z","abstract_excerpt":"CASPaxos is a wait-free, linearizable, multi-writer multi-reader register in unreliable, asynchronous networks supporting arbitrary update operations including compare-and-set (CAS). The register acts as a replicated state machine providing an interface for changing its value by applying an arbitrary user-provided function (a command). Unlike Multi-Paxos and Raft which replicate the log of commands, CASPaxos replicates state, thus avoiding associated complexity, reducing write amplification, increasing concurrency of disk operations and hardware utilization. The paper describes CASPaxos, prove"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1802.07000","kind":"arxiv","version":9},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.DC","submitted_at":"2018-02-20T08:09:38Z","cross_cats_sorted":[],"title_canon_sha256":"c6fe97672555b33eb333eacf9809e9bdb99c3cedc16c367e414d6ba8a121a876","abstract_canon_sha256":"e9331575a1fc62a05c556072dcdce4e7132abe8b588df6645084a339463a650c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:51.914962Z","signature_b64":"9tS7kdiFR0zfltvBAcmmhqEkp2s9m/fvlhzBF1x90+vPrfocm8sSkBxrTr+z3aNG/RAK6FDguwEr8ayr10iRCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6878de6bd5d2590089dd57c0e5fb5ce1bcb033c7f16d704aae174bba61a3551f","last_reissued_at":"2026-05-18T00:15:51.914269Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:51.914269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"CASPaxos: Replicated State Machines without logs","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Denis Rystsov","submitted_at":"2018-02-20T08:09:38Z","abstract_excerpt":"CASPaxos is a wait-free, linearizable, multi-writer multi-reader register in unreliable, asynchronous networks supporting arbitrary update operations including compare-and-set (CAS). The register acts as a replicated state machine providing an interface for changing its value by applying an arbitrary user-provided function (a command). Unlike Multi-Paxos and Raft which replicate the log of commands, CASPaxos replicates state, thus avoiding associated complexity, reducing write amplification, increasing concurrency of disk operations and hardware utilization. The paper describes CASPaxos, prove"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.07000","kind":"arxiv","version":9},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1802.07000","created_at":"2026-05-18T00:15:51.914372+00:00"},{"alias_kind":"arxiv_version","alias_value":"1802.07000v9","created_at":"2026-05-18T00:15:51.914372+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.07000","created_at":"2026-05-18T00:15:51.914372+00:00"},{"alias_kind":"pith_short_12","alias_value":"NB4N426V2JMQ","created_at":"2026-05-18T12:32:40.477152+00:00"},{"alias_kind":"pith_short_16","alias_value":"NB4N426V2JMQBCO5","created_at":"2026-05-18T12:32:40.477152+00:00"},{"alias_kind":"pith_short_8","alias_value":"NB4N426V","created_at":"2026-05-18T12:32:40.477152+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2505.14900","citing_title":"Implementing Decentralized Per-Partition Automatic Failover in Azure Cosmos DB","ref_index":1,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NB4N426V2JMQBCO5K7AOL6244G","json":"https://pith.science/pith/NB4N426V2JMQBCO5K7AOL6244G.json","graph_json":"https://pith.science/api/pith-number/NB4N426V2JMQBCO5K7AOL6244G/graph.json","events_json":"https://pith.science/api/pith-number/NB4N426V2JMQBCO5K7AOL6244G/events.json","paper":"https://pith.science/paper/NB4N426V"},"agent_actions":{"view_html":"https://pith.science/pith/NB4N426V2JMQBCO5K7AOL6244G","download_json":"https://pith.science/pith/NB4N426V2JMQBCO5K7AOL6244G.json","view_paper":"https://pith.science/paper/NB4N426V","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1802.07000&json=true","fetch_graph":"https://pith.science/api/pith-number/NB4N426V2JMQBCO5K7AOL6244G/graph.json","fetch_events":"https://pith.science/api/pith-number/NB4N426V2JMQBCO5K7AOL6244G/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NB4N426V2JMQBCO5K7AOL6244G/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NB4N426V2JMQBCO5K7AOL6244G/action/storage_attestation","attest_author":"https://pith.science/pith/NB4N426V2JMQBCO5K7AOL6244G/action/author_attestation","sign_citation":"https://pith.science/pith/NB4N426V2JMQBCO5K7AOL6244G/action/citation_signature","submit_replication":"https://pith.science/pith/NB4N426V2JMQBCO5K7AOL6244G/action/replication_record"}},"created_at":"2026-05-18T00:15:51.914372+00:00","updated_at":"2026-05-18T00:15:51.914372+00:00"}