{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:HAZHKS5PL5NYY3AFJ36JP4M5EH","short_pith_number":"pith:HAZHKS5P","schema_version":"1.0","canonical_sha256":"3832754baf5f5b8c6c054efc97f19d21e440453416b4fc9de55e6dad1ace638e","source":{"kind":"arxiv","id":"2606.19519","version":1},"attestation_state":"computed","paper":{"title":"A Topos-Theoretic Interpretation of Blockchain Systems: Sheaves of Consensus and the Logic of Decentralized Truth","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Eduardo S\\'anchez-Soto, Manuel Hern\\'andez","submitted_at":"2026-06-17T19:07:21Z","abstract_excerpt":"The predominant formal models for blockchain systems, particularly smart contracts, have largely been drawn from the classical theory of computation, with the finite state machine (FSM) or labeled transition system serving as the primary conceptual tool. However, the FSM relegates the most difficult and novel aspect of a blockchain -- the achievement of consensus in a decentralized environment -- to a complex, often messy, implementation detail that lies outside the formal model itself. But the process of consensus is not an ancillary feature; it is the very essence of the computational phenom"},"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":"2606.19519","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2026-06-17T19:07:21Z","cross_cats_sorted":[],"title_canon_sha256":"68d98595f72452e034748c9a98019bacf8d44811df967353948c836488976c6d","abstract_canon_sha256":"e0ee6193e60b632f95d2828a9d6720b9d35bb416ee6a84aa6c1922ca3f3a53e6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:12:27.656300Z","signature_b64":"u8c/ZKxGKRJ1J74h8+IQhEu8sADNC+Vlh48Hir0Mi4WpjUrXOUvu5DvRydl7KySoF0jX6wwmuEh8wIksX/zgAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3832754baf5f5b8c6c054efc97f19d21e440453416b4fc9de55e6dad1ace638e","last_reissued_at":"2026-06-19T16:12:27.655952Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:12:27.655952Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Topos-Theoretic Interpretation of Blockchain Systems: Sheaves of Consensus and the Logic of Decentralized Truth","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Eduardo S\\'anchez-Soto, Manuel Hern\\'andez","submitted_at":"2026-06-17T19:07:21Z","abstract_excerpt":"The predominant formal models for blockchain systems, particularly smart contracts, have largely been drawn from the classical theory of computation, with the finite state machine (FSM) or labeled transition system serving as the primary conceptual tool. However, the FSM relegates the most difficult and novel aspect of a blockchain -- the achievement of consensus in a decentralized environment -- to a complex, often messy, implementation detail that lies outside the formal model itself. But the process of consensus is not an ancillary feature; it is the very essence of the computational phenom"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.19519","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/2606.19519/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":"2606.19519","created_at":"2026-06-19T16:12:27.656017+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.19519v1","created_at":"2026-06-19T16:12:27.656017+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.19519","created_at":"2026-06-19T16:12:27.656017+00:00"},{"alias_kind":"pith_short_12","alias_value":"HAZHKS5PL5NY","created_at":"2026-06-19T16:12:27.656017+00:00"},{"alias_kind":"pith_short_16","alias_value":"HAZHKS5PL5NYY3AF","created_at":"2026-06-19T16:12:27.656017+00:00"},{"alias_kind":"pith_short_8","alias_value":"HAZHKS5P","created_at":"2026-06-19T16:12:27.656017+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/HAZHKS5PL5NYY3AFJ36JP4M5EH","json":"https://pith.science/pith/HAZHKS5PL5NYY3AFJ36JP4M5EH.json","graph_json":"https://pith.science/api/pith-number/HAZHKS5PL5NYY3AFJ36JP4M5EH/graph.json","events_json":"https://pith.science/api/pith-number/HAZHKS5PL5NYY3AFJ36JP4M5EH/events.json","paper":"https://pith.science/paper/HAZHKS5P"},"agent_actions":{"view_html":"https://pith.science/pith/HAZHKS5PL5NYY3AFJ36JP4M5EH","download_json":"https://pith.science/pith/HAZHKS5PL5NYY3AFJ36JP4M5EH.json","view_paper":"https://pith.science/paper/HAZHKS5P","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.19519&json=true","fetch_graph":"https://pith.science/api/pith-number/HAZHKS5PL5NYY3AFJ36JP4M5EH/graph.json","fetch_events":"https://pith.science/api/pith-number/HAZHKS5PL5NYY3AFJ36JP4M5EH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HAZHKS5PL5NYY3AFJ36JP4M5EH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HAZHKS5PL5NYY3AFJ36JP4M5EH/action/storage_attestation","attest_author":"https://pith.science/pith/HAZHKS5PL5NYY3AFJ36JP4M5EH/action/author_attestation","sign_citation":"https://pith.science/pith/HAZHKS5PL5NYY3AFJ36JP4M5EH/action/citation_signature","submit_replication":"https://pith.science/pith/HAZHKS5PL5NYY3AFJ36JP4M5EH/action/replication_record"}},"created_at":"2026-06-19T16:12:27.656017+00:00","updated_at":"2026-06-19T16:12:27.656017+00:00"}