循环或有服务支付
密码学与安全
2023-04-07 v2
摘要
公平交换协议使两个互不信任的参与方能够以任何一方都无法作弊的方式交换数字数据。它们有各种应用，例如数字物品交换，或买方/客户端与卖方/服务器之间数字币与数字服务的交换。在本文中，我们正式定义并提出了一种称为“循环或有服务支付”（Recurring Contingent Service Payment, RC-S-P）的通用基于区块链的构造。它（i）使数字币与可验证服务在客户端与服务器之间安全重复公平交换，同时确保当且仅当服务器交付有效服务时才被支付，且（ii）保障参与方隐私不被泄露。RC-S-P支持任意可验证服务，例如“可检索性证明”（Proofs of Retrievability, PoR）或可验证计算，并产生较低的链上开销。我们的形式化处理和构造首次考虑了客户端或服务器为恶意方的情形。我们还给出了当可验证服务为PoR时RC-S-P的一个具体高效实例化。我们实现了该具体实例化并分析了其成本。当其处理一个4-GB外包文件时，验证者仅需90毫秒即可检验一个证明，证明者与验证者之间的争议在0.1毫秒内解决。在CCS 2017上，提出了两种基于区块链的协议以支持数字币与某类可验证服务（即PoR）的公平交换。在本文中，我们表明这些协议（i）易遭受搭便车攻击，使客户端可在不支付服务器的情况下获得服务，且（ii）不适用于隐私重要的情形，例如服务器的证明状态或买方的文件大小必须对公众保密。RC-S-P同时缓解了上述攻击并保护了参与方隐私。
引用
@article{arxiv.2208.00283,
title = {Recurring Contingent Service Payment},
author = {Aydin Abadi and Steven J. Murdoch and Thomas Zacharias},
journal= {arXiv preprint arXiv:2208.00283},
year = {2023}
}