2025/06/02 by Craig Wright, Wright, Craig Steven
Computer Science · #68M10 #68Q85 #91A40 #94A60 #Blockchain Technology Applications and Security #Computer Science and Game Theory (cs.GT) #Cryptography and Security (cs.CR) #Distributed #F.1.2 #F.2.2 #FOS: Computer and information sciences #Information Theory (cs.IT) #IoT and Edge/Fog Computing #K.6.5 #Parallel #and Cluster Computing (cs.DC)
paper · pdf · doi:10.48550/arxiv.2506.01384
openalex publication_date 2025/06/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 attack than structurally passive, non-enforcing full nodes. The paper introduces new axioms on behavioral divergence and communication topology, proving that home-based full nodes increase systemic entropy without contributing to consensus integrity. Using a series of formally defined lemmas, propositions, and Monte Carlo simulation results, it is shown that SPV clients represent the rational equilibrium strategy for non-mining participants. This challenges the prevailing narrative that home validators enhance network security, providing formal and operational justifications for the sufficiency of SPV models.