Zero-Knowledge Proof Systems for QMA

出版物
2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS)