论文2018/489

背叛、不信任和合理性：可验证云计算的智能反收集合同

董昌宇、王毅磊、阿姆贾德·奥尔德韦什、帕特里克·麦考里和艾德·范·穆塞尔

摘要

云计算已成为不可逆转的趋势。同时也迫切需要可验证性，以确保客户端外包给云计算的正确性。现有的可验证计算技术都有很高的开销，因此如果部署在云中，云计算将比本地计算更昂贵。为了以合理的成本实现可验证性，我们利用博弈论并提出了基于智能合约的解决方案。简而言之，一个客户让两个云计算同一个任务，并使用智能合约来刺激云之间的紧张、背叛和不信任，以便理性云不会串通和欺骗。在没有共谋的情况下，可以通过交叉检查两个云的结果来轻松地验证正确性。我们对合同引发的博弈进行了形式化分析，并证明了合同在某些合理假设下是有效的。通过诉诸博弈论和智能合约，我们能够避免繁重的密码协议。客户只需支付两个云即可进行计算，而使用智能合约只需支付少量交易费用。我们还进行了可行性研究，包括在Solidity中实施合同，并在官方以太坊网络上运行这些合同。

注：论文的完整版本。