1 paper
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…