{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:ETJEAMW6OQZXNERNME547RTWJQ","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":"a94f2ad266fb31557e46615177a75917416021dda8ad3ce9d2966a620c8ac790","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-09-10T03:51:43Z","title_canon_sha256":"0b54aafaab9398db057972bfa97dfd1f7af75384bb4af2aaf0983ee83ac6baa2"},"schema_version":"1.0","source":{"id":"2509.08267","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.08267","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"arxiv_version","alias_value":"2509.08267v1","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.08267","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"pith_short_12","alias_value":"ETJEAMW6OQZX","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"pith_short_16","alias_value":"ETJEAMW6OQZXNERN","created_at":"2026-07-05T12:08:26Z"},{"alias_kind":"pith_short_8","alias_value":"ETJEAMW6","created_at":"2026-07-05T12:08:26Z"}],"graph_snapshots":[{"event_id":"sha256:d11222c41b9bd9ed4d0ee0df74c02dd31614002ad292d693dbb23865e832e43f","target":"graph","created_at":"2026-07-05T12:08:26Z","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/2509.08267/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Proofgold is a blockchain that supports formalized mathematics alongside standard cryptocurrency functionality. It incorporates logical constructs into the blockchain, including declarations of formal theories, definitions, propositions and proofs. It also supports placing and collecting bounties on proving these propositions, incentivizing the development of the formal libraries contained in Proofgold. In this paper, we present a web-based blockchain explorer for Proofgold. The system exposes not only the usual transactional data but also the formal mathematical components embedded in the cha","authors_text":"Cezary Kaliszyk, Chad E. Brown, Josef Urban","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-09-10T03:51:43Z","title":"Exploring Formal Math on the Blockchain: An Explorer for Proofgold"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.08267","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:8cd8d8534c93aa8d87e326d5204dac66d7b3101f9a6629535f67c5d9af3f8f7a","target":"record","created_at":"2026-07-05T12:08:26Z","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":"a94f2ad266fb31557e46615177a75917416021dda8ad3ce9d2966a620c8ac790","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-09-10T03:51:43Z","title_canon_sha256":"0b54aafaab9398db057972bfa97dfd1f7af75384bb4af2aaf0983ee83ac6baa2"},"schema_version":"1.0","source":{"id":"2509.08267","kind":"arxiv","version":1}},"canonical_sha256":"24d24032de743376922d613bcfc6764c376e59eb01ca2d503f685c54420c25fa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"24d24032de743376922d613bcfc6764c376e59eb01ca2d503f685c54420c25fa","first_computed_at":"2026-07-05T12:08:26.575141Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:08:26.575141Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"I1LoTbV9kIns+hoYMkh4+iywk65mXa+tEB8lbULtgPGSllbeBtXWAfQxdTkJhBxXGTmLBTOiCVECpXJ1tYi5Dg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:08:26.575701Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.08267","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8cd8d8534c93aa8d87e326d5204dac66d7b3101f9a6629535f67c5d9af3f8f7a","sha256:d11222c41b9bd9ed4d0ee0df74c02dd31614002ad292d693dbb23865e832e43f"],"state_sha256":"35296654029f31e8c0ea15470e677fa051c28d8d105b38688dad481b32db46cd"}