论文标题

改进代数攻击解决等级解码和缩小性问题的问题

Improvements of Algebraic Attacks for solving the Rank Decoding and MinRank problems

论文作者

Bardet, Magali, Bros, Maxime, Cabarcas, Daniel, Gaborit, Philippe, Perlner, Ray, Smith-Tone, Daniel, Tillich, Jean-Pierre, Verbel, Javier

论文摘要

等级解码(RD)是基于等级加密的主要基础问题。基于此问题和准循环版本,最近提出了非常有效的方案,例如Rollo和RQC提交的内容,这些方案已达到了NIST后量子后竞争的第二轮。已经研究了两种主要方法来解决RD:组合方法和代数。尽管对前者进行了广泛的研究,但Bardet等人最近获得了对后者的更好理解。 (eUrocrypt20)似乎代数攻击通常比组合参数的组合攻击更有效。本文以复杂性和密码分析所需的假设的方式对这种攻击进行了重大改进。我们对Rollo-I-128、192和256的攻击分别在70、86和158中分别具有比特复杂性,将上述先前攻击的攻击与117、144和197相比。此外,与以前的攻击不同,我们的不需要通用的gröbner基础算法,因为它仅需要求解线性系统。对于称为过度确定的情况,这种建模使我们能够直接求解线性系统来避免GRöbner基础计算。对于另一种情况(称为不确定的情况),我们还通过将Ureivski-Johansson建模与通用缩小型实例的新建模相结合,从而改善了先前攻击的结果;后者的建模使我们能够完善Verbel等人论文中缩小的复杂性的分析。 (PQC19)。最后,由于Rollo和RQC的提议参数被我们的新攻击完全打破了,因此我们为Rollo和RQC提供了新参数的示例,使它们对我们的攻击有抵抗力。这些新参数表明,这些系统仍然具有吸引力,而对于Rollo-I的关键大小,仅损失了约50 \%。

Rank Decoding (RD) is the main underlying problem in rank-based cryptography. Based on this problem and quasi-cyclic versions of it, very efficient schemes have been proposed recently, such as those in the ROLLO and RQC submissions, which have reached the second round of the NIST Post-Quantum competition. Two main approaches have been studied to solve RD: combinatorial ones and algebraic ones. While the former has been studied extensively, a better understanding of the latter was recently obtained by Bardet et al. (EUROCRYPT20) where it appeared that algebraic attacks can often be more efficient than combinatorial ones for cryptographic parameters. This paper gives substantial improvements upon this attack in terms both of complexity and of the assumptions required by the cryptanalysis. We present attacks for ROLLO-I-128, 192, and 256 with bit complexity respectively in 70, 86, and 158, to be compared to 117, 144, and 197 for the aforementionned previous attack. Moreover, unlike this previous attack, ours does not need generic Gröbner basis algorithms since it only requires to solve a linear system. For a case called overdetermined, this modeling allows us to avoid Gröbner basis computations by going directly to solving a linear system. For the other case, called underdetermined, we also improve the results from the previous attack by combining the Ourivski-Johansson modeling together with a new modeling for a generic MinRank instance; the latter modeling allows us to refine the analysis of MinRank's complexity given in the paper by Verbel et al. (PQC19). Finally, since the proposed parameters of ROLLO and RQC are completely broken by our new attack, we give examples of new parameters for ROLLO and RQC that make them resistant to our attacks. These new parameters show that these systems remain attractive, with a loss of only about 50\% in terms of key size for ROLLO-I.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源