机构名称：
¥ 3.0
摘要Falcon是NIST六年Quantum加密标准化竞赛的赢家。基于著名的Gentry，Peikert和Vaikuntanathan（GPV）（STOC'08）的全体锤子框架（Falcon）利用NTRU Lattices来实现基于晶格基的方案中最紧凑的签名。其安全性取决于该方案的核心元素高斯采样器的基于RényiDivergence的论点。然而，使用统计距离来争论分布的GPV证明，由于参数选择而无效地应用于猎鹰，导致统计距离的距离为2-34。其他实施驱动的偏离GPV框架进一步使原始证明无效，尽管选择了标准化，但Falcon没有安全证明。这项工作仔细研究了Falcon，并证明了一些少数次要的保守修改允许在随机Oracle模型中对该方案的第一个正式证明。我们分析的核心是GPV框架与RényiDivergence一起使用的适应，以及在此度量下选择参数选择的优化方法。不幸的是，我们的分析表明，尽管我们对Falcon -512和Falcon -1024进行了修改，但对于任何一种方案，我们都没有实现强大的不强制性。对于普通的不强制性，我们能够证明我们对Falcon -512的修改几乎无法满足所要求的120位安全目标，而对于Falcon -1024，我们确认了声称的安全级别。因此，我们建议重新访问猎鹰及其参数。
仔细观察猎鹰 - 密码学EPRINT档案
主要关键词
相关文件推荐
