Jingyue Yu: Towards Malicious Security of Private Coin Honest Verifier Zero Knowledge for NP via Witness Encryption. Inscrypt 2018: 586-606