[论文解读] Modeling a Double-Spending Detection System for the Bitcoin Network

Marco Alberto Javarone, Craig Wright|arXiv (Cornell University)|Sep 20, 2018

Blockchain Technology Applications and Security参考文献 13被引用 6

一句话总结

本文提出一种基于网络的预言机模型，通过轮询比特币网络中的一小部分节点来检测双重支付攻击。利用复杂网络理论，研究表明小世界和无标度拓扑结构可在极少轮询节点的情况下实现快速检测——相比规则格子结构，所需节点更少，且在网络规模扩展时性能依然稳定。

ABSTRACT

The Bitcoin protocol prevents the occurrence of double-spending (DS), i.e. the utilization of the same currency unit more than once. At the same time a DS attack, where more conflicting transactions are generated, might be performed to defraud a user, e.g. a merchant. Therefore, in this work, we propose a model for detecting the presence of conflicting transactions by means of an 'oracle' that polls a subset of nodes of the Bitcoin network. We assume that the latter has a complex structure. So, we investigate the relation between the topology of several complex networks and the optimal amount, and distribution, of a subset of nodes chosen by the oracle for polling. Results show that small-world networks require to poll a smaller amount of nodes than regular networks. In addition, in random topologies, a small number of polled nodes can make a detection system fast and reliable even if the underlying network grows.

研究动机与目标

• 设计一种基于预言机轮询网络中部分节点的比特币双重支付攻击检测系统。
• 研究网络拓扑对这种检测系统效率和可靠性的影响。
• 确定在不同网络结构下实现快速检测所需的最优轮询节点数量和分布。
• 评估随着比特币网络规模扩大，检测系统的可扩展性。
• 为基于网络拓扑和节点连通性的实际检测系统部署提供实用参考。

提出的方法

• 将比特币网络建模为具有多种拓扑结构的复杂网络：规则环形格子、小世界网络（通过Watts-Strogatz模型）、无标度网络（通过Barabasi-Albert模型）。
• 使用数值模拟，将冲突交易的传播过程建模为这些网络中的传播过程。
• 定义一个‘预言机’，其随机选择一组节点轮询是否接收到冲突交易。
• 以预言机检测到冲突的平均时间步数 <T> 作为性能指标进行测量。
• 改变轮询节点数量（Z）和网络规模（最大至10^4个节点），以评估检测速度和可扩展性。
• 在不同拓扑结构之间比较检测性能，重点关注拓扑结构对所需轮询节点数的影响。

实验结果

研究问题

• RQ1 网络拓扑如何影响实现有效双重支付检测所需轮询的节点数量？
• RQ2 在不同网络结构中，一个小型且随机选择的节点子集能否可靠地检测到双重支付攻击？
• RQ3 在不同拓扑结构中，检测速度如何随网络规模增加而变化？
• RQ4 在小世界和无标度网络中，确保快速且可靠检测所需的最少轮询节点数是多少？
• RQ5 在规则网络、小世界网络和无标度网络拓扑结构之间，检测系统的性能表现如何比较？

主要发现

• 小世界网络在实现相同检测速度时，所需轮询的节点数少于规则网络。
• 具有最小度 m=2 和 m=4 的无标度网络表现出快速检测且轮询节点极少，证实了高连通性枢纽的优势。
• 在随机拓扑结构（如小世界和无标度网络）中，即使网络规模扩大至10^4个节点，检测依然快速且可靠。
• 平均检测时间 <T> 随网络边密度的增加而减少，这与传播速度更快的理论预期一致。
• 检测系统的性能对网络扩展具有鲁棒性，即相同数量的轮询节点在更大网络中依然有效。
• 该模型表明，在实际部署中轮询矿工（因其高连通性）可能是最优选择，尽管模型为简化起见假设为无向、随机采样。