Buchumschlag

Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wright, Craig S
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security Computation and Language Distributed, Parallel, and Cluster Computing 68Q85, 68M10, 94A60, 91A80, 68Q17, 68W10, 68R10 C.2.2; F.2.2; D.4.6; K.6.5
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Formal Security Analysis of SPV Clients Versus Home-Based Full Nodes in Bitcoin-Derived Systems
von: Wright, Craig Steven
Veröffentlicht: (2025)

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

How to Compute a Moving Sum
von: Maslen, David K., et al.
Veröffentlicht: (2025)

Achieving Tight $O(4^k)$ Runtime Bounds on Jump$_k$ by Proving that Genetic Algorithms Evolve Near-Maximal Population Diversity
von: Opris, Andre, et al.
Veröffentlicht: (2024)

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
von: Golovach, Petr A., et al.
Veröffentlicht: (2022)

Towards a Rigorous Understanding of the Population Dynamics of the NSGA-III: Tight Runtime Bounds
von: Opris, Andre
Veröffentlicht: (2025)

Runtime Analyses of NSGA-III on Many-Objective Problems
von: Opris, Andre, et al.
Veröffentlicht: (2024)

A First Runtime Analysis of the PAES-25: An Enhanced Variant of the Pareto Archived Evolution Strategy
von: Opris, Andre
Veröffentlicht: (2025)

On Identifying Critical Network Edges via Analyzing Changes in Shapes (Curvatures)
von: DasGupta, Bhaskar, et al.
Veröffentlicht: (2026)

A Systematic Evaluation Protocol of Graph-Derived Signals for Tabular Machine Learning
von: Heidrich, Mario, et al.
Veröffentlicht: (2026)

DAG Scheduling in the BSP Model
von: Papp, Pál András, et al.
Veröffentlicht: (2023)

Two-Robot Computational Landscape: A Complete Characterization of Model Power in Minimal Mobile Robot Systems
von: Kitamura, Naoki, et al.
Veröffentlicht: (2025)

OpCode-Based Malware Classification Using Machine Learning and Deep Learning Techniques
von: Saini, Varij, et al.
Veröffentlicht: (2025)

TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
von: Oliveria, Mateus de Oliveira, et al.
Veröffentlicht: (2026)

Fully Dynamic Breadth First Search and Spanning Trees in Directed Graphs
von: Morse, Gregory, et al.
Veröffentlicht: (2026)

Canonizing Graphs of Bounded Rank-Width in Parallel via Weisfeiler--Leman
von: Levet, Michael, et al.
Veröffentlicht: (2023)

The Impact of Partial Computations on the Red-Blue Pebble Game
von: Papp, Pál András, et al.
Veröffentlicht: (2025)

Pliability and Approximating Max-CSPs
von: Romero, Miguel, et al.
Veröffentlicht: (2019)

Tight complexity bounds for diagram commutativity verification
von: Malko, Artem, et al.
Veröffentlicht: (2025)

Folding One Polyhedral Metric Graph into Another
von: Chung, Lily, et al.
Veröffentlicht: (2024)

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

A Secure Communication Protocol for Remote Keyless Entry System with Adaptive Adjustment of Transmission Parameters
von: Guo, Jingjing, et al.
Veröffentlicht: (2025)

Computing shortest closed curves on non-orientable surfaces
von: Bulavka, Denys, et al.
Veröffentlicht: (2024)

Logarithmic Weisfeiler--Leman and Treewidth
von: Levet, Michael, et al.
Veröffentlicht: (2023)

Query-Aware Flow Diffusion for Graph-Based RAG with Retrieval Guarantees
von: Zhou, Zhuoping, et al.
Veröffentlicht: (2026)

A framework for distributed discrete evacuation strategies
von: Borowiecki, Piotr, et al.
Veröffentlicht: (2025)

Boundaries in Hypernetwork Theory: Structure and Scope
von: Charlesworth, Richard D.
Veröffentlicht: (2025)

Keys in the Weights: Transformer Authentication Using Model-Bound Latent Representations
von: Okatan, Ayşe S., et al.
Veröffentlicht: (2025)

Exact Algorithms for MaxCut on Split Graphs
von: Lalovic, Marko
Veröffentlicht: (2024)

Many Objective Problems Where Crossover is Provably Essential
von: Opris, Andre
Veröffentlicht: (2024)

Signature Placement in Post-Quantum TLS Certificate Hierarchies: An Experimental Study of ML-DSA and SLH-DSA in TLS 1.3 Authentication
von: Jiménez, José Luis Delgado
Veröffentlicht: (2026)

Fast sampling of satisfying assignments from random $k$-SAT with applications to connectivity
von: Chen, Zongchen, et al.
Veröffentlicht: (2022)

On the twin-width of near-regular graphs
von: Heinrich, Irene, et al.
Veröffentlicht: (2025)

ARRIVAL: Recursive Framework & $\ell_1$-Contraction
von: Haslebacher, Sebastian
Veröffentlicht: (2025)

Classification via Two-Way Comparisons
von: Chrobak, Marek, et al.
Veröffentlicht: (2023)

Understanding and Tackling Over-Dilution in Graph Neural Networks
von: Lee, Junhyun, et al.
Veröffentlicht: (2025)

Sparse Knowledge Distillation: A Mathematical Framework for Probability-Domain Temperature Scaling and Multi-Stage Compression
von: Flouro, Aaron R., et al.
Veröffentlicht: (2026)

On the study of cellular automata on modulo-recurrent words
von: Barro, Moussa, et al.
Veröffentlicht: (2022)

Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry
von: Basson, Dirk, et al.
Veröffentlicht: (2024)

Ultrahigh-Q chiral resonances empowered by multi-head attention deep learning
von: Zhang, Cong, et al.
Veröffentlicht: (2025)