Axient: Manifest-Bound Evidence for On-Chain Financial Protocols: Seven-Layer Derivation, Correlation, Tamper Rejection, and Reproducible Claim Promotion
本文提出了一种用于混合链上金融协议的清单绑定证据架构，该架构集成了七个相关的证据层和一个合取提升规则，以确保对金融断言进行防篡改、可复现且可独立验证的证明，从而将观察到的证据与解释区分开来，并防止对表面哈希匹配的依赖。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
在数字金融领域，信任并非一种感觉，而是一条证据链。当资金通过涉及用户界面、计算机服务器和区块链账本的复杂系统进行移动时，人们需要知道他们在屏幕上看到的动作，与网络中实际发生的动作是完全一致的。问题在于，我们通常用来证明这一点的证据是非常脆弱的。截图只能展示屏幕当时的样子，但不能证明是什么导致了这种呈现。交易收据确认了计算机记录了一条消息，但它并不能证明这条消息来自正确的人，也无法证明运行它的软件是经过批准的版本。即使是一串匹配的计算机代码（通常称为哈希值），如果它们都是从单一来源复制而非由系统的不同部分独立生成，也可能会产生误导。如果缺乏一种方法，将每一项金融交易都与一个关于“系统本应处于何种状态”的单一且不可更改的记录联系起来，那么就无法区分一次真实的成功与一场巧妙的幻象。
一位研究人员开发了一种构建这种信任链的新方法，将证据视为一个密封且相互关联的整体，而非零散文件的集合。其工作重点是混合金融协议，即结合了人类交互、传统计算机服务和区块链技术的系统。该研究人员创建了一种被称为“清单绑定证据架构”（manifest-bound evidence architecture）的方法。可以将这个“清单”想象成一个密封的信封，其中包含了交易发生瞬间系统的精确蓝图。这个蓝图包括了特定的计算机代码、参与的人员或程序的角色，以及他们所遵循的规则。通过将此蓝图锁定在证据中，研究人员确保了稍后呈现的任何证明都可以根据当时预定运行的精确系统进行校验，从而防止任何人替换不同版本的软件或使用虚假身份来冒充结果。
这一新系统的核心是一个追踪金融事件从始至终的七层结构。这些层级从最初的预期开始，依次经过实际的区块链交易、记录该事件的计算机日志、解释数据的服务投影、交付信息的认证应用程序接口（API）、用户看到的浏览器视图，最后是人类审核员可以阅读的审计重建。至关重要的是，这些层级并非仅仅是独立的文件；它们都通过一个共同的身份代码和注册派生关系连接在一起。这意味着，对于每一件证据，系统都会记录它是如何生成的、使用了哪些输入，以及是哪个特定版本的软件产生了它。如果研究人员试图声称一张浏览器截图证明了一笔交易的发生，系统会检查该截图是否确实是由运行正确代码的正确浏览器生成的，还是仅仅是一张测试图像的副本。
为了测试这一构想，研究人员针对十二个特定的金融场景进行了详细的案例研究。这些场景涵盖了广泛的行为，例如成功受理一笔交易、拒绝一项风险操作、结算债务以及从系统崩溃中恢复。在研究中，他们保留了八十四件不同的证据，确保每一件都与密封的蓝图和共同的身份代码相绑定。他们生成了两个完全相同的、字节级一致的纯净版本证据包，证明了该过程可以实现完美的精准重复。一个作为独立裁判的独立验证器接受了最终的存档，并且通过对事件进行选定的重演，将其与该存档绑定，以展示历史是如何被精确重建的。研究发现，当所有这些层级都存在且正确链接时，证据便形成了一个可审计的监管链，无法通过简单地复制数据或重新排列文件来伪造；尽管研究人员指出，在该局部样本组中，尚未评估证明跨所有层级的独立运行时观察所需的特定门槛。
研究人员还证明，仅仅拥有匹配的计算机代码并不足以证明系统正常运作。他们演示了如果将同一个测试值复制到七个不同的文件中，产生的代码虽然会匹配，但这并不能说明系统是否真的执行了任务。他们的方法要求每一层证据都必须源自其自身的特定输入，并且整个数据包必须是可复现的。他们还引入了严格的规则来防止“拼接”（splicing），即把一个测试运行中的证据片段粘贴到另一个测试运行中以制造虚假主张的行为。如果某件证据与原始蓝图或共同身份代码不符，系统就会将其拒绝。这确保了只有当过程中的每一个环节都通过检验时，最终的主张才会被提升，且任何单一环节的失败都无法通过另一部分的成功来掩盖。
这项工作的最显著发现之一是明确了“观察到的”、“重建的”与“仅仅是假设”之间的区别。研究人员表明，虽然收据可以证明一笔交易已被打包入链，但它并不能证明用户的意图。虽然截图可以证明像素曾被显示，但它并不能证明数据源。通过将所有证据与密封清单绑定并要求独立审查，该系统在“实际发生了什么”与“有人声称发生了什么”之间划定了一条清晰的界限。这种方法并不能解决金融领域的每一个问题：它无法证明第三方服务是诚实的，也无法证明智能合约不存在隐藏漏洞。然而，它提供了一种严谨且可复现的方法，用以验证在特定已知系统中是否发生了一系列特定的行为。其结果是将一系列数字人工制品转化为一个关于金融事件的单一且可信的故事，确保证明与承诺相符。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。