基于同态映射的密文计算完整性验证方法

摘要

云计算推动了外包计算发展，使得客户端能将数据存储并委托给云服务器进行计算，但会引发隐私泄露与计算结果错误等隐患.现方案用同态加密保护隐私、可验证计算验证结果，但同时使用两者会出现计算与验证空间不适配及验证低效等问题.针对上述问题，本文提出一种基于同态映射的密文计算完整性验证方法——MRinocchio,设计了一种基于同态映射的密文压缩方法，利用同态映射将密文从高维空间映射到低维空间，提高了验证算法的计算效率.此外，本方法还提出了一种基于快速插值的多项式环SNARK验证算法，有效解决了传统验证算法中函数转化成QRP时效率低的问题.本方法对内积计算、一元多项式和多元多项式3种外包计算进行了评估，结果表明在验证效率方面MRinocchio是Rinocchio的6倍左右.

关键词

外包计算 / 同态加密 / 可验证计算 / 快速插值 / 同态映射