微软同态加密库SEAL算子功能汇总

Posted 2022-01-03 跨链技术践行者

近来在学习微软的同态加密库SEAL，为了方便学习，特将SEAL库支持的算子功能做个总结。

以SEAL库的src/seal/evaluate.h文件为参考

算子	功能描述	表达式
negate_inplace	对密文求反	c1=-（c1）
negate	对密文求反，求反的结果保持为新的密文	c2=-（c1）
add_inplace	两个密文相加，和保存在第一个密文里	c1=c1+c2
add(const Ciphertext &encrypted1, const Ciphertext &encrypted2, Ciphertext &destination)	两个密文相加，和保存为新的密文	c3=c1+c2
add_many	求密文列表的和，和保存为新的密文	c=c1+c2+…+cn
sub_inplace	两个密文相减，差保存在第一个密文里	c1=c1-c2
sub	两个密文相减，差保存为新的密文	c3=c1-c2
multiply_inplace	两个密文相乘，乘积保存在第一个密文里	c1=c1*c2
multiply	两个密文相乘，乘积保存为新的密文	c3=c1*c2
square_inplace	求密文的平方，结果保存在原来的密文里	c1=(c1)^2
square	求密文的平方，结果保存为新的密文	c2=(c1)^2
relinearize_inplace	重线性化密文，结果保存在原来的密文里
relinearize	重线性化密文，结果保存为新的密文
mod_switch_to_next	将明文\\密文的模切换到下一位，结果保存为新的密文	module(q_1…q_k)=>module(q_1…q_k-1)
mod_switch_to_next_inplace	将明文\\密文的模切换到下一位，结果保存在原来的密文里
mod_switch_to	将明文\\密文的模切换到指定位置，结果保存为新的密文
mod_switch_to_inplace	将明文\\密文的模切换到指定位置，结果保存在原来的密文里
rescale_to_next	将明文\\密文的模切换到下一位，并相应的缩小消息，结果保存为新的密文
rescale_to_next_inplace	将明文\\密文的模切换到下一位，并相应的缩小消息，结果保存在原来的密文里
rescale_to_inplace	将明文\\密文的模切换到指定位置，并相应的缩小消息，结果保存在原来的密文里
rescale_to	将明文\\密文的模切换到指定位置，并相应的缩小消息，结果保存为新的密文
multiply_many	求密文列表的乘积，结果保存为新的密文	c=c1c2…*cn
exponentiate_inplace	对密文求指数，结果保存在原来的密文里	c1=c1^n
exponentiate	对密文求指数，结果保存为新的密文	c2=c1^n
add_plain_inplace	密文和明文相加，结果保存在原来的密文里	c1=c1+p1
add_plain	密文和明文相加，结果保存为新的密文	c2=c1+p1
sub_plain_inplace	密文和明文相减，结果保存在原来的密文里	c1=c1-p1
sub_plain	密文和明文相减，结果保存为新的密文	c2=c1-p1
multiply_plain_inplace	密文和明文相乘，结果保存在原来的密文里	c1=c1*p1
multiply_plain	密文和明文相乘，结果保存为新的密文	c2=c1*p1
transform_to_ntt_inplace	将明文\\密文转换为NTT域，结果保存在原来的密文里
transform_to_ntt	将明文\\密文转换为NTT域，结果保存为新的密文
transform_from_ntt_inplace	从NTT域中恢复密文，结果保存在原来的密文里
transform_from_ntt	从NTT域中恢复密文，结果保存为新的密文
apply_galois_inplace	对密文应用伽罗瓦密钥，结果保存在原来的密文里
apply_galois	对密文应用伽罗瓦密钥，结果保存为新的密文
rotate_rows_inplace	循环旋转明文矩阵行，结果保存在原来的密文里
rotate_rows	循环旋转明文矩阵行，结果保存为新的密文
rotate_columns_inplace	循环旋转明文矩阵列，结果保存在原来的密文里
rotate_columns	循环旋转明文矩阵列，结果保存为新的密文
rotate_vector_inplace	循环旋转明文向量，结果保存在原来的密文里
rotate_vector	循环旋转明文向量，结果保存为新的密文
complex_conjugate_inplace	求共轭复数明文slot值，结果保存在原来的密文里
complex_conjugate	求共轭复数明文slot值，结果保存为新的密文

参考资料

• https://github.com/Microsoft/SEAL