While the result was originally stated in [1]}, [2]} to have an inverse polynomial soundness gap, we have driven the soundness gap to negligible by standard QMA amplification. Finally, we remark that although the algorithm \(V_\mathsf {FHM}\)  is completely classical, the entire verification procedure is quantum since it involves measuring the quantum state sent by the prover.
