Added ciphertext serialization for the verification keys