On Removing Interaction from Quantum Proofs
यह शोधपत्र औपचारिक प्रमाण प्रदान करता है कि जेनेरिक फिएट-शामिर-जैसे कंपाइलर क्वांटम इंटरैक्टिव प्रूफ्स (विशेष रूप से QMA के लिए -प्रोटोकॉल) को क्वांटम रैंडम ओरैकल मॉडल में नॉन-इंटरैक्टिव ज़ीरो-नॉलेज आर्गुमेंट्स में रूपांतरित नहीं कर सकते, क्योंकि उनके अस्तित्व का अर्थ QMA का BQP में पतन होगा।