1 paper
Nicholas Spooner, Max Tromanhauser
An important open question in quantum cryptography is the construction of publicly-verifiable NIZKs for QMA. Classically, one can construct NIZKs for NP in the random oracle model…