特邀论文：容错且具表达力的跨链交换

跨链交换实现了驻留于不同区块链上不同资产的交换。已有若干针对原子跨链交换的协议被提出。然而，这些协议不具备容错性，即若任何一方偏离，则无任何资产转移可发生。本文提出两种替代协议，用于构建可组合且鲁棒的跨链交换。参与者可同时提出多个交换，并根据自身需求完成其中子集。其需求被表达为谓词，捕获各参与方可接受的收益。因此，由于引入谓词，我们所提协议更具表达力。所提协议具有容错性，因为即便部分参与者偏离，这些谓词仍可被满足，守约方可以完成一组可接受的交换。