[论文解读] Open problems in cross-chain protocols

Thomas Eizinger, Philipp Hoenisch+1 more|arXiv (Cornell University)|Jan 29, 2021

Blockchain Technology Applications and Security被引用 16

一句话总结

本文识别了构建实用跨链协议过程中关键且研究不足的挑战，重点关注钱包设计、区块链监控、测试复杂性以及原子互换中的经济漏洞。文章指出，尽管密码学协议在形式上是安全的，但实际部署中仍面临未解决的工程与经济问题，这些因素在实践中损害了可用性与安全性。

ABSTRACT

Blockchain interoperability is a prominent research field which aims to build bridges between otherwise isolated blockchains. With advances in cryptography, novel protocols are published by academia and applied in different applications and products in the industry. In theory, these innovative protocols provide strong privacy and security guarantees by including formal proofs. However, pure theoretical work often lacks the perspective of real world applications. In this work, we describe a number of hardly researched problems which developers encounter when building cross-chain products.

研究动机与目标

• 识别并阐明尽管理论安全性强，但在实现跨链协议时仍存在的关键未解决工程与经济挑战。
• 突出形式化密码学证明与跨链系统实际部署约束之间的脱节。
• 通过揭示钱包实现、区块链监控、测试以及原子互换经济中的实际问题，激发协作研究。
• 倡导构建可重用、安全的组件与抽象，以实现协议逻辑与底层区块链交互的解耦。

提出的方法

• 通过钱包实现、区块链监控和测试框架的案例研究，分析跨链协议在实际部署中的问题。
• 评估现有工具（如 Bitcoin Dev Kit (bdk) 和 Miniscript）在支持复杂锁定机制和安全钱包抽象方面的局限性。
• 分析四种监控方法（自建节点、托管节点、区块浏览器、p2p）并指出其无法同时满足三个标准：上手简便性、无信任性与高效性。
• 通过建模交易时机与费用暴露，研究原子互换中的经济风险，包括耗尽攻击（draining attack）与美式期权问题（American option problem）。
• 提出协议设计应避免将低层级细节（如时间、费用成本）泄露至应用层，以维持清晰的抽象。
• 建议构建可重用、可组合的组件用于钱包、监控与测试，以加速安全的跨链开发。

实验结果

研究问题

• RQ1 为何现有的跨链交易密码学协议在实践中无法转化为安全且可用的产品？
• RQ2 当前钱包架构在支持复杂、非脚本化的锁定机制（如适配器签名）方面存在哪些根本性局限？
• RQ3 如何在不依赖中心化或有状态中间件的前提下，实现既高效又无信任的区块链监控？
• RQ4 为何跨链协议的测试过程如此缓慢且不稳定？何种架构调整可提升测试的可靠性与性能？
• RQ5 原子互换中的经济激励如何破坏原子性的承诺？何种设计原则可防止此类泄漏？

主要发现

• 由于缺乏通用、安全且可组合的组件来处理复杂支出条件，当前钱包仍需定制化、协议特定的实现。
• Miniscript 及类似工具无法支持现代原原子（如适配器签名），限制了其在下一代跨链协议中的实用性。
• 现有任何区块链监控方法均无法同时满足三个理想属性：上手简便性、无信任性与高效性。
• 由于依赖全节点实例，尤其在并行运行时，跨链协议的测试本质上缓慢且不稳定，导致资源争用与间歇性失败。
• 原子互换在狭窄时间窗口外并非真正原子，导致先动方面临耗尽攻击，后动方面临美式期权问题。
• 原子互换中的经济与操作不对称性会泄露至应用层，使其在不进行重大架构重构的情况下，不适用于做市或交易所平台。