Axient: Canonical Protocol-Graph Composition for Leveraged Event Markets: Single State Authority, Atomic Composition, Durable Sagas, and Exactly-Once Recovery

在数字金融领域，一种新型市场已经出现，人们可以在其中利用借来的资金来放大潜在收益，对未来事件的结果进行投注，从体育赛事得分到选举结果。这被称为杠杆事件市场。想象一位交易者，他想对某个特定结果进行投注，但没有足够的现金来覆盖全部风险。他提供一小部分自己的资金作为押金，而贷方则提供剩余部分。如果投注获胜，交易者保留利润；如果失败，贷方承担损失。该系统必须极其精确，因为它涉及真实资金、关于谁在何时获得支付的复杂规则，以及在处理成千上万个此类投注的同时，确保不会因计算机错误导致任何人损失资金的需求。构建这样一个系统的核心挑战在于，确保金融拼图的每一个组成部分都对事实达成一致。如果负责追踪债务的部分软件说的是一套，而管理投注头寸的部分说的又是另一套，整个系统就会崩溃，导致投资者资金丢失且无法追回。

一位研究人员开发了一种构建数字市场的新蓝图，旨在消除因计算机程序各部分意见不一而产生的混乱。他们的工作专注于一个他们称之为“单一事实来源”的概念。在许多复杂的计算机系统中，不同的模块或程序可能会保留各自独立的债务清单，并希望这些清单最终能达成一致。研究人员认为这种方法是危险的。相反，他们提议建立一个系统，其中每一种特定类型的财务信息——例如债务金额、投注状态或准备金持有量——都由一个特定的数字合约拥有并存储在唯一的地方。系统中其他任何部分都不允许持有该数据的副本，也不得基于其自身版本的真相做出决策。这确保了当一笔交易发生时，它会被记录在一个确定的位置，而系统的其他所有部分都必须查看同一个位置来了解发生了什么。

研究人员通过构建一个完整的、可运行的杠杆事件市场模型，并将其置于十二个特定场景中进行压力测试，以验证其构想是否成立。他们想要证明其设计能够处理从开启新投注到支付盈利，甚至从系统崩溃中恢复的一切情况，而绝不会产生重复的财务记录。在测试中，他们模拟了一个情况：一个负责处理资金转移等繁重工作的执行进程突然停止运行并重新启动。在安全性较低的系统中，这种重启可能会导致执行进程误以为第一次尝试失败，从而意外地支付两次相同的债务。然而，在研究人员的系统中，执行进程在行动前检查了唯一的、官方的记录。它发现债务已经结算完毕，因此仅执行了观察动作，确保了资金被准确移动了一次，不多也不少。

为了实现这一点，研究人员创建了一套严格的规则来规范系统中不同部分之间的通信。他们设计了一个“损失瀑布”，这是一种在覆盖坏账时从不同资金池中提取资金的具体顺序。首先使用特定投注的资金；如果不足，系统将转向准备金；如果仍然不足，则从初级贷方的资金池中提取；最后，从高级贷方的资金池中提取。这个顺序被硬编码在系统中，因此无法被更改或绕过。他们还构建了一个机制，可以在出现问题时立即暂停整个系统，但配备了一个安全特性，防止暂停被过快解除。只有经过定时、预先批准的过程才能重启系统，以确保恐慌性的反应不会导致仓促且危险的重启。

研究人员还专注于数字意义上的“证明”。他们创建了一个详细的日志（或期刊），记录了系统采取的每一个步骤，从用户点击按钮的那一刻到账户余额的最终更新。这个日志不仅仅是一个备份；它是重建系统内存的基础。如果系统崩溃，一个新的进程可以通过阅读此日志来重建市场的精确状态，而无需信任任何其他计算机或服务。这至关重要，因为这意味着系统并不依赖中央机构来告知发生了什么；证据就在日志中，任何人都可以验证它。研究人员将模型运行在十二个不同的测试中，包括场景：投注被部分结算、证据之间出现冲突，以及用户在正在计算损失时尝试提取资金。在每种情况下，系统都完全按照规则运行，除非满足所有条件且官方记录已更新，否则拒绝移动资金。

研究人员强调，他们的工作是一个模拟过程，是对架构本身的受控测试，而非在公共网络上运行的真实金融产品。他们没有使用真实的资金或现实世界的事件进行测试，而是使用一套精心构建的规则和数据来测试逻辑是否成立。结果显示，该设计成功防止了重复财务记录的产生，并在所有组件之间维持了市场状态的单一且一致的视图。他们发现，通过严格限制谁可以修改什么，并确保每一项变更都能被独立验证，他们可以构建一个对错误具有鲁棒性且能够从故障中恢复而不丢失数据的系统。

研究还强调了“清单”（manifest）的重要性，这是一种列出了系统中每一个组成部分、其地址及其规则的数字文档。清单作为软件各部分之间的契约，确保它们都在使用相同版本的代码和同一套规则。如果系统的一部分试图使用不同的地址或不同的规则，系统会立即拒绝。这防止了黑客攻击或偶然错误引入恶意代码来窃取资金或改变投注结果。研究人员展示了这种方法可以用于创建一个规则透明且结果可预测的系统，即使是在一个拥有众多不同参与者的复杂环境中。

最终，这篇论文提出了关于如何在互联网上构建金融系统的一种新思维方式。研究人员并没有试图让系统的每个部分都变得完美且独立，而是专注于让各部分之间的连接变得僵化且明确。通过确保存在一个唯一的真相来源，并确保每一项行动都是可记录且可验证的，他们创建了一个难以被破坏且易于信任的系统。他们的工作并未解决数字金融中的所有问题，例如当事件数据源出错时该怎么办，但它解决了在数据已知后如何管理资金的问题。它表明，通过正确的设计，是有可能创建一个既能像传统银行一样可靠，又能具备计算机程序般的快速与透明度的数字市场的。研究人员提供了一个构建系统的蓝图，该系统可以处理现代金融的复杂性而不会迷失方向，为构建更安全、更值得信赖的数字经济开辟了道路。