Tenderbake...
Ich bin kein Fachmann, aber wenn ich es richtig verstanden habe, kann mit der deterministische Finalität von Tenderbake
eine Transaktion sofort als endgültig betrachtet werden, sobald sie der Blockkette hinzugefügt wird. Damit dies geschieht, muss ein "Führer" einen Block vorschlagen, der hinzugefügt werden soll, und dann muss ein bestimmter Teil der Validierer diesen Block genehmigen.
https://sci.smithandcrown.com/glossary/transaction-finality-probabilisticdeterministicTenderbake -- Classical BFT Style Consensus for Public Blockchains
Lăcrămioara Aştefanoaei (1), Pierre Chambart (1), Antonella Del Pozzo (2), Edward Tate (1)Sara Tucci (2), Eugen Zălinescu (1) ((1) Nomadic Labs, (2) CEA LIST)
(Submitted on 31 Jan 2020)
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.
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
Cite as: arXiv:2001.11965 [cs.DC]
(or arXiv:2001.11965v1 [cs.DC] for this version)
Unsere Arbeit wurde ursprünglich durch Tezos motiviert, eine öffentliche Blockkette, die sich auf die Korrektheit von Software konzentriert und die formale Argumentation und Verifikation ermöglicht. Um die Widerstandsfähigkeit von Tezos weiter zu stärken, die jetzt von einem Konsensprotokoll abhängt, das nur probabilistische Finalität bringt, schlagen wir ein Konsensprotokoll vor, das deterministische Finalität bringt. Unsere Lösung ist rückwärtskompatibel mit dem derzeitigen flüssigen Proof-of-Stake-System, das Tezos zugrunde liegt. Die wichtigsten Beiträge dieses Papiers sind die folgenden: (i) eine formale Spezifikation des Dynamic Repeated Consensus (DRC) Problems, eine Anpassung des Problems des wiederholten Konsenses an dynamische Ausschüsse, (ii) Tenderbake, eine Lösung des DRC-Problems in einem byzantinischen und teilweise synchronen Systemmodell. Im Gegensatz zu den jüngsten Vorschlägen arbeitet Tenderbake mit begrenzten Nachrichtenpuffern. Diese Funktion stellt eine Gegenmaßnahme zum Spamming dar und verhindert Laufzeitspeicherfehler. Aus diesen Gründen glauben wir, dass Tenderbake für Blockketten geeignet ist, die eine deterministische Finalität in einer öffentlichen Umgebung garantieren sollen.
https://arxiv.org/abs/2001.11965arXiv® is a registered trademark of Cornell University.
Das ganze hört sich echt spannend an, interessant finde ich auch, dass eben an der Cornell University auch an Avalance gebastelt wird...
