Zero Knowledge, Zkp, Fiat Shamir, Zero Knowledge Proofs.
heuristic. Hence one usually talks about the Fiat-Shamir heuristic: render a public coin proof non-interactive using a random oracle and provide a security proof in the random oracle model. Afterwards replace the random oracle by a hash function. Heuristically the resulting scheme should be secure.