{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:3EEVQHZKTBVYV66KOV7IGJCXK4","short_pith_number":"pith:3EEVQHZK","canonical_record":{"source":{"id":"1605.03892","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-05-12T16:51:54Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"27debe9c5099ca61fdfad537eedcf5e56ccc44a92ed643e4adc5b7c1af71f175","abstract_canon_sha256":"6254f4d988a84738bef960d1001f0e59ed693d34c93fe976907f2915054dcfb0"},"schema_version":"1.0"},"canonical_sha256":"d909581f2a986b8afbca757e832457571a741dff6fe49dfb7d57de062597f026","source":{"kind":"arxiv","id":"1605.03892","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.03892","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"arxiv_version","alias_value":"1605.03892v1","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.03892","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"pith_short_12","alias_value":"3EEVQHZKTBVY","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3EEVQHZKTBVYV66K","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3EEVQHZK","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:3EEVQHZKTBVYV66KOV7IGJCXK4","target":"record","payload":{"canonical_record":{"source":{"id":"1605.03892","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-05-12T16:51:54Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"27debe9c5099ca61fdfad537eedcf5e56ccc44a92ed643e4adc5b7c1af71f175","abstract_canon_sha256":"6254f4d988a84738bef960d1001f0e59ed693d34c93fe976907f2915054dcfb0"},"schema_version":"1.0"},"canonical_sha256":"d909581f2a986b8afbca757e832457571a741dff6fe49dfb7d57de062597f026","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:14:59.273854Z","signature_b64":"de1OHseNcK4bB9VEWtjNx2Fd3rWNrwz5sYJGf23CWgxZ/Pe8K4Jvycl4vhXJPD71omDzKAMF5qvg/5ewoHriBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d909581f2a986b8afbca757e832457571a741dff6fe49dfb7d57de062597f026","last_reissued_at":"2026-05-18T01:14:59.273410Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:14:59.273410Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.03892","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-18T01:14:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sV7HAsiHs5e/xfjQWRpTEI2Edb3Kzz6gg18zEKFGiX1CmYJtna3sekpUSUzfYwlId71rSCduCWQ+X9dc/8S7AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:12:42.855563Z"},"content_sha256":"3e353009986bd996df7fc6fc7bb77c38e7224b28cea3fc28073105779c99dd65","schema_version":"1.0","event_id":"sha256:3e353009986bd996df7fc6fc7bb77c38e7224b28cea3fc28073105779c99dd65"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:3EEVQHZKTBVYV66KOV7IGJCXK4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Local Distributed Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DC","authors_text":"Alkida Balliu, Dennis Olivetti, Gianlorenzo D'Angelo, Pierre Fraigniaud","submitted_at":"2016-05-12T16:51:54Z","abstract_excerpt":"In the framework of distributed network computing, it is known that, for every network predicate, each network configuration that satisfies this predicate can be proved using distributed certificates which can be verified locally. However, this requires to leak information about the identities of the nodes in the certificates, which might not be applicable in a context in which privacy is desirable. Unfortunately, it is known that if one insists on certificates independent of the node identities, then not all network predicates can be proved using distributed certificates that can be verified "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.03892","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-18T01:14:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hPXg1oEqj52PpRmWkmAHRljar05DIGAqfPnVwqOOlaUjPqZ2ZmyswmHrtYUPHAn+ZEK9Vj3poB+YnBdTygAUCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T09:12:42.855944Z"},"content_sha256":"d39a70ad23743f2654726503cac430d1dac2a845c363197e737a89e127e6558d","schema_version":"1.0","event_id":"sha256:d39a70ad23743f2654726503cac430d1dac2a845c363197e737a89e127e6558d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3EEVQHZKTBVYV66KOV7IGJCXK4/bundle.json","state_url":"https://pith.science/pith/3EEVQHZKTBVYV66KOV7IGJCXK4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3EEVQHZKTBVYV66KOV7IGJCXK4/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-27T09:12:42Z","links":{"resolver":"https://pith.science/pith/3EEVQHZKTBVYV66KOV7IGJCXK4","bundle":"https://pith.science/pith/3EEVQHZKTBVYV66KOV7IGJCXK4/bundle.json","state":"https://pith.science/pith/3EEVQHZKTBVYV66KOV7IGJCXK4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3EEVQHZKTBVYV66KOV7IGJCXK4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:3EEVQHZKTBVYV66KOV7IGJCXK4","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":"6254f4d988a84738bef960d1001f0e59ed693d34c93fe976907f2915054dcfb0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-05-12T16:51:54Z","title_canon_sha256":"27debe9c5099ca61fdfad537eedcf5e56ccc44a92ed643e4adc5b7c1af71f175"},"schema_version":"1.0","source":{"id":"1605.03892","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.03892","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"arxiv_version","alias_value":"1605.03892v1","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.03892","created_at":"2026-05-18T01:14:59Z"},{"alias_kind":"pith_short_12","alias_value":"3EEVQHZKTBVY","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"3EEVQHZKTBVYV66K","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"3EEVQHZK","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:d39a70ad23743f2654726503cac430d1dac2a845c363197e737a89e127e6558d","target":"graph","created_at":"2026-05-18T01:14:59Z","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 the framework of distributed network computing, it is known that, for every network predicate, each network configuration that satisfies this predicate can be proved using distributed certificates which can be verified locally. However, this requires to leak information about the identities of the nodes in the certificates, which might not be applicable in a context in which privacy is desirable. Unfortunately, it is known that if one insists on certificates independent of the node identities, then not all network predicates can be proved using distributed certificates that can be verified ","authors_text":"Alkida Balliu, Dennis Olivetti, Gianlorenzo D'Angelo, Pierre Fraigniaud","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-05-12T16:51:54Z","title":"Local Distributed Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.03892","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:3e353009986bd996df7fc6fc7bb77c38e7224b28cea3fc28073105779c99dd65","target":"record","created_at":"2026-05-18T01:14:59Z","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":"6254f4d988a84738bef960d1001f0e59ed693d34c93fe976907f2915054dcfb0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2016-05-12T16:51:54Z","title_canon_sha256":"27debe9c5099ca61fdfad537eedcf5e56ccc44a92ed643e4adc5b7c1af71f175"},"schema_version":"1.0","source":{"id":"1605.03892","kind":"arxiv","version":1}},"canonical_sha256":"d909581f2a986b8afbca757e832457571a741dff6fe49dfb7d57de062597f026","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d909581f2a986b8afbca757e832457571a741dff6fe49dfb7d57de062597f026","first_computed_at":"2026-05-18T01:14:59.273410Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:14:59.273410Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"de1OHseNcK4bB9VEWtjNx2Fd3rWNrwz5sYJGf23CWgxZ/Pe8K4Jvycl4vhXJPD71omDzKAMF5qvg/5ewoHriBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:14:59.273854Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.03892","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3e353009986bd996df7fc6fc7bb77c38e7224b28cea3fc28073105779c99dd65","sha256:d39a70ad23743f2654726503cac430d1dac2a845c363197e737a89e127e6558d"],"state_sha256":"959e5353e5e90e66f59f300fe2be06e79f383cc68b0916dc058c3765ae68aee9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U8brtZFEFhpcsnAvwKY3JH12ElwkbKePIMYX5HP1HUUdQwS/0Ngn7e6Abm5SZRBRcSJjEq1dDfu8tIwCrYxFCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T09:12:42.858281Z","bundle_sha256":"d608b815603445a683d9ed3a4a5aaa984167454c275da57c5f1f6d735cf42915"}}