Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
have no interaction, most likely nothing is gained either. This class is known as Merlin-Arthur (MA) and is conjectured to be not any larger than NP. Even more is true: if we want the zero-knowledge feature, little interaction does not help either. Oded Goldreich and Yair Oren (Definitions and