common random string shared between the prover and the verifier is enough to achieve computational zero-knowledge without requiring interaction
Non-interactive zero-knowledge proof