Buchumschlag

Formal Security Analysis of SPV Clients Versus Home-Based Full Nodes in Bitcoin-Derived Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wright, Craig Steven
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security Distributed, Parallel, and Cluster Computing Computer Science and Game Theory Information Theory 68M10, 68Q85, 91A40, 94A60 F.1.2; F.2.2; K.6.5
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
von: Wright, Craig S
Veröffentlicht: (2025)

Resolving CAP Through Automata-Theoretic Economic Design: A Unified Mathematical Framework for Real-Time Partition-Tolerant Systems
von: Wright, Craig S
Veröffentlicht: (2025)

Two-player Domino games
von: de Menibus, Benjamin Hellouin, et al.
Veröffentlicht: (2023)

Low communication protocols for fair allocation of indivisible goods
von: Feige, Uriel
Veröffentlicht: (2024)

The Autonomy of the Lightning Network: A Mathematical and Economic Proof of Structural Decoupling from BTC
von: Wright, Craig Steven
Veröffentlicht: (2025)

EF1 Allocations for Identical Trilean and Separable Single-Peaked Valuations
von: Bhaskar, Umang, et al.
Veröffentlicht: (2024)

Equilibrium Computation in the Hotelling-Downs Model of Spatial Competition
von: Bhaskar, Umang, et al.
Veröffentlicht: (2024)

A Characterization of Complexity in Public Goods Games
von: Gilboa, Matan
Veröffentlicht: (2023)

Probabilistic Analysis of Stable Matching in Large Markets with Siblings
von: Sun, Zhaohong, et al.
Veröffentlicht: (2025)

Achieving Balanced Representation in School Choice with Diversity Goals
von: Sun, Zhaohong, et al.
Veröffentlicht: (2024)

A Fair and Optimal Approach to Sequential Healthcare Rationing
von: Sun, Zhaohong
Veröffentlicht: (2025)

Compatible $k$-Relaxations of Fairness and Non-Wastefulness Under Hereditary Constraints
von: Wakasugi, Tenma, et al.
Veröffentlicht: (2026)

Stable Matchings in Practice: A Constraint Programming Approach
von: Sun, Zhaohong, et al.
Veröffentlicht: (2024)

Red-Blue Pebbling with Multiple Processors: Time, Communication and Memory Trade-offs
von: Böhnlein, Toni, et al.
Veröffentlicht: (2024)

A Formal Rebuttal of "The Blockchain Trilemma: A Formal Proof of the Inherent Trade-Offs Among Decentralization, Security, and Scalability"
von: Wright, Craig
Veröffentlicht: (2025)

The Value of Recall in Extensive-Form Games
von: Berker, Ratip Emin, et al.
Veröffentlicht: (2024)

Imperfect-Recall Games: Equilibrium Concepts and Their Complexity
von: Tewolde, Emanuel, et al.
Veröffentlicht: (2024)

Computing Game Symmetries and Equilibria That Respect Them
von: Tewolde, Emanuel, et al.
Veröffentlicht: (2025)

Fair Division in a Variable Setting
von: Chandramouleeswaran, Harish, et al.
Veröffentlicht: (2024)

Improved Approximation Ratio for Strategyproof Facility Location on a Cycle
von: Rogowski, Krzysztof, et al.
Veröffentlicht: (2025)

On the Stability of Learning in Network Games with Many Players
von: Hussain, Aamal, et al.
Veröffentlicht: (2024)

Strategyproof Maximum Matching under Dichotomous Agent Preferences
von: Aziz, Haris, et al.
Veröffentlicht: (2025)

A Formal Refutation of the Blockchain Trilemma
von: Wright, Craig
Veröffentlicht: (2025)

Nearly Tight Sample Complexity for Matroid Online Contention Resolution
von: Feldman, Moran, et al.
Veröffentlicht: (2025)

FedPhD: Federated Pruning with Hierarchical Learning of Diffusion Models
von: Long, Qianyu, et al.
Veröffentlicht: (2025)

Intercloud: Eventual Consistency for Decentralised Economies via Chilling-Effect Consensus
von: Magarshak, Gregory
Veröffentlicht: (2026)

The Exchange Problem
von: Garg, Mohit, et al.
Veröffentlicht: (2024)

Light Cone Consistency: Toward a Unified Theory of Consistency in Message-Passing Systems
von: Landers, Rob, et al.
Veröffentlicht: (2026)

Welfare-Optimal Serial Dictatorships have Polynomial Query Complexity
von: Caragiannis, Ioannis, et al.
Veröffentlicht: (2024)

Learning to Persuade on the Fly: Robustness Against Ignorance
von: Zu, You, et al.
Veröffentlicht: (2021)

Optimal Portfolio Compression for Priority-Proportional Clearing with Defaulting Costs
von: Csáji, Gergely, et al.
Veröffentlicht: (2026)

Fair allocations with subadditive and XOS valuations
von: Feige, Uriel, et al.
Veröffentlicht: (2025)

On MMS, APS and XOS
von: Feige, Uriel, et al.
Veröffentlicht: (2026)

Bayesian Evolutionary Swarm Architecture: A Formal Epistemic System Grounded in Truth-Based Competition
von: Wright, Craig Steven
Veröffentlicht: (2025)

The Power of Matching for Online Fractional Hedonic Games
von: Bullinger, Martin, et al.
Veröffentlicht: (2025)

From Independence of Clones to Composition Consistency: A Hierarchy of Barriers to Strategic Nomination
von: Berker, Ratip Emin, et al.
Veröffentlicht: (2025)

Designing Rules to Pick a Rule: Aggregation by Consistency
von: Berker, Ratip Emin, et al.
Veröffentlicht: (2025)

Near-Optimal Coalition Structures in Polynomial Time
von: Majumdar, Angshul
Veröffentlicht: (2025)

Gathering Semi-Synchronously Scheduled Two-State Robots
von: Otaka, Kohei, et al.
Veröffentlicht: (2024)

Data Scheduling Algorithm for Scalable and Efficient IoT Sensing in Cloud Computing
von: Mohammad, Noor Islam S.
Veröffentlicht: (2025)