Chosen Ciphertext Security from Zero Knowledge Proofs