基于科尔莫哥洛夫复杂度和列表译码的存储执行
摘要：外部存储中存在以下问题：用户将其数据$x$存储在远程服务器上，但希望在某个后期时间点对服务器进行审核，以确保其确实存储了$x$。我们的目标是设计一个(随机化的)验证协议，其具有这样的特性：如果服务器以合理高的概率通过验证，那么用户可以确信服务器正在存储$x$。 在这项工作中，我们提出了一种最优解决方案(从用户的存储和通信方面)，同时确保通过验证协议以任何合理的概率通过的服务器，将存储的信息量在小的"additive"因子之内，其中$C(x)$是$x$的纯Kolmogorov复杂度(由于我们无法阻止服务器对$x$进行压缩，$C(x)$是自然的上界)。我们的协议的安全性证明将Kolmogorov复杂度与列表译码相结合，与以往依赖于密码学假设的工作不同，我们允许服务器具有无限的计算能力。据我们所知，这是第一次将Kolmogorov复杂度与列表译码相结合的工作。我们的框架足够通用，可以涵盖用户将$x$分割并存储在多个服务器上的扩展，我们的验证协议可以处理不响应的服务器和串通的服务器。作为副产品，我们还获得了可检索性的证明。最后，我们的结果在"存储强制"方案中也有应用，而这方案本身又在试图更新可能被病毒感染的远程服务器方面应用。
作者：Mohammad Iftekhar Husain, Steve Ko, Atri Rudra, Steve Uurtamo
论文ID：1104.3025
分类：Computational Complexity
分类简称：cs.CC
提交时间：2011-04-18