arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1807.01389cs.GT
收藏

具有强效用差距保证的有效有理证明

Efficient Rational Proofs with Strong Utility-Gap Guarantees

Jing Chen, Samuel McCauley, Shikha Singh

摘要:

随着现代计算向更小的设备和强大的云平台发展,越来越多的计算被委托给强大的服务提供商。交互式证明是一种广泛使用的模型,设计有效的协议,可验证的计算委托。理性证明是基于支付的交互式证明。这些报酬旨在激励证明者给出正确的答案。如果证明者误报了答案,那么他们将遭受至少1/u的支付损失,其中u是协议的效用差距。在这项工作中,我们严格描述了超高效的理性证明的能力,也就是说,只需要对数时间和通信进行验证。我们还描述了单轮理性协议的功率,只需要对数空间和随机性进行验证。我们的协议有很强的(即多项式,对数,甚至常数)效用差距。最后,我们展示了合理的协议何时以及如何可以转换为经典的交互式证明的完整性和可靠性保证。

英文摘要:

As modern computing moves towards smaller devices and powerful cloud platforms, more and more computation is being delegated to powerful service providers. Interactive proofs are a widely-used model to design efficient protocols for verifiable computation delegation. Rational proofs are payment-based interactive proofs. The payments are designed to incentivize the provers to give correct answers. If the provers misreport the answer then they incur a payment loss of at least 1/u, where u is the utility gap of the protocol. In this work, we tightly characterize the power of rational proofs that are super efficient, that is, require only logarithmic time and communication for verification. We also characterize the power of single-round rational protocols that require only logarithmic space and randomness for verification. Our protocols have strong (that is, polynomial, logarithmic, and even constant) utility gap. Finally, we show when and how rational protocols can be converted to give the completeness and soundness guarantees of classical interactive proofs.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑