[Resource Topic] 2021/1289: Verifiable Isogeny Walks: Towards an Isogeny-based Postquantum VDF

Welcome to the resource topic for 2021/1289

Verifiable Isogeny Walks: Towards an Isogeny-based Postquantum VDF

Authors: Jorge Chavez-Saab, Francisco Rodríguez Henríquez, Mehdi Tibouchi


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 Fp2 , which may be of independent interest.

ePrint: https://eprint.iacr.org/2021/1289

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .