背叛、不信任与理性：面向可验证云计算的智能反合谋合约
密码学与安全
2017-09-05 v4
摘要
云计算已成为不可逆转的趋势。随之而来的是对可验证性的迫切需求，以确保客户外包至云端的计算正确无误。现有的可验证计算技术均开销高昂，若部署于云端，将使云计算比本地计算更为昂贵。为以合理成本实现可验证性，我们借助博弈论，提出了一种基于智能合约的解决方案。简言之，客户让两个云端计算同一任务，并利用智能合约在云端之间激发紧张、背叛与不信任，从而使理性的云端不会合谋作弊。在无合谋的情况下，通过交叉检查两个云端的计算结果即可轻松完成正确性验证。我们对合约所诱导的博弈进行了形式化分析，并证明在某些合理假设下合约将是有效的。通过诉诸博弈论和智能合约，我们得以避免繁重的密码学协议。客户只需支付两个云端进行明文计算的费用，以及使用智能合约的少量交易费。我们还进行了一项可行性研究，包括在 Solidity 中实现合约并在官方以太坊网络上运行。
引用
@article{arxiv.1708.01171,
title = {Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing},
author = {Changyu Dong and Yilei Wang and Amjad Aldweesh and Patrick McCorry and Aad van Moorsel},
journal= {arXiv preprint arXiv:1708.01171},
year = {2017}
}
备注
Published in ACM CCS 2017, this is the full version with all appendices