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

刘泽梅; 吴黎兵; 霍丽娟; 冯佳琪; 李春朔; 刘芹

doi:10.20009/j.cnki.21-1106/TP.2024-0594

小型微型计算机系统 ›› 2025, Vol. 46 ›› Issue (12) : 2982 -2993. DOI: 10.20009/j.cnki.21-1106/TP.2024-0594

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

刘泽梅, 吴黎兵, 霍丽娟, 冯佳琪, 李春朔, 刘芹

作者信息 +

Author information +

文章历史 +

摘要

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