Cryptology ePrint Archive: Report 2018/561

Blockchain Abstract Data Type

Emmanuelle Anceaume and Antonella Del Pozzo and Romaric Ludinard and Maria Potop-Butucaru and Sara Tucci-Piergiovanni

Abstract: The presented work continues the line of recent distributed computing community efforts dedicated to the theoretical aspects of blockchains. This paper is the first to specify blockchains as a composition of abstract data types all together with a hierarchy of consistency criteria that formally characterizes the histories admissible for distributed programs that use them. Our work is based on an original oracle-based construction that, along with new consistency definitions, captures the eventual convergence process in blockchain systems. The paper presents as well some results on implementability of the presented abstractions and a mapping of representative existing blockchains from both academia and industry in our framework.

Category / Keywords: foundations / Blockchain, Abstract Data Type, Consistency Criteria

Date: received 4 Jun 2018

Contact author: delpozzo antonella at gmail com

Available format(s): PDF | BibTeX Citation

Version: 20180604:225216 (All versions of this report)

Short URL: ia.cr/2018/561


[ Cryptology ePrint archive ]