Verifiable Isogeny Walks: Towards an Isogeny-based Postquantum VDF
Verifiable Isogeny Walks: Towards an Isogeny-based Postquantum VDF
复制标题
可验证的同源性行走：迈向基于同源性的后量子 VDF
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Mehdi Tibouchi
中科院分区：
文献类型：
--
作者：
J. Chávez;F. Rodríguez;Mehdi Tibouchi
。在本文中，我们研究了构造后量子安全可验证延迟函数（vdf）的问题，特别是基于超奇异等同构。以前已经提出过基于等基因的VDF结构，但由于验证依赖于配对，它们被量子计算机打破了。我们提出了一种完全不同的方法，使用简洁的非交互参数（snarg），但专门针对等基因设置的算法结构进行了定制，以获得良好的渐近效率。我们获得了一个基于等基因的VDF结构，具有后量子安全性，准对数验证，并且不需要信任设置。作为构建块，我们还构造了F p 2上的超奇异图中的等根行走的非交互参数，这可能是独立的兴趣。
. In this paper, we investigate the problem of constructing postquantum-secure verifiable delay functions (VDFs), particularly based on supersingular isogenies. Isogeny-based VDF constructions have been proposed before, but since verification relies on pairings, they are broken by quantum computers. We propose an entirely different approach using succinct non-interactive arguments (SNARGs), but specifically tailored to the arithmetic structure of the isogeny setting to achieve good asymptotic efficiency. We obtain an isogeny-based VDF construction with postquantum security, quasi-logarithmic verification, and requiring no trusted setup. As a building block, we also construct non-interactive arguments for isogeny walks in the supersingular graph over F p 2 , which may be of independent interest.
DOI：
10.2140/obs.2020.4.39
发表时间：
2020-03
期刊：
ArXiv
影响因子：
--
作者：
D. Bernstein;L. D. Feo;Antonin Leroux;Benjamin A. Smith
通讯作者：
D. Bernstein;L. D. Feo;Antonin Leroux;Benjamin A. Smith