Blockchain Security when Messages are Lost
Blockchain Security when Messages are Lost
复制标题
消息丢失时的区块链安全
DOI：
10.1145/3560829.3563557
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Hajek, Bruce
中科院分区：
文献类型：
--
作者：
Ameen, Taha;Sankagiri, Suryanarayana;Hajek, Bruce
区块链研究中共识协议的安全性分析主要集中在同步模型上，其中点对点通信延迟的上限是一个已知的有限常数。这些模型在嘈杂的环境中是不现实的，在嘈杂的环境中消息可能会丢失（即导致无限延迟）。在这项工作中，我们研究了消息丢失对工作量证明最长链协议安全性的影响。我们引入了一种新的通信模型来捕捉消息丢失的影响，称为0-∞模型，并推导了一个可容忍对抗能力的区域，在该区域下共识协议是安全的。保证是作为事务违反所需安全属性的概率的简单界限派生出来的。具体来说，我们证明了这种违反概率在安全参数中几乎呈指数衰减。我们的方法包括从块树中构造组合对象，并识别与它们相关的随机变量，这些变量可以进行分析。这种方法改进了现有的边界，并在消息可能丢失的设置中扩展了可容忍的对抗性阈值的已知机制。
Security analyses for consensus protocols in blockchain research have primarily focused on the synchronous model, where point-to-point communication delays are upper bounded by a known finite constant. These models are unrealistic in noisy settings, where messages may be lost (i.e. incur infinite delay). In this work, we study the impact of message losses on the security of the proof-of-work longest-chain protocol. We introduce a new communication model to capture the impact of message loss called the 0-∞ model, and derive a region of tolerable adversarial power under which the consensus protocol is secure. The guarantees are derived as a simple bound for the probability that a transaction violates desired security properties. Specifically, we show that this violation probability decays almost exponentially in the security parameter. Our approach involves constructing combinatorial objects from blocktrees, and identifying random variables associated with them that are amenable to analysis. This approach improves existing bounds and extends the known regime for tolerable adversarial threshold in settings where messages may be lost.
登录
查看更多内容
一切都是一场竞赛，中本聪总是获胜
DOI：
10.1145/3372297.3417290
发表时间：
2020
期刊：
CCS '20: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security
影响因子：
--
作者：
Dembo, Amir;Kannan, Sreeram;Tas, Ertem Nusret;Tse, David;Viswanath, Pramod;Wang, Xuechao;Zeitouni, Ofer
通讯作者：
Zeitouni, Ofer
最长链规则的组合：权益证明区块链的线性一致性
DOI：
10.1137/1.9781611975994.69
发表时间：
2020
期刊：
Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms
影响因子：
--
作者：
Blum, Erica;Kiayias, Aggelos;Moore, Cristopher;Quader, Saad;Russell, Alexander
通讯作者：
Russell, Alexander
随机延迟下的最长链协议
影响因子：
--
作者：
Suryanarayana Sankagiri;Shreyas Gandlur;B. Hajek
通讯作者：
B. Hajek
中本聪共识的紧密延迟与安全权衡
DOI：
10.1145/3479722.3480992
发表时间：
2020
期刊：
Proceedings of the 3rd ACM Conference on Advances in Financial Technologies
影响因子：
--
作者：
Jing Li;Dongning Guo;Ling Ren
通讯作者：
Ling Ren