Quantum Interactive Oracle Proofs. - Baocheng Sun; Thomas Vidick (TCC (3), 2025)