Succinct Arguments for QMA from Collapsing Hash Functions

We prove the existence of succinct arguments for QMA, assuming only the existence of collapsing hash functions. This is the first scheme that relies only on unstructured "Minicrypt'' assumptions, which are not known to imply public-key encryption. Our main technical contribution is a...