Align aws-lc-sys v0.16.0 with AWS-LC 1.26.0 (#417)

* Update to AWS-LC 1.26.0

* Symbols from ubuntu-latest

* Symbols from macos-13-xlarge

* Symbols for aarch64-unknown-linux-gnu

* Symbols for x86_64-unknown-linux-musl

* Symbols for aarch64-unknown-linux-musl

* Symbols for i686-unknown-linux-gnu

* Symbols from macos-12

* Generated headers

* Generated bindings from macos-13-xlarge

* Generated bindings from ubuntu-latest

* Generated bindings for aarch64-unknown-linux-gnu

* Generated bindings for i686-unknown-linux-gnu

* Generated bindings for aarch64-unknown-linux-musl

* Generated bindings for x86_64-unknown-linux-musl

* Generated bindings from macos-12

* Collected source files for x86_64-unknown-linux-musl

* Collected source files from macos-13-xlarge

* Collected source files from ubuntu-latest

* Collected source files from macos-12

* Collected source files for i686-unknown-linux-gnu

* Collected source files for aarch64-unknown-linux-gnu

* Collected source files for aarch64-unknown-linux-musl

---------

Co-authored-by: aws-lc-sys-bindings-generator <[email protected]>

aws-lc-sys/Cargo.toml

@@ -67,4 +67,4 @@ libc = "0.2.121"
 paste = "1.0.11"
 
 [package.metadata.aws-lc-sys]
-commit-hash = "10a389e1adda37889b4ef9186901df15c48846b5"
+commit-hash = "2c03113451b5f84f61c8ed283b289a6db87b3397"

aws-lc-sys/builder/cc_builder/aarch64_apple_darwin.rs

@@ -1,6 +1,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0 OR ISC
-// Tue Apr 23 13:29:48 UTC 2024
+// Thu May  2 21:07:41 UTC 2024
 
 use crate::cc_builder::Library;
 
@@ -85,6 +85,7 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/decrepit/cfb/cfb.c",
         "crypto/decrepit/dh/dh_decrepit.c",
         "crypto/decrepit/evp/evp_do_all.c",
+        "crypto/decrepit/obj/obj_decrepit.c",
         "crypto/decrepit/ripemd/ripemd.c",
         "crypto/decrepit/rsa/rsa_decrepit.c",
         "crypto/decrepit/x509/x509_decrepit.c",
@@ -130,6 +131,8 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/kyber/pqcrystals_kyber_ref_common/fips202.c",
         "crypto/lhash/lhash.c",
         "crypto/mem.c",
+        "crypto/ml_kem/ml_kem.c",
+        "crypto/ml_kem/ml_kem_512_ipd.c",
         "crypto/obj/obj.c",
         "crypto/obj/obj_xref.c",
         "crypto/ocsp/ocsp_asn.c",

aws-lc-sys/builder/cc_builder/aarch64_unknown_linux_gnu.rs

@@ -1,6 +1,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0 OR ISC
-// Tue Apr 23 13:33:24 UTC 2024
+// Thu May  2 21:06:09 UTC 2024
 
 use crate::cc_builder::Library;
 
@@ -85,6 +85,7 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/decrepit/cfb/cfb.c",
         "crypto/decrepit/dh/dh_decrepit.c",
         "crypto/decrepit/evp/evp_do_all.c",
+        "crypto/decrepit/obj/obj_decrepit.c",
         "crypto/decrepit/ripemd/ripemd.c",
         "crypto/decrepit/rsa/rsa_decrepit.c",
         "crypto/decrepit/x509/x509_decrepit.c",
@@ -131,6 +132,8 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/kyber/pqcrystals_kyber_ref_common/fips202.c",
         "crypto/lhash/lhash.c",
         "crypto/mem.c",
+        "crypto/ml_kem/ml_kem.c",
+        "crypto/ml_kem/ml_kem_512_ipd.c",
         "crypto/obj/obj.c",
         "crypto/obj/obj_xref.c",
         "crypto/ocsp/ocsp_asn.c",

aws-lc-sys/builder/cc_builder/aarch64_unknown_linux_musl.rs

@@ -1,6 +1,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0 OR ISC
-// Tue Apr 23 13:34:14 UTC 2024
+// Thu May  2 21:06:33 UTC 2024
 
 use crate::cc_builder::Library;
 
@@ -85,6 +85,7 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/decrepit/cfb/cfb.c",
         "crypto/decrepit/dh/dh_decrepit.c",
         "crypto/decrepit/evp/evp_do_all.c",
+        "crypto/decrepit/obj/obj_decrepit.c",
         "crypto/decrepit/ripemd/ripemd.c",
         "crypto/decrepit/rsa/rsa_decrepit.c",
         "crypto/decrepit/x509/x509_decrepit.c",
@@ -131,6 +132,8 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/kyber/pqcrystals_kyber_ref_common/fips202.c",
         "crypto/lhash/lhash.c",
         "crypto/mem.c",
+        "crypto/ml_kem/ml_kem.c",
+        "crypto/ml_kem/ml_kem_512_ipd.c",
         "crypto/obj/obj.c",
         "crypto/obj/obj_xref.c",
         "crypto/ocsp/ocsp_asn.c",

aws-lc-sys/builder/cc_builder/i686_unknown_linux_gnu.rs

@@ -1,6 +1,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0 OR ISC
-// Tue Apr 23 13:32:58 UTC 2024
+// Thu May  2 21:06:34 UTC 2024
 
 use crate::cc_builder::Library;
 
@@ -85,6 +85,7 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/decrepit/cfb/cfb.c",
         "crypto/decrepit/dh/dh_decrepit.c",
         "crypto/decrepit/evp/evp_do_all.c",
+        "crypto/decrepit/obj/obj_decrepit.c",
         "crypto/decrepit/ripemd/ripemd.c",
         "crypto/decrepit/rsa/rsa_decrepit.c",
         "crypto/decrepit/x509/x509_decrepit.c",
@@ -131,6 +132,8 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/kyber/pqcrystals_kyber_ref_common/fips202.c",
         "crypto/lhash/lhash.c",
         "crypto/mem.c",
+        "crypto/ml_kem/ml_kem.c",
+        "crypto/ml_kem/ml_kem_512_ipd.c",
         "crypto/obj/obj.c",
         "crypto/obj/obj_xref.c",
         "crypto/ocsp/ocsp_asn.c",

aws-lc-sys/builder/cc_builder/x86_64_apple_darwin.rs

@@ -1,6 +1,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0 OR ISC
-// Tue Apr 23 13:31:36 UTC 2024
+// Thu May  2 21:08:58 UTC 2024
 
 use crate::cc_builder::Library;
 
@@ -85,6 +85,7 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/decrepit/cfb/cfb.c",
         "crypto/decrepit/dh/dh_decrepit.c",
         "crypto/decrepit/evp/evp_do_all.c",
+        "crypto/decrepit/obj/obj_decrepit.c",
         "crypto/decrepit/ripemd/ripemd.c",
         "crypto/decrepit/rsa/rsa_decrepit.c",
         "crypto/decrepit/x509/x509_decrepit.c",
@@ -130,6 +131,8 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/kyber/pqcrystals_kyber_ref_common/fips202.c",
         "crypto/lhash/lhash.c",
         "crypto/mem.c",
+        "crypto/ml_kem/ml_kem.c",
+        "crypto/ml_kem/ml_kem_512_ipd.c",
         "crypto/obj/obj.c",
         "crypto/obj/obj_xref.c",
         "crypto/ocsp/ocsp_asn.c",

aws-lc-sys/builder/cc_builder/x86_64_unknown_linux_gnu.rs

@@ -1,6 +1,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0 OR ISC
-// Tue Apr 23 13:29:23 UTC 2024
+// Thu May  2 21:07:44 UTC 2024
 
 use crate::cc_builder::Library;
 
@@ -85,6 +85,7 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/decrepit/cfb/cfb.c",
         "crypto/decrepit/dh/dh_decrepit.c",
         "crypto/decrepit/evp/evp_do_all.c",
+        "crypto/decrepit/obj/obj_decrepit.c",
         "crypto/decrepit/ripemd/ripemd.c",
         "crypto/decrepit/rsa/rsa_decrepit.c",
         "crypto/decrepit/x509/x509_decrepit.c",
@@ -132,6 +133,8 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/kyber/pqcrystals_kyber_ref_common/fips202.c",
         "crypto/lhash/lhash.c",
         "crypto/mem.c",
+        "crypto/ml_kem/ml_kem.c",
+        "crypto/ml_kem/ml_kem_512_ipd.c",
         "crypto/obj/obj.c",
         "crypto/obj/obj_xref.c",
         "crypto/ocsp/ocsp_asn.c",

aws-lc-sys/builder/cc_builder/x86_64_unknown_linux_musl.rs

@@ -1,6 +1,6 @@
 // Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0 OR ISC
-// Tue Apr 23 13:33:04 UTC 2024
+// Thu May  2 21:06:45 UTC 2024
 
 use crate::cc_builder::Library;
 
@@ -85,6 +85,7 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/decrepit/cfb/cfb.c",
         "crypto/decrepit/dh/dh_decrepit.c",
         "crypto/decrepit/evp/evp_do_all.c",
+        "crypto/decrepit/obj/obj_decrepit.c",
         "crypto/decrepit/ripemd/ripemd.c",
         "crypto/decrepit/rsa/rsa_decrepit.c",
         "crypto/decrepit/x509/x509_decrepit.c",
@@ -132,6 +133,8 @@ pub(super) const CRYPTO_LIBRARY: Library = Library {
         "crypto/kyber/pqcrystals_kyber_ref_common/fips202.c",
         "crypto/lhash/lhash.c",
         "crypto/mem.c",
+        "crypto/ml_kem/ml_kem.c",
+        "crypto/ml_kem/ml_kem_512_ipd.c",
         "crypto/obj/obj.c",
         "crypto/obj/obj_xref.c",
         "crypto/ocsp/ocsp_asn.c",

aws-lc-sys/generated-include/openssl/boringssl_prefix_symbols.h

@@ -410,6 +410,7 @@
 #define BN_from_montgomery BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, BN_from_montgomery)
 #define BN_gcd BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, BN_gcd)
 #define BN_generate_prime_ex BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, BN_generate_prime_ex)
+#define BN_get_flags BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, BN_get_flags)
 #define BN_get_rfc3526_prime_1536 BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, BN_get_rfc3526_prime_1536)
 #define BN_get_rfc3526_prime_2048 BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, BN_get_rfc3526_prime_2048)
 #define BN_get_rfc3526_prime_3072 BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, BN_get_rfc3526_prime_3072)
@@ -1054,6 +1055,7 @@
 #define EVP_CIPHER_iv_length BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, EVP_CIPHER_iv_length)
 #define EVP_CIPHER_key_length BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, EVP_CIPHER_key_length)
 #define EVP_CIPHER_mode BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, EVP_CIPHER_mode)
+#define EVP_CIPHER_name BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, EVP_CIPHER_name)
 #define EVP_CIPHER_nid BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, EVP_CIPHER_nid)
 #define EVP_Cipher BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, EVP_Cipher)
 #define EVP_CipherFinal BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, EVP_CipherFinal)
@@ -1505,6 +1507,7 @@
 #define NOTICEREF_free BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, NOTICEREF_free)
 #define NOTICEREF_it BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, NOTICEREF_it)
 #define NOTICEREF_new BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, NOTICEREF_new)
+#define OBJ_NAME_do_all_sorted BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, OBJ_NAME_do_all_sorted)
 #define OBJ_cbs2nid BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, OBJ_cbs2nid)
 #define OBJ_cleanup BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, OBJ_cleanup)
 #define OBJ_cmp BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, OBJ_cmp)
@@ -2608,7 +2611,6 @@
 #define X509V3_EXT_nconf_nid BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509V3_EXT_nconf_nid)
 #define X509V3_EXT_print BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509V3_EXT_print)
 #define X509V3_EXT_print_fp BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509V3_EXT_print_fp)
-#define X509V3_EXT_val_prn BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509V3_EXT_val_prn)
 #define X509V3_NAME_from_section BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509V3_NAME_from_section)
 #define X509V3_add1_i2d BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509V3_add1_i2d)
 #define X509V3_add_standard_extensions BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509V3_add_standard_extensions)
@@ -2713,10 +2715,12 @@
 #define X509_EXTENSION_set_data BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_EXTENSION_set_data)
 #define X509_EXTENSION_set_object BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_EXTENSION_set_object)
 #define X509_INFO_free BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_INFO_free)
+#define X509_LOOKUP_add_dir BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_LOOKUP_add_dir)
 #define X509_LOOKUP_ctrl BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_LOOKUP_ctrl)
 #define X509_LOOKUP_file BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_LOOKUP_file)
 #define X509_LOOKUP_free BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_LOOKUP_free)
 #define X509_LOOKUP_hash_dir BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_LOOKUP_hash_dir)
+#define X509_LOOKUP_load_file BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_LOOKUP_load_file)
 #define X509_NAME_ENTRIES_it BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_NAME_ENTRIES_it)
 #define X509_NAME_ENTRY_create_by_NID BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_NAME_ENTRY_create_by_NID)
 #define X509_NAME_ENTRY_create_by_OBJ BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_NAME_ENTRY_create_by_OBJ)
@@ -2928,7 +2932,6 @@
 #define X509_VERIFY_PARAM_add1_host BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_VERIFY_PARAM_add1_host)
 #define X509_VERIFY_PARAM_clear_flags BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_VERIFY_PARAM_clear_flags)
 #define X509_VERIFY_PARAM_free BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_VERIFY_PARAM_free)
-#define X509_VERIFY_PARAM_get0_peername BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_VERIFY_PARAM_get0_peername)
 #define X509_VERIFY_PARAM_get_depth BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_VERIFY_PARAM_get_depth)
 #define X509_VERIFY_PARAM_get_flags BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_VERIFY_PARAM_get_flags)
 #define X509_VERIFY_PARAM_inherit BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, X509_VERIFY_PARAM_inherit)
@@ -3801,6 +3804,7 @@
 #define kem_kyber1024r3_method BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, kem_kyber1024r3_method)
 #define kem_kyber512r3_method BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, kem_kyber512r3_method)
 #define kem_kyber768r3_method BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, kem_kyber768r3_method)
+#define kem_ml_kem_512_ipd_method BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, kem_ml_kem_512_ipd_method)
 #define kem_pkey_meth BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, kem_pkey_meth)
 #define kyber1024r3_decapsulate BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, kyber1024r3_decapsulate)
 #define kyber1024r3_encapsulate BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, kyber1024r3_encapsulate)
@@ -3813,6 +3817,55 @@
 #define kyber768r3_keypair BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, kyber768r3_keypair)
 #define md4_block_data_order BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, md4_block_data_order)
 #define md5_block_asm_data_order BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, md5_block_asm_data_order)
+#define ml_kem_512_ipd_decapsulate BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ipd_decapsulate)
+#define ml_kem_512_ipd_encapsulate BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ipd_encapsulate)
+#define ml_kem_512_ipd_keypair BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ipd_keypair)
+#define ml_kem_512_ref_barrett_reduce BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_barrett_reduce)
+#define ml_kem_512_ref_basemul BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_basemul)
+#define ml_kem_512_ref_cmov BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_cmov)
+#define ml_kem_512_ref_dec BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_dec)
+#define ml_kem_512_ref_enc BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_enc)
+#define ml_kem_512_ref_enc_derand BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_enc_derand)
+#define ml_kem_512_ref_gen_matrix BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_gen_matrix)
+#define ml_kem_512_ref_indcpa_dec BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_indcpa_dec)
+#define ml_kem_512_ref_indcpa_enc BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_indcpa_enc)
+#define ml_kem_512_ref_indcpa_keypair_derand BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_indcpa_keypair_derand)
+#define ml_kem_512_ref_invntt BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_invntt)
+#define ml_kem_512_ref_keypair BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_keypair)
+#define ml_kem_512_ref_keypair_derand BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_keypair_derand)
+#define ml_kem_512_ref_kyber_shake128_absorb BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_kyber_shake128_absorb)
+#define ml_kem_512_ref_kyber_shake256_prf BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_kyber_shake256_prf)
+#define ml_kem_512_ref_kyber_shake256_rkprf BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_kyber_shake256_rkprf)
+#define ml_kem_512_ref_montgomery_reduce BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_montgomery_reduce)
+#define ml_kem_512_ref_ntt BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_ntt)
+#define ml_kem_512_ref_poly_add BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_add)
+#define ml_kem_512_ref_poly_basemul_montgomery BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_basemul_montgomery)
+#define ml_kem_512_ref_poly_cbd_eta1 BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_cbd_eta1)
+#define ml_kem_512_ref_poly_cbd_eta2 BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_cbd_eta2)
+#define ml_kem_512_ref_poly_compress BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_compress)
+#define ml_kem_512_ref_poly_decompress BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_decompress)
+#define ml_kem_512_ref_poly_frombytes BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_frombytes)
+#define ml_kem_512_ref_poly_frommsg BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_frommsg)
+#define ml_kem_512_ref_poly_getnoise_eta1 BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_getnoise_eta1)
+#define ml_kem_512_ref_poly_getnoise_eta2 BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_getnoise_eta2)
+#define ml_kem_512_ref_poly_invntt_tomont BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_invntt_tomont)
+#define ml_kem_512_ref_poly_ntt BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_ntt)
+#define ml_kem_512_ref_poly_reduce BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_reduce)
+#define ml_kem_512_ref_poly_sub BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_sub)
+#define ml_kem_512_ref_poly_tobytes BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_tobytes)
+#define ml_kem_512_ref_poly_tomont BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_tomont)
+#define ml_kem_512_ref_poly_tomsg BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_poly_tomsg)
+#define ml_kem_512_ref_polyvec_add BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_polyvec_add)
+#define ml_kem_512_ref_polyvec_basemul_acc_montgomery BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_polyvec_basemul_acc_montgomery)
+#define ml_kem_512_ref_polyvec_compress BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_polyvec_compress)
+#define ml_kem_512_ref_polyvec_decompress BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_polyvec_decompress)
+#define ml_kem_512_ref_polyvec_frombytes BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_polyvec_frombytes)
+#define ml_kem_512_ref_polyvec_invntt_tomont BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_polyvec_invntt_tomont)
+#define ml_kem_512_ref_polyvec_ntt BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_polyvec_ntt)
+#define ml_kem_512_ref_polyvec_reduce BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_polyvec_reduce)
+#define ml_kem_512_ref_polyvec_tobytes BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_polyvec_tobytes)
+#define ml_kem_512_ref_verify BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_verify)
+#define ml_kem_512_ref_zetas BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, ml_kem_512_ref_zetas)
 #define o2i_ECPublicKey BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, o2i_ECPublicKey)
 #define pkcs12_iterations_acceptable BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, pkcs12_iterations_acceptable)
 #define pkcs12_key_gen BORINGSSL_ADD_PREFIX(BORINGSSL_PREFIX, pkcs12_key_gen)