All Languages in NP Have Very Short Quantum Proofs | IEEE Conference Publication | IEEE Xplore