Tenderbake——一种面向区块链的动态重复共识解决方案
摘要
第一代区块链提供概率性最终性：一个区块可能被撤销，尽管随着该区块在链中不断加深，这一概率会逐渐降低。近期的提案重新审视了基于委员会的 BFT 共识，以提供确定性最终性：一旦一个区块被验证，它就永远不会被撤销。这些第二代区块链相对于经典 BFT 协议的一个显著特征是，随着参与情况和区块链状态的演变，委员会会随时间发生变化。在本文中，我们沿着这一方向推进，提出了动态重复共识问题（Dynamic Repeated Consensus problem）的形式化定义，并给出了在区块链背景下解决该问题的通用流程。我们的方法是模块化的，因为可以插入不同的同步器和单次共识实例。为提供完整解决方案，我们给出了一个称为 Tenderbake 的具体实现，并提出了一种区块链同步器与一种单次共识算法，该算法在拜占庭且部分同步、时钟最终同步的系统模型中工作。与近期提案不同，我们的方法论由对消息缓冲区进行限制的需求所驱动。这对于防止垃圾信息轰炸和运行时内存错误至关重要。此外，Tenderbake 的进程无需交换消息即可相互同步，而是利用存储在区块链中的信息。
引用
@article{arxiv.2001.11965,
title = {Tenderbake -- A Solution to Dynamic Repeated Consensus for Blockchains},
author = {Lăcrămioara Aştefanoaei and Pierre Chambart and Antonella Del Pozzo and Thibault Rieutord and Sara Tucci and Eugen Zălinescu},
journal= {arXiv preprint arXiv:2001.11965},
year = {2021}
}
备注
This new version mainly brings the following improvements: (1) endorsement messages do not need to contain a aQC, therefore the message size of proposals and the size of message buffers decreases by a factor of `n`; and (2) the implementation of 'betterChain' (now called 'betterHead') has changed