11// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
22// SPDX-License-Identifier: Apache-2.0 OR ISC
3+ // Thu Oct 16 20:45:49 UTC 2025
34
45pub ( super ) const CRYPTO_LIBRARY : & [ & str ] = & [
56 "crypto/fipsmodule/ml_kem/mlkem/native/aarch64/src/intt.S" ,
@@ -23,80 +24,82 @@ pub(super) const CRYPTO_LIBRARY: &[&str] = &[
2324 "generated-src/ios-aarch64/crypto/fipsmodule/ghashv8-armx.S" ,
2425 "generated-src/ios-aarch64/crypto/fipsmodule/keccak1600-armv8.S" ,
2526 "generated-src/ios-aarch64/crypto/fipsmodule/md5-armv8.S" ,
26- "generated-src/ios-aarch64/crypto/fipsmodule/p256-armv8-asm.S" ,
2727 "generated-src/ios-aarch64/crypto/fipsmodule/p256_beeu-armv8-asm.S" ,
28+ "generated-src/ios-aarch64/crypto/fipsmodule/p256-armv8-asm.S" ,
2829 "generated-src/ios-aarch64/crypto/fipsmodule/rndr-armv8.S" ,
2930 "generated-src/ios-aarch64/crypto/fipsmodule/sha1-armv8.S" ,
3031 "generated-src/ios-aarch64/crypto/fipsmodule/sha256-armv8.S" ,
3132 "generated-src/ios-aarch64/crypto/fipsmodule/sha512-armv8.S" ,
3233 "generated-src/ios-aarch64/crypto/fipsmodule/vpaes-armv8.S" ,
3334 "generated-src/ios-aarch64/crypto/test/trampoline-armv8.S" ,
34- "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/bignum_madd_n25519.S" ,
3535 "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/bignum_madd_n25519_alt.S" ,
36+ "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/bignum_madd_n25519.S" ,
3637 "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/bignum_mod_n25519.S" ,
3738 "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/bignum_neg_p25519.S" ,
38- "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/curve25519_x25519_byte.S" ,
3939 "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/curve25519_x25519_byte_alt.S" ,
40- "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/curve25519_x25519base_byte .S" ,
40+ "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/curve25519_x25519_byte .S" ,
4141 "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/curve25519_x25519base_byte_alt.S" ,
42- "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/edwards25519_decode .S" ,
42+ "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/curve25519_x25519base_byte .S" ,
4343 "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/edwards25519_decode_alt.S" ,
44+ "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/edwards25519_decode.S" ,
4445 "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/edwards25519_encode.S" ,
45- "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/edwards25519_scalarmulbase.S" ,
4646 "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/edwards25519_scalarmulbase_alt.S" ,
47- "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/edwards25519_scalarmuldouble .S" ,
47+ "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/edwards25519_scalarmulbase .S" ,
4848 "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/edwards25519_scalarmuldouble_alt.S" ,
49+ "third_party/s2n-bignum/s2n-bignum-imported/arm/curve25519/edwards25519_scalarmuldouble.S" ,
4950 "third_party/s2n-bignum/s2n-bignum-imported/arm/fastmul/bignum_emontredc_8n.S" ,
5051 "third_party/s2n-bignum/s2n-bignum-imported/arm/fastmul/bignum_kmul_16_32.S" ,
5152 "third_party/s2n-bignum/s2n-bignum-imported/arm/fastmul/bignum_kmul_32_64.S" ,
5253 "third_party/s2n-bignum/s2n-bignum-imported/arm/fastmul/bignum_ksqr_16_32.S" ,
5354 "third_party/s2n-bignum/s2n-bignum-imported/arm/fastmul/bignum_ksqr_32_64.S" ,
54- "third_party/s2n-bignum/s2n-bignum-imported/arm/generic/bignum_copy_row_from_table.S" ,
5555 "third_party/s2n-bignum/s2n-bignum-imported/arm/generic/bignum_copy_row_from_table_16.S" ,
5656 "third_party/s2n-bignum/s2n-bignum-imported/arm/generic/bignum_copy_row_from_table_32.S" ,
5757 "third_party/s2n-bignum/s2n-bignum-imported/arm/generic/bignum_copy_row_from_table_8n.S" ,
58+ "third_party/s2n-bignum/s2n-bignum-imported/arm/generic/bignum_copy_row_from_table.S" ,
5859 "third_party/s2n-bignum/s2n-bignum-imported/arm/generic/bignum_ge.S" ,
5960 "third_party/s2n-bignum/s2n-bignum-imported/arm/generic/bignum_mul.S" ,
6061 "third_party/s2n-bignum/s2n-bignum-imported/arm/generic/bignum_optsub.S" ,
6162 "third_party/s2n-bignum/s2n-bignum-imported/arm/generic/bignum_sqr.S" ,
6263 "third_party/s2n-bignum/s2n-bignum-imported/arm/p256/bignum_montinv_p256.S" ,
63- "third_party/s2n-bignum/s2n-bignum-imported/arm/p256/p256_montjscalarmul.S" ,
6464 "third_party/s2n-bignum/s2n-bignum-imported/arm/p256/p256_montjscalarmul_alt.S" ,
65+ "third_party/s2n-bignum/s2n-bignum-imported/arm/p256/p256_montjscalarmul.S" ,
6566 "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_add_p384.S" ,
6667 "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_deamont_p384.S" ,
6768 "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_littleendian_6.S" ,
6869 "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_montinv_p384.S" ,
69- "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_montmul_p384.S" ,
7070 "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_montmul_p384_alt.S" ,
71- "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_montsqr_p384 .S" ,
71+ "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_montmul_p384 .S" ,
7272 "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_montsqr_p384_alt.S" ,
73+ "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_montsqr_p384.S" ,
7374 "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_neg_p384.S" ,
7475 "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_nonzero_6.S" ,
7576 "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_sub_p384.S" ,
7677 "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/bignum_tomont_p384.S" ,
77- "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/p384_montjdouble.S" ,
7878 "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/p384_montjdouble_alt.S" ,
79- "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/p384_montjscalarmul .S" ,
79+ "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/p384_montjdouble .S" ,
8080 "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/p384_montjscalarmul_alt.S" ,
81+ "third_party/s2n-bignum/s2n-bignum-imported/arm/p384/p384_montjscalarmul.S" ,
8182 "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/bignum_add_p521.S" ,
8283 "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/bignum_fromlebytes_p521.S" ,
8384 "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/bignum_inv_p521.S" ,
84- "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/bignum_mul_p521.S" ,
8585 "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/bignum_mul_p521_alt.S" ,
86+ "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/bignum_mul_p521.S" ,
8687 "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/bignum_neg_p521.S" ,
87- "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/bignum_sqr_p521.S" ,
8888 "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/bignum_sqr_p521_alt.S" ,
89+ "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/bignum_sqr_p521.S" ,
8990 "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/bignum_sub_p521.S" ,
9091 "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/bignum_tolebytes_p521.S" ,
91- "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/p521_jdouble.S" ,
9292 "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/p521_jdouble_alt.S" ,
93- "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/p521_jscalarmul .S" ,
93+ "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/p521_jdouble .S" ,
9494 "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/p521_jscalarmul_alt.S" ,
95+ "third_party/s2n-bignum/s2n-bignum-imported/arm/p521/p521_jscalarmul.S" ,
96+ "third_party/s2n-bignum/s2n-bignum-imported/arm/sha3/sha3_keccak_f1600_alt.S" ,
97+ "third_party/s2n-bignum/s2n-bignum-imported/arm/sha3/sha3_keccak_f1600.S" ,
98+ "third_party/s2n-bignum/s2n-bignum-imported/arm/sha3/sha3_keccak2_f1600_alt.S" ,
9599 "third_party/s2n-bignum/s2n-bignum-imported/arm/sha3/sha3_keccak2_f1600.S" ,
96100 "third_party/s2n-bignum/s2n-bignum-imported/arm/sha3/sha3_keccak4_f1600_alt.S" ,
97101 "third_party/s2n-bignum/s2n-bignum-imported/arm/sha3/sha3_keccak4_f1600_alt2.S" ,
98- "third_party/s2n-bignum/s2n-bignum-imported/arm/sha3/sha3_keccak_f1600.S" ,
99- "third_party/s2n-bignum/s2n-bignum-imported/arm/sha3/sha3_keccak_f1600_alt.S" ,
102+ "third_party/s2n-bignum/s2n-bignum-imported/arm/sha3/sha3_keccak4_f1600.S" ,
100103 "third_party/s2n-bignum/s2n-bignum-to-be-imported/arm/aes/aes-xts-dec.S" ,
101104 "third_party/s2n-bignum/s2n-bignum-to-be-imported/arm/aes/aes-xts-enc.S" ,
102105] ;
0 commit comments