发表机构
Research Department of Devnull FZCO（Devnull FZCO 研究部）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文提出清单绑定证据架构，通过七层推导、相关性标识和防篡改承诺，为链上金融协议提供可复现且可审查的完整证据链，并验证了其有效性。
AI 中文摘要
混合链上金融协议经常用单独有用但整体不足的证据进行评估：单元测试、交易收据、截图、服务响应或几个匹配的哈希可能被当作完整工作流的证明，即使这些层共享一个生成源或遗漏了关键的金融权威。本文为这类系统开发了一种清单绑定的证据架构。密封的执行清单绑定了声明的系统身份、角色、模式和发布身份。保留七层证据，具有注册的推导关系，并通过共同的关联身份链接。合取式声明提升规则要求来源证明、谓词特定的根条件、阴性对照、可复现打包、历史重放和独立审查，此外还需哈希相等。我们形式化了证据图，证明复制的哈希无法建立独立推导，展示抗碰撞承诺如何使特定篡改可检测，定义恰好一次的金融效应证据，并区分原始历史身份与后来的可复现性证明。注册的本地案例研究在一个接受队列中记录了十二条父级金融交互断言：84个保留的ACTUAL_EVIDENCE位置，两次干净物化且一个字节相同的文件索引，一个由独立验证器接受的确定性严格归档，以及一个绑定到该归档的选定有序重放。FIA-011是合取式的，并保留了准入前过期和账本纪元变更中途位置两个子案例。结果表明，从金融断言到重放绑定包的可审查保管链得以实现，同时保留了观察证据、解释和未来假设之间的区别。
英文摘要
Hybrid on-chain financial protocols are frequently evaluated with evidence that is individually useful but collectively insufficient: a unit test, transaction receipt, screenshot, service response, or several matching hashes may be presented as proof of a complete workflow even when the layers share one generated source or omit the financial authority that matters. This paper develops a manifest-bound evidence architecture for such systems. A sealed execution manifest binds declared system identities, roles, schemas, and release identity. Seven evidence layers are retained with registered derivations and linked by a common correlation identity. A conjunctive claim-promotion rule requires provenance, predicate-specific root conditions, negative controls, reproducible packaging, historical replay, and independent review in addition to hash equality. We formalize the evidence graph, prove that copied hashes cannot establish independent derivation, show how collision-resistant commitments make specified tampering detectable, define exactly-once financial-effect evidence, and distinguish original historical identities from later reproducibility attestations. The registered local case study records twelve parent Financial Interaction Assertions in one accepted cohort: 84 retained ACTUAL_EVIDENCE positions, two clean materializations with one byte-identical file index, a deterministic strict archive accepted by a separate verifier, and a selected ordered replay bound to that archive. FIA-011 is conjunctive and retains both stale-before-admission and book-epoch-change-mid-position subcases. The result demonstrates a reviewable chain of custody from financial assertion to replay-bound package while preserving the difference between observed evidence, interpretation, and future hypotheses.
Comments21 pages, 3 figures. Also available at https://ssrn.com/abstract=7547419
