On Interactive Proofs With a Laconic Power