Classically Verifiable NIZK for QMA with Preprocessing

Re-assign community