面向基于博弈的可验证计算外包的资金分配优化
计算机科学与博弈论
2021-03-12 v1
摘要
本文考虑如下场景：云服务器为多个客户端提交的静态任务集或动态任务序列提供服务。每个客户端希望通过额外雇佣可信第三方（TTP）以一定概率重新计算任务，以保证任务的诚实执行。云服务器为其接受的每个任务缴纳保证金，每个客户端为其提交的每个任务分配预算（包括支付给服务器的报酬以及可能雇佣 TTP 的费用），且每一方用于保证金或任务预算的资金均有限。我们研究如何最优地分配资金以实现三重目标：理性的云服务器诚实地计算每一个任务；服务器的报酬最大化；任务验证的总体延迟最小化。我们应用博弈论来表述优化问题，并针对三种应用场景给出了最优或启发式解。对于每一种解，我们通过严格证明或大量仿真进行分析。据我们所知，这是首项基于博弈论、在单一服务器与多客户端场景下优化可验证计算外包资金分配的工作。
引用
@article{arxiv.2103.06440,
title = {Optimizing Fund Allocation for Game-based Verifiable Computation Outsourcing},
author = {Pinglan Liu and Xiaojuan Ma and Wensheng Zhang},
journal= {arXiv preprint arXiv:2103.06440},
year = {2021}
}