奎因 swMATH ID: 22639 软件作者： Ran Canetti；本·里瓦；Guy N.罗斯布卢姆。 说明： 提交计算委托。考虑一个希望将计算委托给不受信任的服务器的弱客户端，然后验证结果的正确性。当客户端仅使用单个不受信任的服务器时，当前的技术存在一些缺点，例如客户端或服务器的计算效率低、功能有限或轮复杂度高。我们演示了相对有效的通用解决方案，其中客户端将计算委托给{it多个}服务器，并且只要{it单个}服务器是诚实的，就可以保证确定正确的答案。我们称这种协议为Refered Delegation of Computation（RDoC），并显示：{parindent=0.6cmitem{1.}一种基于任何抗冲突哈希族的对数多轮计算安全协议。在我们对该协议的描述中，我们将计算建模为在图灵机上运行，但该协议可以适用于其他计算模型。我们为X86计算模型提供了一种改进，并为Windows可执行文件提供了一个名为Quin的原型实现。我们描述了Quin的体系结构，并在实时云服务器上对几个参数进行了实验。我们表明该协议是实用的，可以与真实的云服务器一起工作，并且对服务器和客户端都是有效的。项目{2.}适用于任何日志空间统一NC电路的{it1-轮统计安全}协议。相反，在单服务器设置中，所有已知的单轮委托协议在计算上都是可靠的。该协议扩展了{it S.Goldwasser}等人的算法化技术[in:ACM第40届年度计算理论研讨会论文集，STOC 2008。加拿大维多利亚州，2008年5月。纽约州纽约市：ACM。113-122（2008；Zbl 1231.68135）]和{it U.Feige}和{it J.Kilian}[in:STOC'97。第29届ACM计算理论年度研讨会论文集，美国德克萨斯州埃尔帕索，1997年5月4日至6日。纽约州纽约市：ACM。506–516（1999；Zbl 0983.91016）].第}段 主页： http://www.sciencedirect.com/science/article/pii/S089054011300217 关键词： 裁判比赛;可验证计算;计算委托 相关软件： 皮埃姆;闪烁;动态安装 引用于： 2文件 全部的 前5名6位作者引用 1 兰·卡内蒂 1 陈静 1 塞缪尔·麦考利 1 本·里瓦 1 Guy N.罗斯布卢姆。 1 辛格，希哈 连载1篇 1 信息与计算 在2个字段中引用 2 计算机科学（68至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文