Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
Goldwasser-Sipser shows in fact they are not: whatever you can prove interactively with private coins, you can also prove in a protocol relying only on public coins (possibly at the expense of increasing the number of rounds). So when we talk about interaction, all we need from the verifier is in