使外包计算的论证系统实用（有时）

作者：Srinath Setty、Richard Mcpherson、Andrew Blumberg和Michael Walfish

下载：纸类（PDF格式）

日期：2012年2月6日

文件类型：简报文件

关联事件：2012年NDSS研讨会

摘要：

众所周知，为了实现无条件可验证的外包计算，概率可检证明（PCP）和论证系统在理论上提供了解决方案，但在实践中却毫无希望。本文描述了一个系统，该系统将该机器的成本降低了20个数量级，从而形成了一个实用性极强的用于外包计算的内置系统。