跳到主要内容

CSI-FiSh:通过类群计算实现高效的基于同构的签名

  • 会议文件
  • 首次在线:
密码学进展——2019年亚洲密码 (2019年亚洲)

摘要

在本文中,我们报道了一种新的记录类群计算方法,该方法对一个具有154位鉴别码的假想二次域进行了计算,超过了以前的130位记录。该类群是基于CSIDH-512同系密码系统的核心,了解类群结构和关系格意味着有效的均匀采样及其元素的规范表示。这两种操作以前都是不可能的,因此我们可以实例化Stolbunov首先绘制的基于isogeny的签名方案。我们遵循De Feo和Galbraith的想法,使用多个公钥和Merkle树进一步优化了该方案。我们还表明,包括二次扭曲可以免费将公钥大小减少一半。针对签名大小进行了优化,我们的实现需要390毫秒来进行签名/验证,最终得到263个字节的签名,代价是使用了大量公钥。对于相同的参数集,这比SeaSign的优化版本快300倍,小3倍以上。对公钥和签名大小的组合进行优化后,总大小为1468字节,这比128位安全级别的任何其他量子后签名方案都要小。

这项工作得到了鲁汶大学研究委员会拨款C14/18/067和STG/17/019的部分支持。Ward Beullens由FWO奖学金资助。本文件日期:2019.09.12。

这是订阅内容的预览,通过机构登录 以检查访问。

访问本章

第章
29.95欧元
价格包括增值税(中国)
  • 以PDF格式提供
  • 在任何设备上读取
  • 即时下载
  • 永远拥有它
电子书
42.79欧元
价格包括增值税(中国)
  • 以EPUB和PDF格式提供
  • 在任何设备上读取
  • 即时下载
  • 永远拥有它
软封面书籍
49.99欧元
价格不含增值税(中国)
  • 小巧轻便
  • 3至5个工作日内发货
  • 全球免费送货-查看信息

税务计算将在结账时完成

购买仅供个人使用

机构认购

工具书类

  1. Babai,L.:关于Lovász的格约简和最近格点问题。组合型6(1), 1–13 (1986)

    第条 数学科学网 谷歌学者 

  2. Beullens,W.:CSI-FiSh:GitHub仓库(2019年)。https://github.com/KULeuven-COSIC/CSI-FiSh网站

  3. Beullens,W.,Preneel,B.:较小UOV公钥的现场提升。收录:Patra,A.,Smart,N.P.(编辑)INDOCRYPT 2017。LNCS,第10698卷,第227-246页。查姆施普林格(2017)。https://doi.org/10.1007/978-3-319-71667-1_12

    第章 谷歌学者 

  4. Biasse,J.-F.:虚二次数域理想类群计算的改进。高级数学。Commun公司。4(2), 141–154 (2010)

    第条 数学科学网 谷歌学者 

  5. Bonnetain,X.,Schrottenloher,A.:淹没CSIDH。Cryptology ePrint Archive,报告2018/537(2018)。https://eprint.iacr.org/2018/537

  6. Castryck,W.,Lange,T.,Martindale,C.,Panny,L.,Renes,J.:CSIDH:一种有效的量子后交换群作用。收件人:Peyrin,T.,Galbraith,S.(eds.)ASIACRYPT 2018。LNCS,第11274卷,第395-427页。查姆施普林格(2018)。https://doi.org/10.1007/978-3-030-03332-3_15

    第章 谷歌学者 

  7. Childs,A.M.,Jao,D.,Soukharev,V.:在量子次指数时间中构建椭圆曲线等值线。数学杂志。加密。8(1) ,1–29(2014年)

    第条 数学科学网 谷歌学者 

  8. Coppersmith,D.:通过块Wiedemann算法求解GF(2)上的齐次线性方程组。数学。计算。62, 333–350 (1994)

    数学科学网 数学 谷歌学者 

  9. Couveignes,J.M.:硬齐次空间。IACR Cryptology ePrint Archive 2006/291(1997)。https://ia.cr/2006/291

  10. De Feo,L.:基于同系密码的数学(2017)。https://defeo.lu/ema2017/poly.pdf

  11. De Feo,L.,Galbraith,S.D.:SeaSign:来自群体行动的紧凑等基因签名。In:Ishai,Y.,Rijmen,V.(编辑)EUROCRYPT 2019。LNCS,第11478卷,第759–789页。查姆施普林格(2019)。https://doi.org/10.1007/978-3-030-17659-4_26

    第章 谷歌学者 

  12. Decru,T.、Panny,L.、Vercauteren,F.:通过改进的拒绝采样实现更快的SeaSign签名。In:Ding,J.,Steinwandt,R.(编辑)PQCrypto 2019。LNCS,第11505卷,第271-285页。查姆施普林格(2019)。https://doi.org/10.1007/978-3-030-25510-7_15

    第章 谷歌学者 

  13. Don,J.,Fehr,S.,Majenz,C.,Schaffner,C.:量子随机预言模型中Fiat Shamir变换的安全性。arXiv预印本arXiv:1902.07556(2019)

  14. Doulgerakis,E.,Laarhoven,T.,de Weger,B.:使用近似Voronoi细胞寻找最接近的晶格矢量。In:Ding,J.,Steinwandt,R.(编辑)PQCrypto 2019。LNCS,第11505卷,第3-22页。查姆施普林格(2019)。https://doi.org/10.1007/978-3-030-25510-7_1

    第章 谷歌学者 

  15. De Feo,L.,Jao,D.,Plót,J.:从超奇异椭圆曲线等基因走向抗量子密码系统。数学杂志。加密。8(3), 209–247 (2014)

    数学科学网 数学 谷歌学者 

  16. Fiat,A.,Shamir,A.:如何证明自己:识别和签名问题的实用解决方案。收录:Odlyzko,A.M.(编辑)《密码》,1986年。LNCS,第263卷,第186-194页。斯普林格,海德堡(1987)。https://doi.org/10.1007/3-540-47721-7_12

    第章 谷歌学者 

  17. Galbraith,S.D.,Petit,C.,Silva,J.:基于超奇异等基因问题的识别协议和签名方案。收录人:Takagi,T.,Peyrin,T.(编辑)《2017年亚洲期刊》。LNCS,第10624卷,第3-33页。查姆施普林格(2017)。https://doi.org/10.1007/978-3-319-70694-8_1

    第章 谷歌学者 

  18. Hafner,J.L.,McCurley,K.S.:计算类群的严格次指数算法。美国数学杂志。Soc公司。2, 837–850 (1989)

    第条 数学科学网 谷歌学者 

  19. Hülsing,A.,Rijneveld,J.,Song,F.:缓解基于哈希签名的多目标攻击。作者:Cheng,C.-M.,Chung,K.-M.,Persiano,G.,Yang,B.-Y.(编辑)PKC 2016。LNCS,第9614卷,第387–416页。斯普林格,海德堡(2016)。https://doi.org/10.1007/978-3-662-49384-7_15

    第章 谷歌学者 

  20. Jacobson,M.J.:将筛选应用于二次类群的计算。数学。计算。68, 859–867 (1999)

    第条 数学科学网 谷歌学者 

  21. Jao,D.等人:尺寸。提交至[29]。http://sike.org

  22. Jao,D.,De Feo,L.:从超奇异椭圆曲线等基因走向抗量子密码系统。收录人:Yang,B.-Y.(编辑)PQCrypto 2011。LNCS,第7071卷,第19-34页。斯普林格,海德堡(2011)。https://doi.org/10.1007/978-3-642-25405-5_2

    第章 数学 谷歌学者 

  23. Kleinjung,T.:二次筛分。数学。计算。85(300), 1861–1873 (2016)

    第条 数学科学网 谷歌学者 

  24. Korkine,A.,Zolotareff,G.:方形形状的Sur les formes quadratiques。数学年刊6(3), 366–389 (1873)

    第条 数学科学网 谷歌学者 

  25. Kuperberg,G.:二面体隐藏子群问题的次指数时间量子算法。SIAM J.计算。35(1), 170–188 (2005)

    第条 数学科学网 谷歌学者 

  26. Kuperberg,G.:二面体隐藏子群问题的另一种亚指数时间量子算法。收录于:TQC,LIPIcs,第22卷,第20-34页。达格斯图尔宫(Schloss Dagstuhl)-莱布尼茨-泽特鲁姆富尔信息(Leibniz-Zentrum fuer Informatik)(2013年)

    谷歌学者 

  27. Laarhoven,T.:筛选最接近的晶格矢量(带预处理)。摘自:Avanzi,R.,Heys,H.(编辑)SAC 2016。LNCS,第10532卷,第523-542页。查姆施普林格(2017)。https://doi.org/10.1007/978-3-319-69453-5_28

    第章 谷歌学者 

  28. Lenstra,A.K.、Lenstra、H.W.、Lovász,L.:有理系数分解多项式。数学年刊261(4), 515–534 (1982)

    第条 数学科学网 谷歌学者 

  29. 国家标准技术研究所。量子密码术后标准化,2016年12月。https://csrc.nist.gov/Projects/Post-Quantum-Cryptography/Post-Quantumer-Cryptography-Standardization(https://csrc.nist.org/Projects)

  30. 佩克特,C.:他在CSIDH上进行了C-sieves测试。加密电子打印档案,2019/725年报告(2019年)。https://eprint.iacr.org/2019/725网址

  31. Rostovtsev,A.,Stolbunov,A.:基于异构体的公钥密码系统。IACR Cryptology ePrint Archive 2006/145(2006)。https://ia.cr/2006/145

  32. Schnorr,C.-P.:多项式时间格基约简算法的层次结构。西奥。计算。科学。53(2–3), 201–224 (1987)

    第条 数学科学网 谷歌学者 

  33. Silverman,J.H.:椭圆曲线的算法。数学研究生课文。施普林格,多德雷赫特(2009)。https://doi.org/10.1007/978-0-387-09494-6

     谷歌学者 

  34. Stolbunov,A.:基于一组等原椭圆曲线上的类群作用构造公钥密码方案。高级数学。通信。4(2), 215–235 (2010)

    第条 数学科学网 谷歌学者 

  35. Stolbunov,A.:基于等基因的密码方案。南洋理工大学博士论文(2012)

    谷歌学者 

  36. Vélu,J.:《Isogénies entre courbes elliptiques》。CR学院。科学。巴黎Ser。答:。273,305–347(1971年)

    数学 谷歌学者 

  37. Wiedemann,D.H.:求解有限域上的稀疏线性方程。IEEE传输。Inf.理论32(1), 54–62 (1986)

    第条 数学科学网 谷歌学者 

  38. Yoo,Y.,Azarderakhsh,R.,Jalali,A.,Jao,D.,Soukharev,V.:基于超奇异等基因的后量子数字签名方案。收录:Kiayias,A.(编辑)FC 2017。LNCS,第10322卷,第163-181页。查姆施普林格(2017)。https://doi.org/10.1007/978-3-319-70972-7_9

    第章 谷歌学者 

下载参考资料

致谢

我们要感谢鲁汶大学电气工程系通过HTCondor框架提供了必要的计算能力。还要感谢Léo Ducas计算关系格的HKZ基并讨论CVP解算器。

作者信息

作者和附属机构

作者

通讯作者

与的通信沃德·贝伦.

编辑器信息

编辑和附属机构

权利和权限

转载和许可

版权信息

©2019国际密码研究协会

关于本论文

检查更新。通过CrossMark验证货币和真实性

引用本文

Beullens,W.,Kleinjung,T.,Vercauteren,F.(2019年)。CSI-FiSh:通过类组计算实现高效的基于异构的签名。收录:Galbraith,S.,Moriai,S.(编辑)《密码学进展——2019年亚洲密码》。2019年亚洲。计算机科学()课堂讲稿,第11921卷。查姆施普林格。https://doi.org/10.1007/978-3-030-34578-5_9

下载引文

  • 内政部:https://doi.org/10.1007/978-3-030-34578-5_9

  • 出版:

  • 发布者名称:查姆施普林格

  • 打印ISBN:978-3-030-34577-8

  • 在线ISBN:978-3-030-34578-5

  • 电子书包:计算机科学计算机科学(R0)

与我们一起发布

政策和道德