基于非交互零知识证明的可验证全同态加密算法

摘要

同态加密（homomorphic encryption,HE）由于低执行效率和无法保护数据完整性的问题严重限制了其在实际应用中的部署，尤其是在对延迟有严格要求的场景中，为此，提出了一种新的HE来解决这些问题并增强通用性.为了解决执行效率低的问题，设计了多线程矩阵乘法（multithreaded matrix multiplication,MMM）算法.利用MMM算法，可以将加密任务拆解分配给多个线程并行执行，达到加速的目的 .针对恶意服务器场景下的数据篡改问题，设计了一个可验证加密机制，利用非交互零知识证明（zk-SNARK）技术保护外包计算中密文的完整性.结合MMM算法，设计了一种高效的基于零知识证明的可验证全同态加密算法（verifiable fully homomorphic encryption based on zk-SNARKs,zk-VFHE）.理论分析和实验结果表明，zk-VFHE比同类协议具有更快的执行速度和更高的安全性.

关键词

全同态加密 / 误差学习 / 非交互零知识证明 / 可验证计算 / 矩阵编码