libcrux_ml_kem_ind_cca_unpacked_default_30_68
.public_key = libcrux_ml_kem_ind_cca_unpacked_default_30_68()
return libcrux_ml_kem_ind_cca_unpacked_default_30_68();