原子追加：利用多分布式账本售卖汽车与协调军队

各类使用分布式账本技术(DLT)或区块链的应用，催生了一个可交换多种类型数字资产的新“市场”。由于每条区块链被设计用于支持特定类型的资产与交易，且没有任何区块链会一家独大，执行跨区块链交易的需求已然紧迫。本工作中我们考察区块链互操作与互联这一根本问题。具体而言，我们首先引入多分布式账本对象(MDLO)，它由聚合多个分布式账本对象——DLO（DLO是区块链的形式化）而得，并支持来自多个客户端的记录（如交易）在其上的并发追加(append)与获取(get)操作。接下来，我们定义原子追加(AtomicAppends)问题，该问题出现在多个客户端间数字资产交换可能涉及在多于一个DLO中追加记录时。具体地，AtomicAppend要求要么所有记录都被追加到所涉DLO上，要么都不追加。我们考察在理性且风险厌恶、可能因崩溃而失效的客户端下，以及不同客户端效用与追加模型、时序模型和客户端失效情景中该问题的可解性。我们表明对某些情形，中介的存在是问题求解所必需的。我们提出在一条专用区块链上实现此类中介，称之为智能DLO(SDLO)，并展示它如何被用于求解原子追加问题，即便在异步、客户端竞争且所有客户端均可能崩溃的环境中。