弗洛里安·伯斯;拉法·德尔皮诺;米歇尔·米内利;威·霍特克 FHE电路隐私几乎是免费的。 （英语） Zbl 1391.94733号 Robshaw，Matthew（编辑）等人，《密码学进展——密码2016》。2016年8月14日至18日在美国加利福尼亚州圣巴巴拉举行的第36届年度国际密码学会议。诉讼程序。第二部分。柏林：施普林格出版社（ISBN 978-3-662-53007-8/pbk；978-3-562-53008-5/电子书）。计算机科学讲座笔记9815，62-89（2016）。 摘要：电路私密性对于全同态加密的许多应用来说是一个重要的性质。以前实现电路隐私的方法依赖于超多项式噪声淹没或自举。在这项工作中，我们基于同态评估中噪声增长的新特征，提出了一种概念上不同的电路隐私方法。特别是，我们表明，用于分支程序的GSW FHE变体已经实现了电路隐私；在标准LWE假设下，这立即产生了具有多项式模噪比的（text{NC}^1）电路的电路专用FHE。我们的分析依赖于离散高斯剩余散列引理的一个变体，该引理表明\（\mathbf{e}^internal\mathbf{G}^{-1}（\mathbf{v}）+small\）噪音不依赖于\（\mathbf{v}\）。我们认为，这一结果具有独立的意义。有关整个系列，请参见[Zbl 1344.94002号]. 引用于11文件 MSC公司： 94A60 密码学 关键词：同态加密;电路隐私;分支程序;噪声淹没;错误学习;重新随机化 软件：HElib（HElib）;FHEW公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Bourse}等人，Lect。注释计算。科学。9815，62-89（2016；Zbl 1391.94733） 全文： 内政部 哈尔 参考文献： [1] Applebaum，B.，Cash，D.，Peikert，C.，Sahai，A.：基于困难学习问题的快速加密原语和循环安全加密。收录：Halevi，S.（编辑）《密码》2009。LNCS，第5677卷，第595-618页。斯普林格，海德堡（2009）·兹比尔1252.94044 ·doi:10.1007/978-3-642-03356-8_35 [2] Agrawal，S.、Gentry，C.、Halevi，S.和Sahai，A.：无限域上的离散高斯剩余散列引理。收录于：Sako，K.，Sarkar，P.（编辑）《2013年亚洲期刊》，第一部分，LNCS，第8269卷，第97-116页。斯普林格，海德堡（2013）·兹比尔1320.94059 ·doi:10.1007/978-3-642-42033-7_6 [3] Alperin-Sheriff，J.，Peikert，C.：具有多项式错误的更快引导。收录于：Garay，J.A.、Gennaro，R.（eds.）《2014年密码》，第一部分，LNCS，第8616卷，第297–314页。斯普林格，海德堡（2014）·Zbl 1336.94034号 ·doi:10.1007/978-3-662-44371-2_17 [4] Aggarwal，D.，Regev，O.：关于格向量离散高斯组合的注释。CoRR，abs/1308.2405（2013） [5] Boneh，D.、Gentry，C.、Gorbunov，S.、Halevi，S.，Nikolaenko，V.、Segev，G.、Vaikuntanathan，V.和Vinayagamurthy，D.：全键-异构加密、算术电路ABE和紧凑的乱码电路。In:Nguyen，P.Q.，Oswald，E.（编辑）EUROCRYPT 2014。LNCS，第8441卷，第533-556页。斯普林格，海德堡（2014）·Zbl 1327.94035号 ·doi:10.1007/978-3-642-55220-5_30 [6] Brakerski，Z.，Gentry，C.，Vaikuntanathan，V.：（水平）无引导的完全同态加密。收录于：Goldwasser，S.（编辑）ITCS 2012，第309-325页。ACM，2012年1月·Zbl 1347.68120号 ·doi:10.1145/2090236.2090262 [7] Brakerski，Z。、Langlois，A。、Peikert，C。、Regev，O。、Stehlé，D。：带错误学习的经典困难。在：Boneh，D.，Roughgarden，T.，Feigenbaum，J.（编辑）第45届ACM STOC，第575–584页。ACM出版社，2013年6月·Zbl 1293.68159号 ·doi:10.1145/2488608.2488680 [8] Brakerski，Z.，Vaikuntanathan，V.：来自（标准）LWE的高效全同态加密。收录于：奥斯特罗夫斯基（Ostrovsky，R.）（ed.）第52届FOCS，第97–106页。IEEE计算机学会出版社，2011年10月·Zbl 1292.94038号 [9] Brakerski，Z.，Vaikuntanathan，V.：来自Ring-LWE的完全同态加密和密钥相关消息的安全性。在：Rogaway，P.（编辑）CRYPTO 2011。LNCS，第6841卷，第505-524页。斯普林格，海德堡（2011）·Zbl 1290.94051号 ·doi:10.1007/978-3-642-22792-9_29 [10] Brakerski，Z.，Vaikuntanathan，V.：基于晶格的FHE与PKE一样安全。收录于：Naor，M.（编辑）ITCS 2014，第1-12页。ACM，2014年1月·Zbl 1364.94528号 ·doi:10.1145/2554797.2554799 [11] Ducas，L.，Micciancio，D.：FHEW：在不到一秒钟的时间内启动同态加密。收录：Oswald，E.，Fischlin，M.（编辑）EUROCRYPT 2015。LNCS，第9056卷，第617-640页。斯普林格，海德堡（2015）·Zbl 1370.94509号 ·doi:10.1007/978-3-662-46800-5_24 [12] Dodis，Y.，Reyzin，L.，Smith，A.：模糊提取器：如何从生物特征和其他噪声数据生成强密钥。摘自：Cachin，C.，Camenisch，J.L.（编辑）EUROCRYPT 2004。LNCS，第3027卷，第523–540页。斯普林格，海德堡（2004）·Zbl 1122.94368号 ·doi:10.1007/978-3-540-24676-3_31 [13] Ducas，L.，Stehlé，D.：FHE密文的卫生处理。收录：Fischlin，M.，Coron，J.-S.（编辑）EUROCRYPT 2016。LNCS，第9665卷，第294–310页。施普林格，海德堡（2016）。doi:10.1007/978-3-662-49890-3_12·Zbl 1384.94057号 ·doi:10.1007/978-3-662-49890-3_12 [14] Gentry，C.：完全同态加密方案。斯坦福大学博士论文（2009年）。http://crypto.stanford.edu/craig ·Zbl 1304.94059号 [15] Gentry，C.，Halevi，S.，Smart，N.P.：AES电路的同态评估。收录：Safavi-Naini，R.，Canetti，R.（编辑）《密码》2012。LNCS，第7417卷，第850-867页。斯普林格，海德堡（2012）·Zbl 1296.94117号 ·doi:10.1007/978-3642-32009-549 [16] Gentry，C.，Halevi，S.，Vaikuntanathan，V.：i-Hop同态加密和可重新随机化的yao电路。收录：Rabin，T.（编辑）《2010年密码》。LNCS，第6223卷，第155-172页。斯普林格，海德堡（2010）·Zbl 1280.94061号 ·doi:10.1007/978-3-642-14623-79 [17] Gentry，C.、Peikert，C.、Vaikuntanathan，V.：硬格子和新密码构造的陷阱门。在：Ladner，R.E.，Dwork，C.（编辑）第40届美国机械工程师学会STOC，第197–206页。ACM出版社，2008年5月·Zbl 1231.68124号 ·数字对象标识代码：10.1145/1374376.1374407 [18] Gentry，C.，Sahai，A.，Waters，B.：基于错误学习的同态加密：概念上更简单，渐近快速，基于属性。收录于：Canetti，R.，Garay，J.A.（编辑）《2013年密码》，第一部分，LNCS，第8042卷，第75-92页。斯普林格，海德堡（2013）·Zbl 1310.94148号 ·doi:10.1007/978-3642-40041-45 [19] Gorbunov，S.，Vaikuntanathan，V.，Wichs，D.：标准格的水平全同态签名。收录：Servedio，R.A.，Rubinfeld，R.（编辑）第47届ACM STOC，第469-477页。ACM出版社，2015年6月·Zbl 1321.94062号 ·doi:10.1145/2746539.2746576 [20] Halevi，S.、Shoup，V.：HElib的引导。收录：Oswald，E.，Fischlin，M.（编辑）EUROCRYPT 2015。LNCS，第9056卷，第641-670页。斯普林格，海德堡（2015）·Zbl 1370.94516号 ·doi:10.1007/978-3-662-46800-5_25 [21] Ishai，Y.，Paskin，A.：评估加密数据上的分支程序。收录：Vadhan，S.P.（编辑）TCC 2007。LNCS，第4392卷，第575-594页。斯普林格，海德堡（2007）·Zbl 1156.94354号 ·doi:10.1007/978-3-540-70936-7_31 [22] Loftus，J.，May，A.，Smart，N.P.，Vercauteren，F.：关于CCA-Secure的同态加密。收录：Miri，A.，Vaudenay，S.（编辑）SAC 2011。LNCS，第7118卷，第55-72页。斯普林格，海德堡（2012）·Zbl 1292.94106号 ·doi:10.1007/978-3642-28496-04 [23] Micciancio，D.，Peikert，C.：格子的陷阱门：更简单、更紧密、更快、更小。In：Pointcheval，D.，Johansson，T.（编辑）EUROCRYPT 2012。LNCS，第7237卷，第700–718页。斯普林格，海德堡（2012）·Zbl 1297.94090号 ·doi:10.1007/978-3642-29011-441 [24] Micciancio，D.，Regev，O.：基于高斯测度的最坏情况到平均情况的减少。收录于：第45届FOCS，第372–381页。IEEE计算机学会出版社，2004年10月·Zbl 1142.68037号 ·doi:10.1109/FOCS.2004.72 [25] Micciancio，D.，Regev，O.：基于高斯测度的最坏情况到平均情况的减少。SIAM J.计算。37(1), 267–302 (2007) ·Zbl 1142.68037号 ·doi:10.1137/S0097539705447360 [26] Ostrovsky，R.，Paskin-Cherniavsky，A.，Paskin-cherniavsvsky，B.：恶意电路私人FHE。收录于：Garay，J.A.、Gennaro，R.（eds.）《2014年密码》，第一部分，LNCS，第8616卷，第536–553页。斯普林格，海德堡（2014）·Zbl 1343.94075号 ·doi:10.1007/978-3-662-44371-2_30 [27] Peikert，C.：格子的高效并行高斯采样器。收录：Rabin，T.（编辑）《2010年密码》。LNCS，第6223卷，第80-97页。斯普林格，海德堡（2010）·Zbl 1280.94091号 ·doi:10.1007/978-3-642-14623-75 [28] Regev，O.：关于格、错误学习、随机线性码和密码学。收录人：Gabow，H.N.，Fagin，R.（编辑）第37届ACM STOC，第84-93页。ACM出版社，2005年5月·Zbl 1192.94106号 ·doi:10.1145/1060590.1060603 [29] Stehlé，D.，Steinfeld，R.：更快的完全同态加密。摘自：Abe，M.（编辑）《2010年亚洲期刊》。LNCS，第6477卷，第377-394页。斯普林格，海德堡（2010）·Zbl 1290.94133号 ·doi:10.1007/978-3-642-17373-8_22 [30] Smart，N.P.，Vercauteren，F.：密钥和密文大小相对较小的完全同态加密。In:Nguyen，P.Q.，Pointcheval，D.（编辑）PKC 2010。LNCS，第6056卷，第420-443页。斯普林格，海德堡（2010）·Zbl 1281.94055号 ·doi:10.1007/978-3642-13013-725 [31] Sander，T.、Young，A.、Yung，M.：NC1的非交互式加密计算。收录于：第40届FOCS，第554-567页。IEEE计算机学会出版社，1999年10月 [32] van Dijk，M.，Gentry，C.，Halevi，S.，Vaikuntanathan，V.：整数上的全同态加密。收录人：Gilbert，H.（编辑）EUROCRYPT 2010。LNCS，第6110卷，第24-43页。斯普林格，海德堡（2010）·Zbl 1279.94130号 ·doi:10.1007/978-3642-13190-52 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。