On Interactive Proofs with a Laconic Power