利用多重线性映射进行多项式求值和矩阵乘法的私有外包
密码学与安全
2013-09-04 v3
摘要
{\em 可验证计算} (VC) 允许计算能力较弱的客户端将函数在多个输入上的求值外包给强大但不可信的服务器。客户端投入大量离线计算并将其函数的编码提供给服务器。服务器返回函数在客户端输入上的求值结果以及一个证明，使得客户端可以用远少于自行求值的努力来验证该求值。我们考虑如何使用执行过程不向服务器泄露任何关于客户端输入或函数信息的{\em 隐私保护} VC 方案来私有地外包计算。我们构建了用于单变量多项式求值和矩阵乘法且具有{\em 输入隐私}的 VC 方案，随后将其扩展以实现{\em 函数隐私}。我们的工具是最近开发的{多重线性映射}。所提出的 VC 方案可用于外包{私有信息检索 (PIR)}。
引用
@article{arxiv.1308.4218,
title = {Private Outsourcing of Polynomial Evaluation and Matrix Multiplication using Multilinear Maps},
author = {Liang Feng Zhang and Rehanehi Safavi-Naini},
journal= {arXiv preprint arXiv:1308.4218},
year = {2013}
}
备注
23 pages, A preliminary version appears in the 12th International Conference on Cryptology and Network Security (CANS 2013)