{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:PMKNW6OX4FDVTNS7FQY3ZKNSYT","short_pith_number":"pith:PMKNW6OX","canonical_record":{"source":{"id":"2506.01384","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-02T07:20:25Z","cross_cats_sorted":["cs.DC","cs.GT","cs.IT","math.IT"],"title_canon_sha256":"c74264908f039203d39944f0d0eb766ba6817a5229783a16f99fb6acdb8ba27d","abstract_canon_sha256":"e14f0feccbe05c38a4774efdb9603b61a6e9d3cf0b1e141c824c5104fe1a84d2"},"schema_version":"1.0"},"canonical_sha256":"7b14db79d7e14759b65f2c31bca9b2c4f7d5b02ecaf0dde57b4738d69c67c0f9","source":{"kind":"arxiv","id":"2506.01384","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.01384","created_at":"2026-07-05T11:14:12Z"},{"alias_kind":"arxiv_version","alias_value":"2506.01384v1","created_at":"2026-07-05T11:14:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.01384","created_at":"2026-07-05T11:14:12Z"},{"alias_kind":"pith_short_12","alias_value":"PMKNW6OX4FDV","created_at":"2026-07-05T11:14:12Z"},{"alias_kind":"pith_short_16","alias_value":"PMKNW6OX4FDVTNS7","created_at":"2026-07-05T11:14:12Z"},{"alias_kind":"pith_short_8","alias_value":"PMKNW6OX","created_at":"2026-07-05T11:14:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:PMKNW6OX4FDVTNS7FQY3ZKNSYT","target":"record","payload":{"canonical_record":{"source":{"id":"2506.01384","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-02T07:20:25Z","cross_cats_sorted":["cs.DC","cs.GT","cs.IT","math.IT"],"title_canon_sha256":"c74264908f039203d39944f0d0eb766ba6817a5229783a16f99fb6acdb8ba27d","abstract_canon_sha256":"e14f0feccbe05c38a4774efdb9603b61a6e9d3cf0b1e141c824c5104fe1a84d2"},"schema_version":"1.0"},"canonical_sha256":"7b14db79d7e14759b65f2c31bca9b2c4f7d5b02ecaf0dde57b4738d69c67c0f9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:14:12.450161Z","signature_b64":"691mUz0bPhnkDTgQbyA8lLhn7DN4gND749se34cLIa6jW/3yYahYK8vrby5d68ErNPdJka1F0612VhOMeq5DCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7b14db79d7e14759b65f2c31bca9b2c4f7d5b02ecaf0dde57b4738d69c67c0f9","last_reissued_at":"2026-07-05T11:14:12.449622Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:14:12.449622Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.01384","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-07-05T11:14:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wd/+JX8UJU4zligotuNV6L1sZWweuaOOLjjmH/sTe44Udr6KqnJsP1oIfsQtxKxrAMjw/tP1UX42+Sk5W4EKCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T21:00:21.852367Z"},"content_sha256":"e5de3e287e05af26d0fbe4920f105adf0accabfb903423e7a6e019469ee6d87b","schema_version":"1.0","event_id":"sha256:e5de3e287e05af26d0fbe4920f105adf0accabfb903423e7a6e019469ee6d87b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:PMKNW6OX4FDVTNS7FQY3ZKNSYT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Security Analysis of SPV Clients Versus Home-Based Full Nodes in Bitcoin-Derived Systems","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.DC","cs.GT","cs.IT","math.IT"],"primary_cat":"cs.CR","authors_text":"Craig Steven Wright","submitted_at":"2025-06-02T07:20:25Z","abstract_excerpt":"This paper presents a mathematically rigorous formal analysis of Simplified Payment Verification (SPV) clients, as specified in Section 8 of the original Bitcoin white paper, versus non-mining full nodes operated by home users. It defines security as resistance to divergence from global consensus and models transaction acceptance, enforcement capability, and divergence probability under adversarial conditions. The results demonstrate that SPV clients, despite omitting script verification, are cryptographically sufficient under honest-majority assumptions and topologically less vulnerable to at"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.01384","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/2506.01384/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"},"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-07-05T11:14:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1R8RTU/4QpJnbJatsmcznQQeYx4ZvyEnoP0yEbNiWKAk339AT+oxEY6TnZ9y9vp2JP+CDhnYrk4YuIiRA3x4BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T21:00:21.853157Z"},"content_sha256":"23c4a258242370927b2f3978166e976c2142c01ffd26a5af3e6968faa9decd21","schema_version":"1.0","event_id":"sha256:23c4a258242370927b2f3978166e976c2142c01ffd26a5af3e6968faa9decd21"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PMKNW6OX4FDVTNS7FQY3ZKNSYT/bundle.json","state_url":"https://pith.science/pith/PMKNW6OX4FDVTNS7FQY3ZKNSYT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PMKNW6OX4FDVTNS7FQY3ZKNSYT/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-08-08T21:00:21Z","links":{"resolver":"https://pith.science/pith/PMKNW6OX4FDVTNS7FQY3ZKNSYT","bundle":"https://pith.science/pith/PMKNW6OX4FDVTNS7FQY3ZKNSYT/bundle.json","state":"https://pith.science/pith/PMKNW6OX4FDVTNS7FQY3ZKNSYT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PMKNW6OX4FDVTNS7FQY3ZKNSYT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:PMKNW6OX4FDVTNS7FQY3ZKNSYT","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":"e14f0feccbe05c38a4774efdb9603b61a6e9d3cf0b1e141c824c5104fe1a84d2","cross_cats_sorted":["cs.DC","cs.GT","cs.IT","math.IT"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-02T07:20:25Z","title_canon_sha256":"c74264908f039203d39944f0d0eb766ba6817a5229783a16f99fb6acdb8ba27d"},"schema_version":"1.0","source":{"id":"2506.01384","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.01384","created_at":"2026-07-05T11:14:12Z"},{"alias_kind":"arxiv_version","alias_value":"2506.01384v1","created_at":"2026-07-05T11:14:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.01384","created_at":"2026-07-05T11:14:12Z"},{"alias_kind":"pith_short_12","alias_value":"PMKNW6OX4FDV","created_at":"2026-07-05T11:14:12Z"},{"alias_kind":"pith_short_16","alias_value":"PMKNW6OX4FDVTNS7","created_at":"2026-07-05T11:14:12Z"},{"alias_kind":"pith_short_8","alias_value":"PMKNW6OX","created_at":"2026-07-05T11:14:12Z"}],"graph_snapshots":[{"event_id":"sha256:23c4a258242370927b2f3978166e976c2142c01ffd26a5af3e6968faa9decd21","target":"graph","created_at":"2026-07-05T11:14:12Z","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/2506.01384/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a mathematically rigorous formal analysis of Simplified Payment Verification (SPV) clients, as specified in Section 8 of the original Bitcoin white paper, versus non-mining full nodes operated by home users. It defines security as resistance to divergence from global consensus and models transaction acceptance, enforcement capability, and divergence probability under adversarial conditions. The results demonstrate that SPV clients, despite omitting script verification, are cryptographically sufficient under honest-majority assumptions and topologically less vulnerable to at","authors_text":"Craig Steven Wright","cross_cats":["cs.DC","cs.GT","cs.IT","math.IT"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-02T07:20:25Z","title":"Formal Security Analysis of SPV Clients Versus Home-Based Full Nodes in Bitcoin-Derived Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.01384","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:e5de3e287e05af26d0fbe4920f105adf0accabfb903423e7a6e019469ee6d87b","target":"record","created_at":"2026-07-05T11:14:12Z","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":"e14f0feccbe05c38a4774efdb9603b61a6e9d3cf0b1e141c824c5104fe1a84d2","cross_cats_sorted":["cs.DC","cs.GT","cs.IT","math.IT"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CR","submitted_at":"2025-06-02T07:20:25Z","title_canon_sha256":"c74264908f039203d39944f0d0eb766ba6817a5229783a16f99fb6acdb8ba27d"},"schema_version":"1.0","source":{"id":"2506.01384","kind":"arxiv","version":1}},"canonical_sha256":"7b14db79d7e14759b65f2c31bca9b2c4f7d5b02ecaf0dde57b4738d69c67c0f9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7b14db79d7e14759b65f2c31bca9b2c4f7d5b02ecaf0dde57b4738d69c67c0f9","first_computed_at":"2026-07-05T11:14:12.449622Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:14:12.449622Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"691mUz0bPhnkDTgQbyA8lLhn7DN4gND749se34cLIa6jW/3yYahYK8vrby5d68ErNPdJka1F0612VhOMeq5DCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:14:12.450161Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.01384","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e5de3e287e05af26d0fbe4920f105adf0accabfb903423e7a6e019469ee6d87b","sha256:23c4a258242370927b2f3978166e976c2142c01ffd26a5af3e6968faa9decd21"],"state_sha256":"03321ca6814bcfeca37a855ebea700c19dead9fa5cdf8bf90910e171e4ca2858"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sxiBKaH6tGDmz4VcTnStKF+BqvssBrYz+IGXTyhf+Q+THUecRL0BSFZAz9j16GBy1BYNoJ0fBv0E9i9fuXusBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T21:00:21.858270Z","bundle_sha256":"a6558cd4777dc49c3162e6df0cdf0a44186243516345556def26fc772f60ed48"}}