多矩阵可验证计算
密码学与安全
2021-05-03 v1
摘要
近年来,将计算安全外包给云服务器的问题引起了大量关注。Gennaro、Gentry、Parno(Crypto'10)的可验证计算允许客户端以远低于从头执行外包计算的时间来验证服务器的函数计算结果。在可验证计算的多函数模型(Parno、Raykova、Vaikuntanathan;TCC'12)中,函数编码过程与输入准备过程解耦,使得任何客户端均可自由提交其输入上的计算请求,而无需事先生成函数的编码。本文提出一种多矩阵可验证计算方案,支持有限域上矩阵函数的安全外包。我们的方案可外包。当其用于外包 个线性函数时,无论在客户端还是服务器端计算中,该方案均比 Fiore 与 Gennaro(CCS'12)此前已知最优方案快约 倍且通信开销更小。我们还通过详细实现展示了成本节省。
引用
@article{arxiv.2104.14851,
title = {Multi-Matrix Verifiable Computation},
author = {Yan He and Liang Feng Zhang},
journal= {arXiv preprint arXiv:2104.14851},
year = {2021}
}
备注
Cluster Computing-The Journal of Networks, Software Tools and Applications