2019 | OriginalPaper | Buchkapitel
On Trees, Chains and Fast Transactions in the Blockchain
verfasst von : Aggelos Kiayias, Giorgos Panagiotakos
Erschienen in: Progress in Cryptology – LATINCRYPT 2017
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
GHOST
protocol which, notably, was proposed to be at the core of Ethereum as well as other recent proposals for improved Bitcoin-like systems. The GHOST
variant is touted as offering superior performance compared to Bitcoin (potentially offering block production speed up by a factor of more than 40) without a security loss. Motivated by this, in this work, we study from a provable security point of view the GHOST
protocol.GHOST
and Bitcoin protocols, the former of which we extract and formally describe. We then prove that GHOST
implements a “robust transaction ledger” (i.e., possesses liveness and persistence) and hence it is a provably secure alternative to Bitcoin; moreover, our bound for the liveness parameter is superior to that proven for the bitcoin backbone in line with the original expectation for GHOST
. Our proof follows a novel methodology for establishing that GHOST
is a robust transaction ledger compared to previous works, which may be of independent interest and can be applicable to other blockchain variants.