论文2017/901

状态多客户端可验证计算

Christian Cachin、Esha Ghosh、Dimitrios Papadopoulos和Björn Tackmann

摘要

本文开发了一种密码协议，用于将多个客户端之间的任意状态计算外包给不受信任的服务器，同时保证数据的完整性。客户端只与服务器通信，并且只存储一个简短的验证器，以确保服务器不会作弊。我们的贡献是双重的。首先，我们将Fiore等人（CCS 2016）最近的散列和证明方案扩展到支持不受信任服务器进行任意更新的有状态计算，这种方式可以由客户端进行验证。我们使用这个方案来一般地实例化经过身份验证的数据类型。其次，我们描述了一个基于认证数据类型的多客户端可验证计算协议，并证明它实现了计算版本的fork线性化能力。这是在客户不直接交流的环境中可以实现的最有力的保证；它确保了客户端单独看到的输出的正确性和一致性。