Afgjort: A partially synchronous finality layer for blockchains

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

DOI

Most existing blockchains either rely on a Nakamoto-style of consensus, where the chain can fork and produce rollbacks, or on a committee-based Byzantine fault tolerant (CBFT) consensus, where no rollbacks are possible. While the latter ones offer better consistency, the former tolerate more corruptions. To achieve the best of both worlds, we initiate the formal study of finality layers. Such a finality layer can be combined with a Nakamoto-style blockchain (NSB) and periodically declare blocks as final, preventing rollbacks beyond final blocks. As conceptual contributions, we formalize the concept of a finality layer and identify the following properties to be crucial for finality layers: finalized blocks form a chain (chain-forming), all parties agree on the finalized blocks (agreement), the last finalized block does not fall too far behind the last block in the underlying blockchain (updated), and all finalized blocks at some point have been on the chain adopted by honest parties holding at least k units of the resource on which consensus is based, e.g., stake or computing power (k-support). As our main technical contribution we propose the finality layer protocol Afgjort. We prove that it satisfies all of the aforementioned requirements in the setting with less than 1/3 corruption among the finalizers and a partially synchronous network. We further show that tolerating less than 1/3 corruption is optimal for partially synchronous finality layers. Finally, we provide data from experiments ran with an implementation of our protocol; the data confirms that finality is reached much faster than without our finality layer.

OriginalsprogEngelsk
TitelSecurity and Cryptography for Networks
RedaktørerClemente Galdi, Vladimir Kolesnikov
Antal sider21
UdgivelsesstedCham
ForlagSpringer
Udgivelsesår2020
Sider24-44
ISBN (trykt)9783030579890
ISBN (Elektronisk)978-3-030-57990-6
DOI
StatusUdgivet - 2020
Begivenhed12th International Conference on Security and Cryptography for Networks, SCN 2020 - Amalfi, Italien
Varighed: 14 sep. 202016 sep. 2020

Konference

Konference12th International Conference on Security and Cryptography for Networks, SCN 2020
LandItalien
ByAmalfi
Periode14/09/202016/09/2020
SerietitelLecture Notes in Computer Science
Vol/bind12238
ISSN0302-9743

Se relationer på Aarhus Universitet Citationsformater

ID: 197686384