Classically Verifiable NIZK for QMA with Preprocessing
▶Classically Verifiable NIZK for QMA with Preprocessing — a 2022 Asiacrypt 2022 security conference talk on crypto (4:08 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube