{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2021:H7U3H2AAAGNUBLMCM2MF7KNWEP","short_pith_number":"pith:H7U3H2AA","schema_version":"1.0","canonical_sha256":"3fe9b3e800019b40ad8266985fa9b623fd9b197a13b81cfda021a457665c0ef6","source":{"kind":"arxiv","id":"2111.07461","version":1},"attestation_state":"computed","paper":{"title":"A Topos View of Blockchain Consensus Protocols","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Michael Lambert","submitted_at":"2021-11-14T22:20:49Z","abstract_excerpt":"This paper presents a reformulation in topos logic of a safety result arising in an abstract presentation of blockchain consensus protocols. That is, in a high-level template for \"correct-by-construction\" consensus protocols, it is shown that a proposition and its negation cannot both be safe in protocol states that have executions to some common state. This is in fact true for any inconsistent propositions and the proof requires only intuitionistic reasoning. This opens the door for work on consensus protocols in the internal language of a topos. As a first pass on such a program, the main co"},"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":"2111.07461","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2021-11-14T22:20:49Z","cross_cats_sorted":[],"title_canon_sha256":"d5f1cbd7856cfdb4bd564405154e0178d4cc58658b51727a767342176e327ea0","abstract_canon_sha256":"bf5732de5d12fe754d9bb9894179b8f65c005b8c4f99cde0c9f496f46a99dab6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:31:40.140090Z","signature_b64":"6bMI7qPR2syxVfZiOFXGmflxRRQ7azQpDJZoRVl5pJEzeV8T4+iVp2d+Tcvw8gsAEmurisx2ii1HU/CDhjkHDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3fe9b3e800019b40ad8266985fa9b623fd9b197a13b81cfda021a457665c0ef6","last_reissued_at":"2026-07-05T03:31:40.139754Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:31:40.139754Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Topos View of Blockchain Consensus Protocols","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Michael Lambert","submitted_at":"2021-11-14T22:20:49Z","abstract_excerpt":"This paper presents a reformulation in topos logic of a safety result arising in an abstract presentation of blockchain consensus protocols. That is, in a high-level template for \"correct-by-construction\" consensus protocols, it is shown that a proposition and its negation cannot both be safe in protocol states that have executions to some common state. This is in fact true for any inconsistent propositions and the proof requires only intuitionistic reasoning. This opens the door for work on consensus protocols in the internal language of a topos. As a first pass on such a program, the main co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.07461","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2111.07461/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2111.07461","created_at":"2026-07-05T03:31:40.139810+00:00"},{"alias_kind":"arxiv_version","alias_value":"2111.07461v1","created_at":"2026-07-05T03:31:40.139810+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.07461","created_at":"2026-07-05T03:31:40.139810+00:00"},{"alias_kind":"pith_short_12","alias_value":"H7U3H2AAAGNU","created_at":"2026-07-05T03:31:40.139810+00:00"},{"alias_kind":"pith_short_16","alias_value":"H7U3H2AAAGNUBLMC","created_at":"2026-07-05T03:31:40.139810+00:00"},{"alias_kind":"pith_short_8","alias_value":"H7U3H2AA","created_at":"2026-07-05T03:31:40.139810+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/H7U3H2AAAGNUBLMCM2MF7KNWEP","json":"https://pith.science/pith/H7U3H2AAAGNUBLMCM2MF7KNWEP.json","graph_json":"https://pith.science/api/pith-number/H7U3H2AAAGNUBLMCM2MF7KNWEP/graph.json","events_json":"https://pith.science/api/pith-number/H7U3H2AAAGNUBLMCM2MF7KNWEP/events.json","paper":"https://pith.science/paper/H7U3H2AA"},"agent_actions":{"view_html":"https://pith.science/pith/H7U3H2AAAGNUBLMCM2MF7KNWEP","download_json":"https://pith.science/pith/H7U3H2AAAGNUBLMCM2MF7KNWEP.json","view_paper":"https://pith.science/paper/H7U3H2AA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2111.07461&json=true","fetch_graph":"https://pith.science/api/pith-number/H7U3H2AAAGNUBLMCM2MF7KNWEP/graph.json","fetch_events":"https://pith.science/api/pith-number/H7U3H2AAAGNUBLMCM2MF7KNWEP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/H7U3H2AAAGNUBLMCM2MF7KNWEP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/H7U3H2AAAGNUBLMCM2MF7KNWEP/action/storage_attestation","attest_author":"https://pith.science/pith/H7U3H2AAAGNUBLMCM2MF7KNWEP/action/author_attestation","sign_citation":"https://pith.science/pith/H7U3H2AAAGNUBLMCM2MF7KNWEP/action/citation_signature","submit_replication":"https://pith.science/pith/H7U3H2AAAGNUBLMCM2MF7KNWEP/action/replication_record"}},"created_at":"2026-07-05T03:31:40.139810+00:00","updated_at":"2026-07-05T03:31:40.139810+00:00"}