Stellar真的如你所想般安全吗？
分布式、并行与集群计算
2019-05-01 v1 计算机与社会
摘要
Stellar是按市值计算排名前十的加密货币之一。它采用一种拜占庭容错（BFT）的变体，称为联邦拜占庭协议（FBA），将传统BFT算法推广以更适用于开放成员区块链。为此，FBA引入了由一组节点组成的法定切片概念。在FBA中，节点在收到其指定的法定切片中节点发来的特定消息后即可完成一轮共识。本研究中，我们分析FBA（其安全性高度依赖于法定切片的结构），并证明其在安全性和活性方面并不优于传统BFT算法。接着，为分析作为FBA一种构造的Stellar共识协议（SCP）的安全性，我们调查了Stellar中当前的法定切片。我们分析法定切片的结构，并使用两个指标——PageRank（PR）和新提出的NodeRank（NR）——定量度量各节点的影响力。结果表明Stellar系统显著中心化。此后，为确定该中心化结构如何对Stellar系统产生负面影响，我们研究了因仅删除Stellar中少数节点（即验证者）引发的级联失效。我们表明，若仅两个节点失效，Stellar中所有节点均无法运行SCP。更糟的是，这两个节点由同一组织——Stellar基金会——运行并控制。
引用
@article{arxiv.1904.13302,
title = {Is Stellar As Secure As You Think?},
author = {Minjeong Kim and Yujin Kwon and Yongdae Kim},
journal= {arXiv preprint arXiv:1904.13302},
year = {2019}
}