可认证永恒安全的抗合谋函数加密及更多

本文研究可认证永恒安全的函数加密（FE）以及许多其他密码学原语。可认证永恒安全性大致含义如下：拥有量子密码学对象的接收者可出具证书，表明其已删除该密码学对象且对象中包含的信息已丢失。若证书有效，则即使接收者在删除后具备计算无界能力，安全性仍得以保证。已知许多密码学原语即使在量子世界中也 impossibility（或不太可能）具备信息论安全性。因此，可认证永恒安全性是一种不错的折衷（量子所固有）。本文中，我们定义了 FE、计算-比较混淆、谓词加密（PE）、对称密钥加密（SKE）、公钥加密（PKE）、接收者非承诺加密（RNCE）以及混淆电路的可认证永恒安全版本。我们还给出以下构造：- 从不可区分混淆与单向函数出发，构造适用于所有多项式规模电路的自适应可认证永恒安全抗合谋公钥 FE。- 从标准 PKE 出发，构造适用于 NC1 电路的自适应可认证永恒安全有界抗合谋公钥 FE。- 从标准全同态加密与标准计算-比较混淆出发，构造可认证永恒安全的计算-比较混淆。- 从标准自适应（或选择性）安全基于属性加密与可认证永恒安全计算-比较混淆出发，构造自适应（或选择性）可认证永恒安全 PE。- 分别从标准 SKE 与 PKE 出发，构造可认证永恒安全 SKE 与 PKE。- 从标准 PKE 出发，构造可认证永恒安全 RNCE。- 从标准 SKE 出发，构造可认证永恒安全混淆电路。