面向比特币式加密货币的安全跨链智能合约 BitMLx

智能合约是支配单一加密货币领域内资金的交互式程序。然而，众多现存的加密货币催生了需要同时与多种加密货币进行交互的跨链应用。目前，跨链应用被实现为用作覆盖层以同步不同加密货币中智能合约执行的特定用例 cryptographic 协议。因此，其设计需要 substantial expertise（ substantial 专业知识），以及在复杂 cryptographic 框架中的安全分析。在本工作中，我们提出 BitMLx，这是第一个用于跨链智能合约的领域特定语言，使能够与持有多种比特币式加密货币中资金的多个用户进行交互。我们贡献了一个编译器，用于自动将 BitMLx 合约翻译为每个相关加密货币中的一个合约，以及一种用户策略，用于同步这些合约的执行。我们证明了遵守 prescribed 策略（规定的策略）与 several 合约（多个合约）交互的诚实用户，最终拥有的资金数量至少等于对应 BitMLx 合约的执行结果。最后，但不least（不 least）之一，我们实现了 BitMLx 编译器，并演示了其在设计诸如跨链捐赠或在不同加密货币之间进行贷款等跨链应用示例中的实用性。