Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
This is a very fine line, and one has to be very careful when threading it. Let us just mention a result by Goldwasser and Tauman Kalai, that shows that there are interactive proofs, which become unsound no matter which hash function we use to replace the random oracle. After seeing the importance