15651

Fiat-Shamir in the QROM

APA

(2020). Fiat-Shamir in the QROM. The Simons Institute for the Theory of Computing. https://simons.berkeley.edu/talks/fiat-shamir-qrom

MLA

Fiat-Shamir in the QROM. The Simons Institute for the Theory of Computing, Apr. 28, 2020, https://simons.berkeley.edu/talks/fiat-shamir-qrom

BibTex

          @misc{ scivideos_15651,
            doi = {},
            url = {https://simons.berkeley.edu/talks/fiat-shamir-qrom},
            author = {},
            keywords = {},
            language = {en},
            title = {Fiat-Shamir in the QROM},
            publisher = {The Simons Institute for the Theory of Computing},
            year = {2020},
            month = {apr},
            note = {15651 see, \url{https://scivideos.org/index.php/Simons-Institute/15651}}
          }
          
Mark Zhandry, Princeton University and NTT Research  
Talk number15651
Source RepositorySimons Institute

Abstract

The Fiat-Shamir transformation is used to build secure signatures 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 these limitations. As an application, we show that existing lattice signatures based on Fiat-Shamir are secure without any modifications.