同态加密(CKKS)中的重线性化（Relinearization）

最新推荐文章于 2024-08-12 09:37:48 发布

咸鱼菲菲

最新推荐文章于 2024-08-12 09:37:48 发布

阅读量1.3w

点赞数 4

文章标签：同态加密密码学安全

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/watqw/article/details/122968135

版权

在基于环上的同态加密方案，比如BGV，BFV或者CKKS，在经过乘法同态的时候，往往会导致密文的维度增加。比如由明文 $m_1$ 加密而成的密文 $\textbf{c}_1=(a_0,a_1)$ ，明文 $m_2$ 加密得到的密文为 $\textbf{c}_2=(b_0,b_1)$ ，则 $\textbf{c}_1 \cdot \textbf{c}_2=(a_0b_0,a_0b_1+a_1b_0,a_1b_1)$ ，维度变成了3。为了能高效的计算同态乘法，抑制密文增长，我们需要重线性化。

我们以CKKS为例

假设有密文 $\textbf{c}=(c_0,c_1)$ 和一次乘法后的密文 $\textbf{d}=(d_0,d_1,d_2)$ ，私钥 $\textbf{s}=(1,s)$ ，则对于 $\textbf{c}$ ，解密为 $m+e=c_0+c_1s$ ，对于 $\textbf{d}$ ，解密为 $m+e=d_0+d_1s+d_2s^2$ 。（运算都是模p运算，p为明文空间的模，e为产生的噪声）

为了实现密文的重线性化，我们还需要一个辅助的密钥 $evk=(b,a)$ ，其中 $b=-as+e+ps^2$ 。

则对 $\textbf{d}$ 进行重线性化后的密文 $\textbf{c}\prime=(c_0,c_1)=(d_0,d_1)+\lceil evk \cdot d_2 \cdot p^{-1} \rfloor$ 。

证明如下：

$c_0=d_0+\lceil bd_2p^{-1} \rfloor=d_0+\lceil -asd_2p^{-1}+d_2ep^{-1}+d_2s^2 \rfloor$

$c_1=d_1+\lceil ad_2p^{-1}\rfloor$

$c_0+c_1s=d_0+d_1s+d_2s^2+\lceil d_2ep^{-1} \rfloor$

由于e是噪声，相对于p来说很小，所以 $\lceil d_2ep^{-1} \rfloor$ 在有效解密时为0。故，新的密文是 $\textbf{d}$ 的一个2维密文。

关注

4
点赞
踩
10

收藏

觉得还不错? 一键收藏
0
评论
同态加密(CKKS)中的重线性化（Relinearization）

在基于环上的同态加密方案，比如BGV，BFV或者CKKS，在经过乘法同态的时候，往往会导致密文的维度增加。比如由明文加密而成的密文，明文加密得到的密文为，则，维度变成了3。为了能高效的计算同态乘法，抑制密文增长，我们需要重线性化。我们以BGV为例，BFV和CKKS几乎一样。假设有密文和一次乘法后的密文，私钥，则对于，解密为，对于，解密为。（运算都是模p运算，p为明文空间的模）为了实现密文的重线性化，我们还需要一个辅助的密钥evk...
复制链接

扫一扫

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。