论文标题
区块链BFT协议用于完整的异步网络
Blockchain BFT Protocol for Complete Asynchronous Networks
论文作者
论文摘要
以太坊研究小组提出了一个Casper区块链共识协议的家庭，该协议是针对以太坊2.0的。文献中已经显示，Casper友好的终结小工具（Casper FFG）用于以太坊2.0的Beacon Network无法在诸如Internet环境等部分同步网络中实现Livices属性。 Casper区块链共识方案（CBC Casper）的“正确构造”家族已被提议作为以太坊2.0区块链未来发布的最终性小工具。不幸的是，CBC Casper均未获得建设性的终结规则和令人满意的透气性能，并且通常认为CBC Casper无法在异步网络中实现Livices属性。本文提供了第一个概率的CBC Casper协议，该方案在完全异步网络中实现了（N-1）/3拜占庭参与者的易感性。
Ethereum Research team has proposed a family of Casper blockchain consensus protocols for Ethereum 2.0. It has been shown in the literature that Casper Friendly Finality Gadget (Casper FFG) for Ethereum 2.0's beacon network cannot achieve liveness property in partially synchronous networks such as the Internet environment. The "Correct-by-Construction" family of Casper blockchain consensus protocols (CBC Casper) has been proposed as a finality gadget for the future release of Ethereum 2.0 blockchain. Unfortunately, neither constructive finality rule nor satisfactory liveness property has been obtained for CBC Casper, and it is commonly believed that CBC Casper could not achieve liveness property in asynchronous networks. This paper provides the first probabilistic CBC Casper protocol that achieves liveness property against (n-1)/3 Byzantine participants in complete asynchronous networks.
