No need to store ciphertext_len