4、分布式账本对象的形式化与实现

分布式账本对象的形式化与实现

1. 引言

如今，加密货币及其技术支撑——区块链正备受瞩目。有人宣称，使用加密货币和公共分布式账本（即公共区块链）能让利益相关者摆脱集中式可信权威的束缚。而且，人们认为通过挖矿、投机甚至推出自己的加密货币（即首次代币发行，ICO）有机会致富。

加密货币于2009年由中本聪首次提出。他在论文中介绍了首个允许点对点经济交易无需中央权威的算法。尽管中本聪对该协议的安全性进行了初步分析，但加雷、基亚亚斯和伦纳多斯进行了更正式和深入的分析，定义并证明了比特币背后区块链实现的两个基本属性：公共前缀和链质量。

分布式账本技术（DLT）或区块链近期的流行主要归因于众多加密货币的爆发式增长，但这项核心技术在金融行业之外也有许多应用。这些应用源于分布式账本的各种有用特性，如去中心化信息管理、不可变记录保存以便审计、强大且可用的系统以及提供安全和隐私的系统。例如，新兴领域是在医疗保健应用中使用DLT。从高层次来看，分布式账本可作为存储医疗保健数据的平台，用于共享、记录、分析、研究等。采用DLT的最广泛讨论的方法之一是实施健康信息交换（HIE）系统，用于在患者、护理人员和其他相关方等参与者之间共享交易。另一个有趣的开源项目是Namecoin，它使用DLT来改进互联网组件（如DNS）的注册和所有权转移。

然而，大多数专家往往没有明确区分加密货币、支持它的账本以及它们提供的服务。相反，他们过于关注技术细节，谈论涉及的密码学、维护账本的挖矿或使用的智能合约技术。而且，当被要求提供详细信息时，通常没有对协议、算法和服务的正式规范，只有少数例外。在很多情况下，“代码就是规范”。

从理论角度来看，当前的分布式账本（和加密货币）系统有许多基本问题常