论文标题

拜占庭协议的下限和使用VDF的自适应对手共识

A Lower Bound for Byzantine Agreement and Consensus for Adaptive Adversaries using VDFs

论文作者

Dryja, Thaddeus, Liu, Quanquan C., Narula, Neha

论文摘要

大规模的加密货币需要数百万参与者的参与并支持数十亿美元的经济活动,这导致了二进制拜占庭协议(BBA)(BBA)和共识的新工作。新工作旨在实现沟通效率 - 鉴于如此大的$ n $,并不是每个人都可以在协议期间发言。即使在自适应对手下,几种协议也达成了沟通效率的共识,但是它们需要额外的强大假设 - - 工作证明,内存搜索等。所有这些协议都使用多播:每个诚实的副本多播邮件向所有其他复制品发送。在此模型下,我们使用可验证的延迟功能(VDF)提供了一种新的通信有效共识协议,该协议可抵抗自适应对手,并且不需要其他协议中存在相同的强大假设。 一个自然的问题是,我们是否可以将同步协议扩展到部分同步设置 - 在这项工作中,我们表明使用多播,我们不能。此外,即使在诚实的副本只选择多播其消息时,我们也无法实现始终实现安全沟通效率的协议(以概率为1)。考虑到这些不可能的结果,我们在修改的部分同步网络模型中描述了一种新的通信效率BBA协议,该模型可抵抗具有很高概率的自适应对手。

Large scale cryptocurrencies require the participation of millions of participants and support economic activity of billions of dollars, which has led to new lines of work in binary Byzantine Agreement (BBA) and consensus. The new work aims to achieve communication-efficiency---given such a large $n$, not everyone can speak during the protocol. Several protocols have achieved consensus with communication-efficiency, even under an adaptive adversary, but they require additional strong assumptions---proof-of-work, memory-erasure, etc. All of these protocols use multicast: every honest replica multicasts messages to all other replicas. Under this model, we provide a new communication-efficient consensus protocol using Verifiable Delay Functions (VDFs) that is secure against adaptive adversaries and does not require the same strong assumptions present in other protocols. A natural question is whether we can extend the synchronous protocols to the partially synchronous setting---in this work, we show that using multicast, we cannot. Furthermore, we cannot achieve always safe communication-efficient protocols (that maintain safety with probability 1) even in the synchronous setting against a static adversary when honest replicas only choose to multicast its messages. Considering these impossibility results, we describe a new communication-efficient BBA protocol in a modified partially synchronous network model which is secure against adaptive adversaries with high probability.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源