美文网首页
隐私保护技术 同态加密

隐私保护技术 同态加密

作者: jenye_ | 来源:发表于2021-10-05 13:51 被阅读0次

    笔记主要来自于杨强老师的《联邦学习》一书


    安全多方计算
    同态加密
    差分隐私


    同态加密

    同态加密逐渐被认为是在 PPML 中实现安全多方计算的一种可行方法。

    • 定义:同态加密方法 \mathcal {H} 是一种通过对相关密文进行有效操作(不需获知解密密钥),从 而允许在加密内容上进行特定代数运算的加密方法。一个同态加密方法 \mathcal {H} 由一个四元组组成:
      \mathcal{H}=\{ KeyGen, Enc, Dec, Eval \}

    所谓同态就是满足密态下运算和非密态下计算结果相同
    KeyGen 表示密钥生成函数。对于非对称同态加密,一个密钥生成元 g 被输 入 KeyGen,并输出一个密钥对 {pk, sk} = KeyGen(g),其中 pk 表示用于明文加密的公钥(public key),sk 表示用于解密的密钥(secret key)。
    对于对称同态加密,只生成一个密钥 sk = KeyGen(g)。

    Enc 表示加密函数。对于非对称同态加密,一个加密函数以公钥 pk 和明文m 作为输入,并产生一个密文 c = Encpk(m) 作为输出。
    对于对称同态加密,加密过程会使用公共密钥 sk 和明文 m 作为输入,并生成密文 c = Encsk(m)。

    Dec 表示解密函数。对于非对称同态加密和对称同态加密,隐私密钥 sk 和密文 c 被用来作为生成相关明文 m = Decsk(c) 的输入。

    Eval 表示评估函数。评估函数 Eval 将密文 c 和公共密钥 pk (对于非对称同态加密)作为输入,并输出与明文对应的密文。

    Encpk(·) 表示使用 pk 作为加密密钥的加密函数。设 \mathcal{M} 表示明文空间, 且 C 表示密文空间。一个安全密码系统若满足以下条件,则可被称为同态的(homomorphic):
    \forall m_{1}, m_{2} \in \mathcal{M}, \quad \operatorname{Enc}_{\mathrm{pk}}\left(m_{1} \odot_{\mathcal{M}} m_{2}\right) \leftarrow \operatorname{Enc}_{\mathrm{pk}}\left(m_{1}\right) \odot_{\mathcal{C}} \operatorname{Enc}_{\mathrm{pk}}\left(m_{2}\right)

    对于 \mathcal{M} 中的运算符 \odot_{\mathcal {M} }\mathcal {C}中的运算符 \odot_{ \mathcal{C} }\leftarrow符号表示左边项等于或可以直接由右边项计算出来,而不需要任何中间解密。在本书中,我们将同态加密运算符设为[[\cdot]],并且对密文的加法操作和乘法操作按如下方式重载:
    加法:\operatorname{Dec}_{\mathrm{sk}}\left([[u]] \odot_{\mathcal{C}}[[v]]\right)=\operatorname{Dec}_{\mathrm{sk}}([[u+v]])
    标量乘法:\operatorname{Dec}_{\mathrm{sk}}\left([[u]] \odot_{\mathcal{C}}n\right)=\operatorname{Dec}_{\mathrm{sk}}([[u \cdot n]])

    这里不知道是不是书写错了,乘法和加法符号怎么是一样的。

    同态加密的分类

    同态加密方法分为三类:部分同态加密 (Partially Homomorphic Encryption, PHE),些许同态加密 (Somewhat Homomorphic Encryption, SHE) 和全同态加密 (Fully Homomorphic Encryption, FHE)。
    //待补充

    相关文章

      网友评论

          本文标题:隐私保护技术 同态加密

          本文链接:https://www.haomeiwen.com/subject/lukgnltx.html