Cryptology ePrint Archive: Report 2021/334

Post-Quantum Succinct Arguments

Alessandro Chiesa and Fermi Ma and Nicholas Spooner and Mark Zhandry

Abstract: We prove that Kilian's four-message succinct argument system is post-quantum secure in the standard model when instantiated with any probabilistically checkable proof and any collapsing hash function (which in turn exist based on the post-quantum hardness of Learning with Errors).

At the heart of our proof is a new "measure-and-repair" quantum rewinding procedure that achieves asymptotically optimal knowledge error.

Category / Keywords: foundations / succinct arguments; post-quantum cryptography; quantum rewinding

Date: received 14 Mar 2021

Contact author: alexch at berkeley edu,nspooner@bu edu,fermima@alum mit edu,mzhandry@gmail com

Available format(s): PDF | BibTeX Citation

Version: 20210317:142425 (All versions of this report)

Short URL: ia.cr/2021/334