-
题名全同态加密应用的编码技术综述
- 1
-
-
作者
魏本强
路献辉
王睿达
李智豪
-
机构
中国科学院信息工程研究所网络空间安全防御重点实验室
中国科学院大学网络空间安全学院
-
出处
《密码学报（中英文）》
CSCD
北大核心
2024年第3期521-544,共24页
-
基金
华为技术有限公司资助。
-
文摘
全同态加密允许在不解密的前提下对密文进行任意操作,为数据“可用不可见”的需求提供了绝佳的解决思路.由于效率和安全性原因,全同态加密的明文空间通常被定义在多项式环或者有限域代数结构上.目前实用化的全同态加密方案分为以BGV、BFV和CKKS为代表的第二代和以FHEW、TFHE为代表的第三代全同态加密方案,其中第二代方案的基础计算类型包括代数加法和代数乘法,而第三代方案的核心计算单元是门自举.但是现实应用涉及的数据类型包含整数、浮点数、复数、矩阵、向量等,函数计算类型包括多项式函数和三角、求逆、比较等各种非多项式函数.因此在应用全同态加密时,必须设计高效的消息编码和函数计算编码以适用于实际计算任务,提高整体运行效率.本文系统地总结了目前第二代全同态加密涉及的消息编码,并分析了一些常用函数在不同全同态加密方案下的的同态计算编码策略,最后对卷积神经网络推理和对称加密算法(AES)两个实例给出了具体分析和测试.
-
关键词
全同态加密
消息编码
计算编码
-
Keywords
fully homomorphic encryption
message encoding
computation encoding
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
-
题名BPK模型中的双可重置零知识协议
- 2
-
-
作者
祝维
邓燚
-
机构
中国科学院信息工程研究所网络空间安全防御重点实验室
中国科学院大学网络空间安全学院
-
出处
《密码学报（中英文）》
CSCD
北大核心
2024年第4期807-819,共13页
-
基金
国家自然科学基金(61932019,61772521,61772522)。
-
文摘
零知识协议使得证明者在说服验证者的同时不泄露任何其他知识,重置环境则赋予其中的敌手与使用同一条随机带的诚实方进行任意多项式次交互的能力,而在重置环境中同时达到合理性与零知识性的协议即被称为双可重置协议.本文构造了BPK模型中的14轮重置合理重置(T,ϵ)-零知识协议,相比于先前BPK模型中的双可重置协议(27轮),轮复杂度缩减了将近一半.本文使用近年来新开发的个体化归约技术,首先在BPK模型中构造了3轮的重置合理并发(T,ϵ)-零知识协议,随后根据标准模型中重置合理的类有界重置零知识协议构造了BPK模型中的双可重置协议.
-
关键词
交互证明系统
零知识
双可重置协议
纯公钥模型
-
Keywords
interactive proof system
zero-knowledge
simultaneous resettability
bare public key model
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
