区块链抽象数据类型
分布式、并行与集群计算
2018-05-15 v2
摘要
所呈现的工作延续了分布式计算界近期致力于区块链理论方面的努力。本文首次将区块链规定为抽象数据类型的组合，并配以一致性准则的层次结构，该结构形式化刻画了使用它们的分布式程序所容许的历史。我们的工作基于一种原创的基于预言机的构造，该构造连同新的一致性定义，捕捉了区块链系统中的最终收敛过程。本文还给出了关于所呈现抽象的可实现性的一些结果，并将学术界与工业界代表性的现有区块链映射到我们的框架中。
引用
@article{arxiv.1802.09877,
title = {Blockchain Abstract Data Type},
author = {Emmanuelle Anceaume and Antonella Del Pozzo and Romaric Ludinard and Maria Potop-Butucaru and Sara Tucci-Piergiovanni},
journal= {arXiv preprint arXiv:1802.09877},
year = {2018}
}