[论文解读] Anonymity Properties of the Bitcoin P2P Network

Giulia Fanti, Pramod Viswanath|arXiv (Cornell University)|Mar 26, 2017

Internet Traffic Analysis and Secure E-voting参考文献 15被引用 25

一句话总结

本文分析了比特币对等网络（P2P）的匿名性特性，重点关注交易洪泛协议。研究建立了一个监听者敌手模型，该模型可通过观察消息传播来实现用户去匿名化，发现2015年之前使用的trickle协议与2015年之后的扩散协议均提供较差的匿名性，由于在规则树拓扑上的对称传播行为，其检测概率相似。

ABSTRACT

Bitcoin is a popular alternative to fiat money, widely used for its perceived anonymity properties. However, recent attacks on Bitcoin's peer-to-peer (P2P) network demonstrated that its gossip-based flooding protocols, which are used to ensure global network consistency, may enable user deanonymization---the linkage of a user's IP address with her pseudonym in the Bitcoin network. In 2015, the Bitcoin community responded to these attacks by changing the network's flooding mechanism to a different protocol, known as diffusion. However, no systematic justification was provided for the change, and it is unclear if diffusion actually improves the system's anonymity. In this paper, we model the Bitcoin networking stack and analyze its anonymity properties, both pre- and post-2015. In doing so, we consider new adversarial models and spreading mechanisms that have not been previously studied in the source-finding literature. We theoretically prove that Bitcoin's networking protocols (both pre- and post-2015) offer poor anonymity properties on networks with a regular-tree topology. We validate this claim in simulation on a 2015 snapshot of the real Bitcoin P2P network topology.

研究动机与目标

• 调查2015年比特币从trickle协议转向扩散洪泛协议是否提升了用户匿名性。
• 对比特币P2P网络及其监听者敌手进行建模，该敌手可通过消息传播模式实现用户去匿名化。
• 分析在trickle与扩散协议下，最大似然源识别算法的性能。
• 评估这两种协议在规则树拓扑及真实比特币网络快照上的匿名性特性。
• 为当前洪泛机制无法保护用户匿名性的原因提供理论与实证依据。

提出的方法

• 将比特币P2P网络建模为规则树，以捕捉与消息传播相关的结构特性。
• 引入一个监听者敌手，通过观察消息传播延迟来推断交易的来源。
• 应用最大似然估计，基于观测到的传播时间确定最可能的交易源。
• 使用Pólya瓮过程对trickle与扩散协议下源检测概率的渐近行为进行理论分析。
• 在2015年真实比特币P2P网络拓扑快照上进行仿真，以验证理论发现。
• 在相同敌手模型下，比较trickle（基于gossip）与扩散（基于指数延迟）传播机制的性能。

实验结果

研究问题

• RQ1 比特币P2P网络中的trickle与扩散洪泛协议是否对监听者敌手提供显著不同的匿名性水平？
• RQ2 在规则树拓扑上，使用最大似然源识别的去匿名化理论概率是多少？
• RQ3 在相同敌手模型下，trickle与扩散协议的匿名性在检测概率方面有何差异？
• RQ4 2015年从trickle协议转向扩散协议是否实际上提升了对源去匿名化攻击的抵抗能力？
• RQ5 两种协议中对称的消息传播是否可被基于中心性的去匿名化攻击所利用？

主要发现

• 理论分析表明，trickle与扩散协议在规则树拓扑上均提供较差的匿名性，其渐近检测概率相似。
• 两种协议的最大似然检测概率随网络深度$d$的变化趋势相似，表明2015年协议变更并未带来显著改进。
• 在真实2015年比特币P2P网络拓扑上的仿真结果确认，扩散与trickle协议的去匿名化性能在数值上几乎相同。
• 消息传播的对称性——即内容向所有方向均匀传播——使得基于中心性的强大去匿名化攻击成为可能。
• 尽管转向了扩散协议，比特币P2P网络仍因传播行为缺乏不对称性而易受源识别攻击。
• 结果表明，当前的洪泛协议无法提供有意义的匿名性，尽管其初衷是缓解早期的去匿名化风险。