{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:WNWUVFABQPIJFER2AXFMHKII5G","short_pith_number":"pith:WNWUVFAB","canonical_record":{"source":{"id":"1302.6224","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-25T20:50:25Z","cross_cats_sorted":[],"title_canon_sha256":"c702e10a2125bd4329505cbe15bd98f9a73e107b93d048fc5e3942d6e24b9244","abstract_canon_sha256":"c510f8901fbb315ba486c2db04958304bb57672b205ae2a4292cac396a668394"},"schema_version":"1.0"},"canonical_sha256":"b36d4a940183d092923a05cac3a908e9bba9d70188725a7aff208e495a10bb1d","source":{"kind":"arxiv","id":"1302.6224","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.6224","created_at":"2026-05-18T02:50:03Z"},{"alias_kind":"arxiv_version","alias_value":"1302.6224v5","created_at":"2026-05-18T02:50:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.6224","created_at":"2026-05-18T02:50:03Z"},{"alias_kind":"pith_short_12","alias_value":"WNWUVFABQPIJ","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"WNWUVFABQPIJFER2","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"WNWUVFAB","created_at":"2026-05-18T12:28:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:WNWUVFABQPIJFER2AXFMHKII5G","target":"record","payload":{"canonical_record":{"source":{"id":"1302.6224","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-25T20:50:25Z","cross_cats_sorted":[],"title_canon_sha256":"c702e10a2125bd4329505cbe15bd98f9a73e107b93d048fc5e3942d6e24b9244","abstract_canon_sha256":"c510f8901fbb315ba486c2db04958304bb57672b205ae2a4292cac396a668394"},"schema_version":"1.0"},"canonical_sha256":"b36d4a940183d092923a05cac3a908e9bba9d70188725a7aff208e495a10bb1d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:50:03.545498Z","signature_b64":"JBmOjBL3CDAMtrc/cDrpW/ZVVoL7VhdJ/kgIlNkHuUpc0lNqP63GfJqLhuAVS84UAcwgpjFqu+qM5+a7LSu7DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b36d4a940183d092923a05cac3a908e9bba9d70188725a7aff208e495a10bb1d","last_reissued_at":"2026-05-18T02:50:03.544698Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:50:03.544698Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.6224","source_version":5,"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-18T02:50:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3dlRu8i1QvOIQNfo8ILh8RtNtq+nJPpEY192kw9ISvv7EkH9ejYm9xopI+nZRFuDH3ucPo0XNfWvmpG0Nf42Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T03:37:37.053565Z"},"content_sha256":"39db274ae8e00ae09908dad4be5df5b404e00eca77b2d8692b5deab682868a13","schema_version":"1.0","event_id":"sha256:39db274ae8e00ae09908dad4be5df5b404e00eca77b2d8692b5deab682868a13"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:WNWUVFABQPIJFER2AXFMHKII5G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Distributed Computability in Byzantine Asynchronous Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Christine Tasson, Hammurabi Mendes, Maurice Herlihy","submitted_at":"2013-02-25T20:50:25Z","abstract_excerpt":"In this work, we extend the topology-based approach for characterizing computability in asynchronous crash-failure distributed systems to asynchronous Byzantine systems. We give the first theorem with necessary and sufficient conditions to solve arbitrary tasks in asynchronous Byzantine systems where an adversary chooses faulty processes. In our adversarial formulation, outputs of non-faulty processes are constrained in terms of inputs of non-faulty processes only. For colorless tasks, an important subclass of distributed problems, the general result reduces to an elegant model that effectivel"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.6224","kind":"arxiv","version":5},"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-18T02:50:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DUPs0wsbY6Ejm63HaPcafLUwAc3bqHxetw3Ji3VFBoS7ghrEteFgmMDpHQplPWi/7+RNXaeaA102StHrgSVXBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T03:37:37.053902Z"},"content_sha256":"7afad6650e5b91534c415234a433326e733f83c0c5da1b661c3ca0f2cd37ea20","schema_version":"1.0","event_id":"sha256:7afad6650e5b91534c415234a433326e733f83c0c5da1b661c3ca0f2cd37ea20"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WNWUVFABQPIJFER2AXFMHKII5G/bundle.json","state_url":"https://pith.science/pith/WNWUVFABQPIJFER2AXFMHKII5G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WNWUVFABQPIJFER2AXFMHKII5G/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-30T03:37:37Z","links":{"resolver":"https://pith.science/pith/WNWUVFABQPIJFER2AXFMHKII5G","bundle":"https://pith.science/pith/WNWUVFABQPIJFER2AXFMHKII5G/bundle.json","state":"https://pith.science/pith/WNWUVFABQPIJFER2AXFMHKII5G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WNWUVFABQPIJFER2AXFMHKII5G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:WNWUVFABQPIJFER2AXFMHKII5G","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":"c510f8901fbb315ba486c2db04958304bb57672b205ae2a4292cac396a668394","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-25T20:50:25Z","title_canon_sha256":"c702e10a2125bd4329505cbe15bd98f9a73e107b93d048fc5e3942d6e24b9244"},"schema_version":"1.0","source":{"id":"1302.6224","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.6224","created_at":"2026-05-18T02:50:03Z"},{"alias_kind":"arxiv_version","alias_value":"1302.6224v5","created_at":"2026-05-18T02:50:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.6224","created_at":"2026-05-18T02:50:03Z"},{"alias_kind":"pith_short_12","alias_value":"WNWUVFABQPIJ","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"WNWUVFABQPIJFER2","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"WNWUVFAB","created_at":"2026-05-18T12:28:04Z"}],"graph_snapshots":[{"event_id":"sha256:7afad6650e5b91534c415234a433326e733f83c0c5da1b661c3ca0f2cd37ea20","target":"graph","created_at":"2026-05-18T02:50:03Z","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":"In this work, we extend the topology-based approach for characterizing computability in asynchronous crash-failure distributed systems to asynchronous Byzantine systems. We give the first theorem with necessary and sufficient conditions to solve arbitrary tasks in asynchronous Byzantine systems where an adversary chooses faulty processes. In our adversarial formulation, outputs of non-faulty processes are constrained in terms of inputs of non-faulty processes only. For colorless tasks, an important subclass of distributed problems, the general result reduces to an elegant model that effectivel","authors_text":"Christine Tasson, Hammurabi Mendes, Maurice Herlihy","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-25T20:50:25Z","title":"Distributed Computability in Byzantine Asynchronous Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.6224","kind":"arxiv","version":5},"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:39db274ae8e00ae09908dad4be5df5b404e00eca77b2d8692b5deab682868a13","target":"record","created_at":"2026-05-18T02:50:03Z","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":"c510f8901fbb315ba486c2db04958304bb57672b205ae2a4292cac396a668394","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2013-02-25T20:50:25Z","title_canon_sha256":"c702e10a2125bd4329505cbe15bd98f9a73e107b93d048fc5e3942d6e24b9244"},"schema_version":"1.0","source":{"id":"1302.6224","kind":"arxiv","version":5}},"canonical_sha256":"b36d4a940183d092923a05cac3a908e9bba9d70188725a7aff208e495a10bb1d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b36d4a940183d092923a05cac3a908e9bba9d70188725a7aff208e495a10bb1d","first_computed_at":"2026-05-18T02:50:03.544698Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:50:03.544698Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JBmOjBL3CDAMtrc/cDrpW/ZVVoL7VhdJ/kgIlNkHuUpc0lNqP63GfJqLhuAVS84UAcwgpjFqu+qM5+a7LSu7DA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:50:03.545498Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.6224","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:39db274ae8e00ae09908dad4be5df5b404e00eca77b2d8692b5deab682868a13","sha256:7afad6650e5b91534c415234a433326e733f83c0c5da1b661c3ca0f2cd37ea20"],"state_sha256":"08a11b3d8629bf6440785416fc0a2dc5f1144b9b37def575fe1fa735473f77d2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zf3Ri8fr60PJmnGGcaDiyW7+x61Z9S3kwepPha/zjT9jXf8zCDsbjiFKKVPMRsSdCD1xSfLuAqZFFUCXH0PxBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T03:37:37.055767Z","bundle_sha256":"ea9d8424528e4d30f1fec5e2e1ac4ef3f59bb07dcf3c7491aff01852dac87680"}}