{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:BQ62JAGMSBUKAYNJATOJVIREXD","short_pith_number":"pith:BQ62JAGM","canonical_record":{"source":{"id":"1010.2287","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-10-12T02:45:37Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"3c78beb5ef8c17b97bec6bc9021f72ff4cb5b2bf61ad51d616f4e8a9b899acb2","abstract_canon_sha256":"458cf9ee4d931d7e7fbcc37951dac096f24302422b4168415c90205fe8daf77a"},"schema_version":"1.0"},"canonical_sha256":"0c3da480cc9068a061a904dc9aa224b8d27f9117bc358849491128080c4af66e","source":{"kind":"arxiv","id":"1010.2287","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1010.2287","created_at":"2026-05-18T04:39:28Z"},{"alias_kind":"arxiv_version","alias_value":"1010.2287v1","created_at":"2026-05-18T04:39:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1010.2287","created_at":"2026-05-18T04:39:28Z"},{"alias_kind":"pith_short_12","alias_value":"BQ62JAGMSBUK","created_at":"2026-05-18T12:26:05Z"},{"alias_kind":"pith_short_16","alias_value":"BQ62JAGMSBUKAYNJ","created_at":"2026-05-18T12:26:05Z"},{"alias_kind":"pith_short_8","alias_value":"BQ62JAGM","created_at":"2026-05-18T12:26:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:BQ62JAGMSBUKAYNJATOJVIREXD","target":"record","payload":{"canonical_record":{"source":{"id":"1010.2287","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-10-12T02:45:37Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"3c78beb5ef8c17b97bec6bc9021f72ff4cb5b2bf61ad51d616f4e8a9b899acb2","abstract_canon_sha256":"458cf9ee4d931d7e7fbcc37951dac096f24302422b4168415c90205fe8daf77a"},"schema_version":"1.0"},"canonical_sha256":"0c3da480cc9068a061a904dc9aa224b8d27f9117bc358849491128080c4af66e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:39:28.334371Z","signature_b64":"J1eII73B7hIKLeowPLb030WkaN0lgvlZNal1B3D/uqLuPZ3tktWSv4d8uSijc2RxqSAYmd2WIRDut8rBaXhRDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0c3da480cc9068a061a904dc9aa224b8d27f9117bc358849491128080c4af66e","last_reissued_at":"2026-05-18T04:39:28.333779Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:39:28.333779Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1010.2287","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-05-18T04:39:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BS7cCReXyAcrwF1kKk7oRunVU0oOZG1qFR+o/mpGE9iRywxrkDcAIA8kmNCnWaEjFuUj+5NykSm7d5/QxbP2BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:00:32.141499Z"},"content_sha256":"bbd4c7ed2859b8a445ca1b98bd47eb90a62058d05ce05ce59af88e98abb6b342","schema_version":"1.0","event_id":"sha256:bbd4c7ed2859b8a445ca1b98bd47eb90a62058d05ce05ce59af88e98abb6b342"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:BQ62JAGMSBUKAYNJATOJVIREXD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"cs.LO","authors_text":"Omar I. Al-Bataineh, Ron van der Meyden","submitted_at":"2010-10-12T02:45:37Z","abstract_excerpt":"The paper describes an abstraction for protocols that are based on multiple rounds of Chaum's Dining Cryptographers protocol. It is proved that the abstraction preserves a rich class of specifications in the logic of knowledge, including specifications describing what an agent knows about other agents' knowledge. This result can be used to optimize model checking of Dining Cryptographers-based protocols, and applied within a methodology for knowledge-based program implementation and verification. Some case studies of such an application are given, for a protocol that uses the Dining Cryptograp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1010.2287","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":""},"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-18T04:39:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mf4wWwGML3eqH/z1QUs3r7YkydWvK8l8r36SJdPmXkotFxwE/BhfoAC8V8SJFNhcxl/Psoiznvkqgsm2/5GNAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:00:32.141842Z"},"content_sha256":"1862b6c439c9393b16ce40dfa01460db08d1f06969c05756a60a742d7469158d","schema_version":"1.0","event_id":"sha256:1862b6c439c9393b16ce40dfa01460db08d1f06969c05756a60a742d7469158d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BQ62JAGMSBUKAYNJATOJVIREXD/bundle.json","state_url":"https://pith.science/pith/BQ62JAGMSBUKAYNJATOJVIREXD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BQ62JAGMSBUKAYNJATOJVIREXD/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-02T23:00:32Z","links":{"resolver":"https://pith.science/pith/BQ62JAGMSBUKAYNJATOJVIREXD","bundle":"https://pith.science/pith/BQ62JAGMSBUKAYNJATOJVIREXD/bundle.json","state":"https://pith.science/pith/BQ62JAGMSBUKAYNJATOJVIREXD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BQ62JAGMSBUKAYNJATOJVIREXD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:BQ62JAGMSBUKAYNJATOJVIREXD","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":"458cf9ee4d931d7e7fbcc37951dac096f24302422b4168415c90205fe8daf77a","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-10-12T02:45:37Z","title_canon_sha256":"3c78beb5ef8c17b97bec6bc9021f72ff4cb5b2bf61ad51d616f4e8a9b899acb2"},"schema_version":"1.0","source":{"id":"1010.2287","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1010.2287","created_at":"2026-05-18T04:39:28Z"},{"alias_kind":"arxiv_version","alias_value":"1010.2287v1","created_at":"2026-05-18T04:39:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1010.2287","created_at":"2026-05-18T04:39:28Z"},{"alias_kind":"pith_short_12","alias_value":"BQ62JAGMSBUK","created_at":"2026-05-18T12:26:05Z"},{"alias_kind":"pith_short_16","alias_value":"BQ62JAGMSBUKAYNJ","created_at":"2026-05-18T12:26:05Z"},{"alias_kind":"pith_short_8","alias_value":"BQ62JAGM","created_at":"2026-05-18T12:26:05Z"}],"graph_snapshots":[{"event_id":"sha256:1862b6c439c9393b16ce40dfa01460db08d1f06969c05756a60a742d7469158d","target":"graph","created_at":"2026-05-18T04:39:28Z","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":"The paper describes an abstraction for protocols that are based on multiple rounds of Chaum's Dining Cryptographers protocol. It is proved that the abstraction preserves a rich class of specifications in the logic of knowledge, including specifications describing what an agent knows about other agents' knowledge. This result can be used to optimize model checking of Dining Cryptographers-based protocols, and applied within a methodology for knowledge-based program implementation and verification. Some case studies of such an application are given, for a protocol that uses the Dining Cryptograp","authors_text":"Omar I. Al-Bataineh, Ron van der Meyden","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-10-12T02:45:37Z","title":"Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1010.2287","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:bbd4c7ed2859b8a445ca1b98bd47eb90a62058d05ce05ce59af88e98abb6b342","target":"record","created_at":"2026-05-18T04:39:28Z","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":"458cf9ee4d931d7e7fbcc37951dac096f24302422b4168415c90205fe8daf77a","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2010-10-12T02:45:37Z","title_canon_sha256":"3c78beb5ef8c17b97bec6bc9021f72ff4cb5b2bf61ad51d616f4e8a9b899acb2"},"schema_version":"1.0","source":{"id":"1010.2287","kind":"arxiv","version":1}},"canonical_sha256":"0c3da480cc9068a061a904dc9aa224b8d27f9117bc358849491128080c4af66e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0c3da480cc9068a061a904dc9aa224b8d27f9117bc358849491128080c4af66e","first_computed_at":"2026-05-18T04:39:28.333779Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:39:28.333779Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J1eII73B7hIKLeowPLb030WkaN0lgvlZNal1B3D/uqLuPZ3tktWSv4d8uSijc2RxqSAYmd2WIRDut8rBaXhRDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:39:28.334371Z","signed_message":"canonical_sha256_bytes"},"source_id":"1010.2287","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bbd4c7ed2859b8a445ca1b98bd47eb90a62058d05ce05ce59af88e98abb6b342","sha256:1862b6c439c9393b16ce40dfa01460db08d1f06969c05756a60a742d7469158d"],"state_sha256":"c143c182642cc62c30ad5a533561526d7f651956c27e765ccbe79aaf9900578a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gx8jgyRtA2M0h3eQOhDfzIBbf+YmMunAW/SEtLbd6o5tgDCujkAAvH0TEm0eLVnowpbAFZtZ27Y7Xiv+Ob7cCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T23:00:32.143730Z","bundle_sha256":"dfc614a123dead57101b48d0bf4ab3d6effdd908ba95789850f1ea972f59e946"}}