[论文解读] VerLoc: Verifiable Localization in Decentralized Systems

Katharina Kohls, Claudia Díaz|arXiv (Cornell University)|May 25, 2021

Network Security and Intrusion Detection参考文献 44被引用 7

一句话总结

VerLoc 是一种去中心化系统，可在无可信地标的情况下，通过使用安全、随机化的往返时间（RTT）测量和三边测量法，实现对抗性网络中的可验证节点定位，以检测并过滤时间操纵行为。在真实部署中，其定位误差中位数为 60 公里，并能检测出最多 20% 恶意参与者的网络中的攻击节点。

ABSTRACT

We tackle the challenge of reliably determining the geo-location of nodes in decentralized networks, considering adversarial settings and without depending on any trusted landmarks. In particular, we consider active adversaries that control a subset of nodes, announce false locations and strategically manipulate measurements. To address this problem we propose, implement and evaluate VerLoc, a system that allows verifying the claimed geo-locations of network nodes in a fully decentralized manner. VerLoc securely schedules roundtrip time (RTT) measurements between randomly chosen pairs of nodes. Trilateration is then applied to the set of measurements to verify claimed geo-locations. We evaluate VerLoc both with simulations and in the wild using a prototype implementation integrated in the Nym network (currently run by thousands of nodes). We find that VerLoc can localize nodes in the wild with a median error of 60 km, and that in attack simulations it is capable of detecting and filtering out adversarial timing manipulations for network setups with up to 20 % malicious nodes.

研究动机与目标

• 在无可信地标或真实世界基础设施的前提下，实现对抗性网络中节点地理定位的可靠、去中心化验证。
• 解决主动攻击者在去中心化系统中操纵时间测量值或虚假报告位置的挑战。
• 支持匿名网络（如 Nym）和基于区块链的点对点系统中的位置多样性与安全路由。
• 提供可扩展、低开销的解决方案，在网络噪声和对抗性干扰下仍能保持准确性。
• 通过可验证的位置奖励和质押委托，为未来实现全球节点分布提供激励。

提出的方法

• VerLoc 在节点对之间调度安全、随机化的往返时间（RTT）测量，以防止攻击者对测量分配施加影响。
• 它利用成对 RTT 测量值进行三边测量，基于距离推断来估计并验证节点的地理定位。
• 广播通道使所有节点能够共享 RTT 测量值，从而实现对声称位置的去中心化验证。
• 该系统使用来自 6042 个 Tor 中继和 16 个全球服务器的 180 万条真实 RTT 数据，对网络传播延迟进行建模，以考虑噪声和动态路由的影响。
• 它使用拟合的传播模型将测得的 RTT 值转换为地理距离，并引入置信区间以处理噪声。
• 通过与 GeoIP 数据对比，验证自报的城市级位置，以评估一致性并检测潜在差异。

实验结果

研究问题

• RQ1 在对抗性环境中，无可信地标或真实世界信息的前提下，去中心化系统能否验证节点位置？
• RQ2 VerLoc 在最多 20% 恶意节点的网络中，检测并过滤对抗性时间操纵的有效性如何？
• RQ3 VerLoc 在真实世界部署中的定位精度如何？网络噪声对其性能有何影响？
• RQ4 自报位置与 GeoIP 数据之间的差异在多大程度上影响 VerLoc 的验证决策？
• RQ5 纵向验证能否提升对持续错误报告节点的检测能力？测量一致性在可靠性中扮演何种角色？

主要发现

• 在 Nym 网络的真实部署中，VerLoc 的定位误差中位数为 60 公里，证明了其在去中心化环境中的实际准确性。
• 在攻击模拟中，VerLoc 在最多 20% 恶意节点的网络中成功检测并过滤了对抗性时间操纵。
• 在测试的 1395 个节点中，自报位置与 GeoIP 位置之间的中位数误差为 7.11 公里，平均误差为 364.47 公里，表明自报数据具有合理的对齐性。
• 126 个节点（占 9.03%）的自报国家与 GeoIP 国家不一致，其中位数误差为 1238 公里，突显了潜在的数据质量问题。
• 在 VerLoc 拒绝的 5775 个节点中，有 28.81% 的节点存在 GeoIP 与自报国家不一致，且 59.71% 的节点受到多数异常缓慢测量的影响，表明噪声和不一致性是主要的故障来源。
• 仅有 3.08% 的被接受节点存在 GeoIP 与自报国家不一致，表明 VerLoc 能够有效过滤掉位置信息不一致或虚假的节点。