Skip to main content

Revisiting Post-quantum Fiat-Shamir

Author(s): Liu, Qipeng; Zhandry, Mark

To refer to this page use:
Abstract: The Fiat-Shamir transformation is a useful approach to building non-interactive arguments (of knowledge) in the random oracle model. Unfortunately, existing proof techniques are incapable of proving the security of Fiat-Shamir in the quantum setting. The problem stems from (1) the difficulty of quantum rewinding, and (2) the inability of current techniques to adaptively program random oracles in the quantum setting. In this work, we show how to overcome the limitations above in many settings. In particular, we give mild conditions under which Fiat-Shamir is secure in the quantum setting. As an application, we show that existing lattice signatures based on Fiat-Shamir are secure without any modifications.
Publication Date: 2019
Citation: Liu, Qipeng, and Mark Zhandry. "Revisiting Post-quantum Fiat-Shamir." In Annual International Cryptology Conference (2019): pp. 326-355. doi:10.1007/978-3-030-26951-7_12
DOI: 10.1007/978-3-030-26951-7_12
ISSN: 0302-9743
EISSN: 1611-3349
Pages: 326 - 355
Type of Material: Conference Article
Journal/Proceeding Title: Annual International Cryptology Conference
Version: Author's manuscript

Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.