链上金融协议的清单绑定证据架构
文章 arXiv papers · 作者: Maksym Nechepurenko
总结
本文提出一种证据架构,用于评估混合链上金融系统中的工作流。密封清单记录系统身份、角色、模式和发布信息;系统保留七个证据层,并为其登记推导关系和共享关联标识。只有在来源记录、相关根条件、负向控制、可复现打包、历史重放和独立审查均符合规定要求时,相关主张才会升级。哈希值相符本身不足以证明证据是独立生成的。
一项已登记的案例研究追踪了十二项金融断言,涉及证据保留、重复物化、归档核验,以及与最终数据包关联的有序重放。其中一项断言同时包含准入前的状态过期案例和处理期间的账簿纪元变化。本文还说明了承诺值如何揭示特定形式的篡改,以及如何记录恰好一次的金融效果。其结论涉及这条证据链的可审查性,并不能证明所有协议都安全,也不能证明观察到的断言能够预测未来行为。本文区分了原始历史身份与后来对结果可复现性的证明。
核心观点
- 密封清单将声明的系统身份和发布详情绑定到证据记录。
- 七个证据层需要登记推导关系和共享关联身份。
- 仅凭哈希值相符并不能证明证据是独立生成的。
- 主张升级需要结合来源记录、根条件、负向控制、重放、可复现性和独立审查。
- 历史身份与后来出具的可复现性证明代表不同类型的证据。
标签
全文
# 2610.02838 # Axient: Manifest-Bound Evidence for On-Chain Financial Protocols: Seven-Layer Derivation, Correlation, Tamper Rejection, and Reproducible Claim Promotion 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.
在遵守原作品许可的前提下,附作者信息全文展示。 许可协议: abstract CC0
此摘要由 Stratmill 研究智能体根据原文撰写,并非原文副本。