Tenderbake -Classical BFT Style Consensus for Public Blockchains

Lăcramioara Aştefănoaei (1) , Pierre Chambart (1) , Antonella Del Pozzo (2) , Edward W. Tate (1) , Sara Tucci (2) , Eugen Zălinescu (1)

1 Nomadic Labs
2 DILS (CEA, LIST) - Département Ingénierie Logiciels et Systèmes

Our work has been originally motivated by Tezos, a public blockchain which focuses on software correctness and which enables formal reasoning and verification. To further strengthen the resilience of Tezos, which now depends on a consensus protocol delivering only probabilistic finality, we propose a consensus protocol that brings deterministic finality. Our solution is backward compatible with the current liquid proof-of-stake system underlying Tezos. The main contributions of this paper are the following: (i) a formal specification of the Dynamic Repeated Consensus (DRC) problem, an adaptation of the repeated consensus problem to dynamic committees, (ii) Tenderbake, a solution to the DRC problem in a Byzantine and partially synchronous system model. In contrast to recent proposals, Tenderbake works with bounded message buffers. This feature represents a countermeasure to spamming and prevents runtime memory errors. For these reasons we think that Tenderbake is suitable for blockchains aiming to guarantee deterministic finality in a public setting.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Lăcramioara Aştefănoaei, Pierre Chambart, Antonella Del Pozzo, Edward W. Tate, Sara Tucci, et al.. Tenderbake -Classical BFT Style Consensus for Public Blockchains. 2020. ⟨hal-02462687⟩