we don't write the ciphertexts in hex'd form anymore, for speed