Quantum Rewinding for IOP-Based Succinct Arguments

Alessandro Chiesa, Marcel Dall Agnol, Zijing Di +2

We analyze the post-quantum security of succinct interactive arguments constructed from interactive oracle proofs (IOPs) and vector commitment schemes. We prove that an interactive…