[Resource Topic] 2022/889: Quantum Rewinding for Many-Round Protocols

Welcome to the resource topic for 2022/889

Title:
Quantum Rewinding for Many-Round Protocols

Authors: Russell W. F. Lai, Giulio Malavolta, and Nicholas Spooner

Abstract:

We investigate the security of succinct arguments against quantum adversaries. Our main result is a proof of knowledge-soundness in the post-quantum setting for a class of multi-round interactive protocols, including those based on the recursive folding technique of Bulletproofs. To prove this result, we devise a new quantum rewinding strategy, the first that allows for rewinding across many rounds. This technique applies to any protocol satisfying natural multi-round generalizations of special soundness and collapsing. For our main result, we show that recent Bulletproofs-like protocols based on lattices satisfy these properties, and are hence sound against quantum adversaries.

ePrint: https://eprint.iacr.org/2022/889

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 .