{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:LRUQF4SVZ45YGNPCJAV6AEDHF2","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":"01dd61ae9e3aa7ee1597597051bc03cb60edad06c6f07a8fb5616e02dddbb4e0","cross_cats_sorted":["cs.DC","cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2022-06-09T13:19:44Z","title_canon_sha256":"97b4a40cb67f8a3f86a06217447e468e97cf241159e4b72c04531bb46fb6ed1f"},"schema_version":"1.0","source":{"id":"2206.04489","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.04489","created_at":"2026-07-05T04:30:34Z"},{"alias_kind":"arxiv_version","alias_value":"2206.04489v1","created_at":"2026-07-05T04:30:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.04489","created_at":"2026-07-05T04:30:34Z"},{"alias_kind":"pith_short_12","alias_value":"LRUQF4SVZ45Y","created_at":"2026-07-05T04:30:34Z"},{"alias_kind":"pith_short_16","alias_value":"LRUQF4SVZ45YGNPC","created_at":"2026-07-05T04:30:34Z"},{"alias_kind":"pith_short_8","alias_value":"LRUQF4SV","created_at":"2026-07-05T04:30:34Z"}],"graph_snapshots":[{"event_id":"sha256:9773c443a1dba72bdc3176af11d62926b479ee44136a25fa543103e65456b488","target":"graph","created_at":"2026-07-05T04:30:34Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2206.04489/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Blockchain has recently attracted the attention of the industry due, in part, to its ability to automate asset transfers. It requires distributed participants to reach a consensus on a block despite the presence of malicious (a.k.a. Byzantine) participants. Malicious participants exploit regularly weaknesses of these blockchain consensus algorithms, with sometimes devastating consequences. In fact, these weaknesses are quite common and are well illustrated by the flaws in the hand-written proofs of existing blockchain consensus protocols [63]. Paradoxically, until now, no blockchain consensus ","authors_text":"Igor Konnov, Josef Widder, Marijana Lazi\\'c, Nathalie Bertrand, Pierre Tholoniat, Vincent Gramoli","cross_cats":["cs.DC","cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2022-06-09T13:19:44Z","title":"Holistic Verification of Blockchain Consensus"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.04489","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:388a7377ad5f4ba9b1f4f050bee69eb51cb691fa89d4481bb196bd68e17b59b4","target":"record","created_at":"2026-07-05T04:30:34Z","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":"01dd61ae9e3aa7ee1597597051bc03cb60edad06c6f07a8fb5616e02dddbb4e0","cross_cats_sorted":["cs.DC","cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CR","submitted_at":"2022-06-09T13:19:44Z","title_canon_sha256":"97b4a40cb67f8a3f86a06217447e468e97cf241159e4b72c04531bb46fb6ed1f"},"schema_version":"1.0","source":{"id":"2206.04489","kind":"arxiv","version":1}},"canonical_sha256":"5c6902f255cf3b8335e2482be010672e989fa56f514372766bb53fc5a39bed3a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5c6902f255cf3b8335e2482be010672e989fa56f514372766bb53fc5a39bed3a","first_computed_at":"2026-07-05T04:30:34.406710Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:30:34.406710Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"N9W/PBVrS2NoueTyDwCfny6J+pw1osxhKbuFxazyXJCwqr9ssnaMr3AOm/yuWDDRVVKAIUrLa2f9P80KmuPYBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:30:34.407055Z","signed_message":"canonical_sha256_bytes"},"source_id":"2206.04489","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:388a7377ad5f4ba9b1f4f050bee69eb51cb691fa89d4481bb196bd68e17b59b4","sha256:9773c443a1dba72bdc3176af11d62926b479ee44136a25fa543103e65456b488"],"state_sha256":"7ab09526c59a01280bd235c2a023cbeda0a966356d3fcd94976f2948aacf94e2"}