具有成功保证的跨链支付协议
分布式、并行与集群计算
2019-12-11 v1 计算机科学中的逻辑
摘要
本文研究跨链支付问题，即不同托管方（由银行或区块链智能合约实现）的客户在不互信的情况下成功转移数字资产。在此工作之前，跨链支付问题并不要求这种成功性或任何形式的可进展性。我们引入了一种称为异步定时自动机网络（ANTA）的新规约形式体系来形式化此类协议。我们提出了首个跨链支付协议，其保证在有限时间内终止，并能在存在时钟偏移的情况下正确工作。随后我们证明，在不假设同步（即每条消息保证在已知时间内到达）的意义下，该问题不可解。我们还给出了一个协议，可在无同步甚至存在拜占庭故障的情况下，解决该跨链支付问题的一种最终终止变体。
引用
@article{arxiv.1912.04513,
title = {Cross-Chain Payment Protocols with Success Guarantees},
author = {Rob van Glabbeek and Vincent Gramoli and Pierre Tholoniat},
journal= {arXiv preprint arXiv:1912.04513},
year = {2019}
}