pq_crypto 0.6.2 → 0.6.3

data/ext/pqcrypto/vendor/mlkem-native/mlkem/mlkem_native.h

@@ -112,13 +112,13 @@
 /****************************** Error codes ***********************************/
 
 /* Generic failure condition */
-#define MLK_ERR_FAIL -1
+#define MLK_ERR_FAIL (-1)
 /* An allocation failed. This can only happen if MLK_CONFIG_CUSTOM_ALLOC_FREE
  * is defined and the provided MLK_CUSTOM_ALLOC can fail. */
-#define MLK_ERR_OUT_OF_MEMORY -2
+#define MLK_ERR_OUT_OF_MEMORY (-2)
 /* An rng failure occured. Might be due to insufficient entropy or
  * system misconfiguration. */
-#define MLK_ERR_RNG_FAIL -3
+#define MLK_ERR_RNG_FAIL (-3)
 
 /****************************** Function API **********************************/
 
@@ -170,7 +170,7 @@
 #define MLK_API_NAMESPACE(sym) \
   MLK_API_CONCAT_UNDERSCORE(MLK_CONFIG_API_NAMESPACE_PREFIX, sym)
 
-#if defined(__GNUC__) || defined(clang)
+#if defined(__GNUC__) || defined(__clang__)
 #define MLK_API_MUST_CHECK_RETURN_VALUE __attribute__((warn_unused_result))
 #else
 #define MLK_API_MUST_CHECK_RETURN_VALUE
@@ -191,28 +191,26 @@ extern "C"
 {
 #endif
 
-/*************************************************
- * Name:        crypto_kem_keypair_derand
- *
- * Description: Generates public and private key
- *              for CCA-secure ML-KEM key encapsulation mechanism
- *
- * Arguments:   - uint8_t pk[]: pointer to output public key, an array of
- *                 length MLKEM{512,768,1024}_PUBLICKEYBYTES bytes.
- *              - uint8_t sk[]: pointer to output private key, an array of
- *                  of MLKEM{512,768,1024}_SECRETKEYBYTES bytes.
- *              - uint8_t *coins: pointer to input randomness, an array of
- *                  2*MLKEM_SYMBYTES uniformly random bytes.
- *
- * Returns:     - 0: On success
- *              - MLK_ERR_FAIL: If MLK_CONFIG_KEYGEN_PCT is enabled and the
- *                  PCT failed.
- *              - MLK_ERR_OUT_OF_MEMORY: If MLK_CONFIG_CUSTOM_ALLOC_FREE is
- *                  used and an allocation via MLK_CUSTOM_ALLOC returned NULL.
- *
- * Specification: Implements @[FIPS203, Algorithm 16, ML-KEM.KeyGen_Internal]
- *
- **************************************************/
+/**
+ * Generate a public/private keypair for the ML-KEM key encapsulation mechanism.
+ *
+ * @spec{Implements @[FIPS203, Algorithm 16, ML-KEM.KeyGen_Internal].}
+ *
+ * @param[out] pk      Output public key, an array of
+ *                     MLKEM{512,768,1024}_PUBLICKEYBYTES bytes.
+ * @param[out] sk      Output private key, an array of
+ *                     MLKEM{512,768,1024}_SECRETKEYBYTES bytes.
+ * @param[in]  coins   Input randomness, an array of 2*MLKEM_SYMBYTES uniformly
+ *                     random bytes.
+ * @param      context Application context. Only present when
+ *                     MLK_CONFIG_CONTEXT_PARAMETER is defined; type set by
+ *                     MLK_CONFIG_CONTEXT_PARAMETER_TYPE.
+ *
+ * @retval 0                     Success.
+ * @retval MLK_ERR_FAIL          MLK_CONFIG_KEYGEN_PCT enabled and PCT failed.
+ * @retval MLK_ERR_OUT_OF_MEMORY MLK_CONFIG_CUSTOM_ALLOC_FREE was used and
+ *                               MLK_CUSTOM_ALLOC returned NULL.
+ */
 MLK_API_QUALIFIER
 MLK_API_MUST_CHECK_RETURN_VALUE
 int MLK_API_NAMESPACE(keypair_derand)(
@@ -227,27 +225,25 @@ int MLK_API_NAMESPACE(keypair_derand)(
 
 
 #if !defined(MLK_CONFIG_NO_RANDOMIZED_API)
-/*************************************************
- * Name:        crypto_kem_keypair
- *
- * Description: Generates public and private key
- *              for CCA-secure ML-KEM key encapsulation mechanism
- *
- * Arguments:   - uint8_t *pk: pointer to output public key, an array of
- *                 MLKEM{512,768,1024}_PUBLICKEYBYTES bytes.
- *              - uint8_t *sk: pointer to output private key, an array of
- *                 MLKEM{512,768,1024}_SECRETKEYBYTES bytes.
- *
- * Returns:     - 0: On success
- *              - MLK_ERR_FAIL: If MLK_CONFIG_KEYGEN_PCT is enabled and the
- *                  PCT failed.
- *              - MLK_ERR_OUT_OF_MEMORY: If MLK_CONFIG_CUSTOM_ALLOC_FREE is
- *                  used and an allocation via MLK_CUSTOM_ALLOC returned NULL.
- *              - MLK_ERR_RNG_FAIL: Random number generation failed.
- *
- * Specification: Implements @[FIPS203, Algorithm 19, ML-KEM.KeyGen]
- *
- **************************************************/
+/**
+ * Generate a public/private keypair for the ML-KEM key encapsulation mechanism.
+ *
+ * @spec{Implements @[FIPS203, Algorithm 19, ML-KEM.KeyGen].}
+ *
+ * @param[out] pk      Output public key, an array of
+ *                     MLKEM{512,768,1024}_PUBLICKEYBYTES bytes.
+ * @param[out] sk      Output private key, an array of
+ *                     MLKEM{512,768,1024}_SECRETKEYBYTES bytes.
+ * @param      context Application context. Only present when
+ *                     MLK_CONFIG_CONTEXT_PARAMETER is defined; type set by
+ *                     MLK_CONFIG_CONTEXT_PARAMETER_TYPE.
+ *
+ * @retval 0                     Success.
+ * @retval MLK_ERR_FAIL          MLK_CONFIG_KEYGEN_PCT enabled and PCT failed.
+ * @retval MLK_ERR_OUT_OF_MEMORY MLK_CONFIG_CUSTOM_ALLOC_FREE was used and
+ *                               MLK_CUSTOM_ALLOC returned NULL.
+ * @retval MLK_ERR_RNG_FAIL      Random number generation failed.
+ */
 MLK_API_QUALIFIER
 MLK_API_MUST_CHECK_RETURN_VALUE
 int MLK_API_NAMESPACE(keypair)(
@@ -260,30 +256,27 @@ int MLK_API_NAMESPACE(keypair)(
 );
 #endif /* !MLK_CONFIG_NO_RANDOMIZED_API */
 
-/*************************************************
- * Name:        crypto_kem_enc_derand
- *
- * Description: Generates cipher text and shared
- *              secret for given public key
- *
- * Arguments:   - uint8_t *ct: pointer to output cipher text, an array of
- *                 MLKEM{512,768,1024}_CIPHERTEXTBYTES bytes.
- *              - uint8_t *ss: pointer to output shared secret, an array of
- *                 MLKEM_BYTES bytes.
- *              - const uint8_t *pk: pointer to input public key, an array of
- *                 MLKEM{512,768,1024}_PUBLICKEYBYTES bytes.
- *              - const uint8_t *coins: pointer to input randomness, an array of
- *                 MLKEM_SYMBYTES bytes.
- *
- * Returns: - 0 on success
- *          - MLK_ERR_FAIL: If the 'modulus check' @[FIPS203, Section 7.2]
- *              for the public key fails.
- *          - MLK_ERR_OUT_OF_MEMORY: If MLK_CONFIG_CUSTOM_ALLOC_FREE is
- *              used and an allocation via MLK_CUSTOM_ALLOC returned NULL.
- *
- * Specification: Implements @[FIPS203, Algorithm 17, ML-KEM.Encaps_Internal]
- *
- **************************************************/
+/**
+ * Generate ciphertext and shared secret for a given public key.
+ *
+ * @spec{Implements @[FIPS203, Algorithm 17, ML-KEM.Encaps_Internal].}
+ *
+ * @param[out] ct      Output ciphertext, an array of
+ *                     MLKEM{512,768,1024}_CIPHERTEXTBYTES bytes.
+ * @param[out] ss      Output shared secret, an array of MLKEM_BYTES bytes.
+ * @param[in]  pk      Input public key, an array of
+ *                     MLKEM{512,768,1024}_PUBLICKEYBYTES bytes.
+ * @param[in]  coins   Input randomness, an array of MLKEM_SYMBYTES bytes.
+ * @param      context Application context. Only present when
+ *                     MLK_CONFIG_CONTEXT_PARAMETER is defined; type set by
+ *                     MLK_CONFIG_CONTEXT_PARAMETER_TYPE.
+ *
+ * @retval 0                     Success.
+ * @retval MLK_ERR_FAIL          The 'modulus check' @[FIPS203, Section 7.2]
+ *                               for the public key failed.
+ * @retval MLK_ERR_OUT_OF_MEMORY MLK_CONFIG_CUSTOM_ALLOC_FREE was used and
+ *                               MLK_CUSTOM_ALLOC returned NULL.
+ */
 MLK_API_QUALIFIER
 MLK_API_MUST_CHECK_RETURN_VALUE
 int MLK_API_NAMESPACE(enc_derand)(
@@ -298,29 +291,27 @@ int MLK_API_NAMESPACE(enc_derand)(
 );
 
 #if !defined(MLK_CONFIG_NO_RANDOMIZED_API)
-/*************************************************
- * Name:        crypto_kem_enc
- *
- * Description: Generates cipher text and shared
- *              secret for given public key
- *
- * Arguments:   - uint8_t *ct: pointer to output cipher text, an array of
- *                 MLKEM{512,768,1024}_CIPHERTEXTBYTES bytes.
- *              - uint8_t *ss: pointer to output shared secret, an array of
- *                 MLKEM_BYTES bytes.
- *              - const uint8_t *pk: pointer to input public key, an array of
- *                 MLKEM{512,768,1024}_PUBLICKEYBYTES bytes.
- *
- * Returns: - 0 on success
- *          - MLK_ERR_FAIL: If the 'modulus check' @[FIPS203, Section 7.2]
- *              for the public key fails.
- *          - MLK_ERR_OUT_OF_MEMORY: If MLK_CONFIG_CUSTOM_ALLOC_FREE is
- *              used and an allocation via MLK_CUSTOM_ALLOC returned NULL.
- *          - MLK_ERR_RNG_FAIL: Random number generation failed.
- *
- * Specification: Implements @[FIPS203, Algorithm 20, ML-KEM.Encaps]
- *
- **************************************************/
+/**
+ * Generate ciphertext and shared secret for a given public key.
+ *
+ * @spec{Implements @[FIPS203, Algorithm 20, ML-KEM.Encaps].}
+ *
+ * @param[out] ct      Output ciphertext, an array of
+ *                     MLKEM{512,768,1024}_CIPHERTEXTBYTES bytes.
+ * @param[out] ss      Output shared secret, an array of MLKEM_BYTES bytes.
+ * @param[in]  pk      Input public key, an array of
+ *                     MLKEM{512,768,1024}_PUBLICKEYBYTES bytes.
+ * @param      context Application context. Only present when
+ *                     MLK_CONFIG_CONTEXT_PARAMETER is defined; type set by
+ *                     MLK_CONFIG_CONTEXT_PARAMETER_TYPE.
+ *
+ * @retval 0                     Success.
+ * @retval MLK_ERR_FAIL          The 'modulus check' @[FIPS203, Section 7.2]
+ *                               for the public key failed.
+ * @retval MLK_ERR_OUT_OF_MEMORY MLK_CONFIG_CUSTOM_ALLOC_FREE was used and
+ *                               MLK_CUSTOM_ALLOC returned NULL.
+ * @retval MLK_ERR_RNG_FAIL      Random number generation failed.
+ */
 MLK_API_QUALIFIER
 MLK_API_MUST_CHECK_RETURN_VALUE
 int MLK_API_NAMESPACE(enc)(
@@ -334,28 +325,26 @@ int MLK_API_NAMESPACE(enc)(
 );
 #endif /* !MLK_CONFIG_NO_RANDOMIZED_API */
 
-/*************************************************
- * Name:        crypto_kem_dec
- *
- * Description: Generates shared secret for given
- *              cipher text and private key
- *
- * Arguments:   - uint8_t *ss: pointer to output shared secret, an array of
- *                 MLKEM_BYTES bytes.
- *              - const uint8_t *ct: pointer to input cipher text, an array of
- *                 MLKEM{512,768,1024}_CIPHERTEXTBYTES bytes.
- *              - const uint8_t *sk: pointer to input private key, an array of
- *                 MLKEM{512,768,1024}_SECRETKEYBYTES bytes.
- *
- * Returns: - 0 on success
- *          - MLK_ERR_FAIL: If the 'hash check' @[FIPS203, Section 7.3]
- *              for the secret key fails.
- *          - MLK_ERR_OUT_OF_MEMORY: If MLK_CONFIG_CUSTOM_ALLOC_FREE is
- *              used and an allocation via MLK_CUSTOM_ALLOC returned NULL.
- *
- * Specification: Implements @[FIPS203, Algorithm 21, ML-KEM.Decaps]
- *
- **************************************************/
+/**
+ * Generate shared secret for a given ciphertext and private key.
+ *
+ * @spec{Implements @[FIPS203, Algorithm 21, ML-KEM.Decaps].}
+ *
+ * @param[out] ss      Output shared secret, an array of MLKEM_BYTES bytes.
+ * @param[in]  ct      Input ciphertext, an array of
+ *                     MLKEM{512,768,1024}_CIPHERTEXTBYTES bytes.
+ * @param[in]  sk      Input private key, an array of
+ *                     MLKEM{512,768,1024}_SECRETKEYBYTES bytes.
+ * @param      context Application context. Only present when
+ *                     MLK_CONFIG_CONTEXT_PARAMETER is defined; type set by
+ *                     MLK_CONFIG_CONTEXT_PARAMETER_TYPE.
+ *
+ * @retval 0                     Success.
+ * @retval MLK_ERR_FAIL          The 'hash check' @[FIPS203, Section 7.3]
+ *                               for the secret key failed.
+ * @retval MLK_ERR_OUT_OF_MEMORY MLK_CONFIG_CUSTOM_ALLOC_FREE was used and
+ *                               MLK_CUSTOM_ALLOC returned NULL.
+ */
 MLK_API_QUALIFIER
 MLK_API_MUST_CHECK_RETURN_VALUE
 int MLK_API_NAMESPACE(dec)(
@@ -369,23 +358,23 @@ int MLK_API_NAMESPACE(dec)(
 );
 
 
-/*************************************************
- * Name:        crypto_kem_check_pk
+/**
+ * Implements modulus check mandated by FIPS 203, i.e., ensures that
+ * coefficients are in [0,q-1].
  *
- * Description: Implements modulus check mandated by FIPS 203,
- *              i.e., ensures that coefficients are in [0,q-1].
+ * @spec{Implements @[FIPS203, Section 7.2, 'modulus check'].}
  *
- * Arguments:   - const uint8_t *pk: pointer to input public key, an array of
- *                 MLKEM{512,768,1024}_PUBLICKEYBYTES bytes.
+ * @param[in] pk      Input public key, an array of
+ *                    MLKEM{512,768,1024}_PUBLICKEYBYTES bytes.
+ * @param     context Application context. Only present when
+ *                    MLK_CONFIG_CONTEXT_PARAMETER is defined; type set by
+ *                    MLK_CONFIG_CONTEXT_PARAMETER_TYPE.
  *
- * Returns: - 0 on success
- *          - MLK_ERR_FAIL: If the modulus check failed.
- *          - MLK_ERR_OUT_OF_MEMORY: If MLK_CONFIG_CUSTOM_ALLOC_FREE is
- *              used and an allocation via MLK_CUSTOM_ALLOC returned NULL.
- *
- * Specification: Implements @[FIPS203, Section 7.2, 'modulus check']
- *
- **************************************************/
+ * @retval 0                     Success.
+ * @retval MLK_ERR_FAIL          Modulus check failed.
+ * @retval MLK_ERR_OUT_OF_MEMORY MLK_CONFIG_CUSTOM_ALLOC_FREE was used and
+ *                               MLK_CUSTOM_ALLOC returned NULL.
+ */
 MLK_API_QUALIFIER
 MLK_API_MUST_CHECK_RETURN_VALUE
 int MLK_API_NAMESPACE(check_pk)(
@@ -396,24 +385,23 @@ int MLK_API_NAMESPACE(check_pk)(
 #endif
 );
 
-/*************************************************
- * Name:        crypto_kem_check_sk
- *
- * Description: Implements public key hash check mandated by FIPS 203,
- *              i.e., ensures that
- *              sk[768𝑘+32 ∶ 768𝑘+64] = H(pk)= H(sk[384𝑘 : 768𝑘+32])
- *
- * Arguments:   - const uint8_t *sk: pointer to input private key, an array of
- *                 MLKEM{512,768,1024}_SECRETKEYBYTES bytes.
+/**
+ * Implements public key hash check mandated by FIPS 203, i.e., ensures that
+ * sk[768𝑘+32 ∶ 768𝑘+64] = H(pk) = H(sk[384𝑘 : 768𝑘+32]).
  *
- * Returns: - 0 on success
- *          - MLK_ERR_FAIL: If the public key hash check failed.
- *          - MLK_ERR_OUT_OF_MEMORY: If MLK_CONFIG_CUSTOM_ALLOC_FREE is
- *              used and an allocation via MLK_CUSTOM_ALLOC returned NULL.
+ * @spec{Implements @[FIPS203, Section 7.3, 'hash check'].}
  *
- * Specification: Implements @[FIPS203, Section 7.3, 'hash check']
+ * @param[in] sk      Input private key, an array of
+ *                    MLKEM{512,768,1024}_SECRETKEYBYTES bytes.
+ * @param     context Application context. Only present when
+ *                    MLK_CONFIG_CONTEXT_PARAMETER is defined; type set by
+ *                    MLK_CONFIG_CONTEXT_PARAMETER_TYPE.
  *
- **************************************************/
+ * @retval 0                     Success.
+ * @retval MLK_ERR_FAIL          Public key hash check failed.
+ * @retval MLK_ERR_OUT_OF_MEMORY MLK_CONFIG_CUSTOM_ALLOC_FREE was used and
+ *                               MLK_CUSTOM_ALLOC returned NULL.
+ */
 MLK_API_QUALIFIER
 MLK_API_MUST_CHECK_RETURN_VALUE
 int MLK_API_NAMESPACE(check_sk)(
@@ -465,7 +453,6 @@ int MLK_API_NAMESPACE(check_sk)(
 #undef MLK_API_NAMESPACE
 #undef MLK_API_MUST_CHECK_RETURN_VALUE
 #undef MLK_API_QUALIFIER
-#undef MLK_API_LEGACY_CONFIG
 
 #endif /* MLK_CONFIG_API_NO_SUPERCOP */
 #endif /* !MLK_CONFIG_API_CONSTANTS_ONLY */
@@ -535,4 +522,6 @@ int MLK_API_NAMESPACE(check_sk)(
   MLK_MAX3_(MLK_TOTAL_ALLOC_1024_KEYPAIR, MLK_TOTAL_ALLOC_1024_ENCAPS, \
             MLK_TOTAL_ALLOC_1024_DECAPS)
 
+#undef MLK_API_LEGACY_CONFIG
+
 #endif /* !MLK_H */

data/ext/pqcrypto/vendor/mlkem-native/mlkem/mlkem_native_asm.S

@@ -60,53 +60,59 @@
 
 #if defined(MLK_CONFIG_USE_NATIVE_BACKEND_ARITH)
 #if defined(MLK_SYS_AARCH64)
-#include "src/native/aarch64/src/intt.S"
-#include "src/native/aarch64/src/ntt.S"
-#include "src/native/aarch64/src/poly_mulcache_compute_asm.S"
-#include "src/native/aarch64/src/poly_reduce_asm.S"
-#include "src/native/aarch64/src/poly_tobytes_asm.S"
-#include "src/native/aarch64/src/poly_tomont_asm.S"
-#include "src/native/aarch64/src/polyvec_basemul_acc_montgomery_cached_asm_k2.S"
-#include "src/native/aarch64/src/polyvec_basemul_acc_montgomery_cached_asm_k3.S"
-#include "src/native/aarch64/src/polyvec_basemul_acc_montgomery_cached_asm_k4.S"
-#include "src/native/aarch64/src/rej_uniform_asm.S"
+#include "src/native/aarch64/src/intt_aarch64_asm.S"
+#include "src/native/aarch64/src/ntt_aarch64_asm.S"
+#include "src/native/aarch64/src/poly_mulcache_compute_aarch64_asm.S"
+#include "src/native/aarch64/src/poly_reduce_aarch64_asm.S"
+#include "src/native/aarch64/src/poly_tobytes_aarch64_asm.S"
+#include "src/native/aarch64/src/poly_tomont_aarch64_asm.S"
+#include "src/native/aarch64/src/polyvec_basemul_acc_montgomery_cached_k2_aarch64_asm.S"
+#include "src/native/aarch64/src/polyvec_basemul_acc_montgomery_cached_k3_aarch64_asm.S"
+#include "src/native/aarch64/src/polyvec_basemul_acc_montgomery_cached_k4_aarch64_asm.S"
+#include "src/native/aarch64/src/rej_uniform_aarch64_asm.S"
 #endif /* MLK_SYS_AARCH64 */
 #if defined(MLK_SYS_X86_64)
-#include "src/native/x86_64/src/intt.S"
-#include "src/native/x86_64/src/mulcache_compute.S"
-#include "src/native/x86_64/src/ntt.S"
-#include "src/native/x86_64/src/nttfrombytes.S"
-#include "src/native/x86_64/src/ntttobytes.S"
-#include "src/native/x86_64/src/nttunpack.S"
-#include "src/native/x86_64/src/poly_compress_d10.S"
-#include "src/native/x86_64/src/poly_compress_d11.S"
-#include "src/native/x86_64/src/poly_compress_d4.S"
-#include "src/native/x86_64/src/poly_compress_d5.S"
-#include "src/native/x86_64/src/poly_decompress_d10.S"
-#include "src/native/x86_64/src/poly_decompress_d11.S"
-#include "src/native/x86_64/src/poly_decompress_d4.S"
-#include "src/native/x86_64/src/poly_decompress_d5.S"
-#include "src/native/x86_64/src/polyvec_basemul_acc_montgomery_cached_asm_k2.S"
-#include "src/native/x86_64/src/polyvec_basemul_acc_montgomery_cached_asm_k3.S"
-#include "src/native/x86_64/src/polyvec_basemul_acc_montgomery_cached_asm_k4.S"
-#include "src/native/x86_64/src/reduce.S"
-#include "src/native/x86_64/src/rej_uniform_asm.S"
-#include "src/native/x86_64/src/tomont.S"
+#include "src/native/x86_64/src/intt_avx2_asm.S"
+#include "src/native/x86_64/src/ntt_avx2_asm.S"
+#include "src/native/x86_64/src/nttfrombytes_avx2_asm.S"
+#include "src/native/x86_64/src/ntttobytes_avx2_asm.S"
+#include "src/native/x86_64/src/nttunpack_avx2_asm.S"
+#include "src/native/x86_64/src/poly_compress_d10_avx2_asm.S"
+#include "src/native/x86_64/src/poly_compress_d11_avx2_asm.S"
+#include "src/native/x86_64/src/poly_compress_d4_avx2_asm.S"
+#include "src/native/x86_64/src/poly_compress_d5_avx2_asm.S"
+#include "src/native/x86_64/src/poly_decompress_d10_avx2_asm.S"
+#include "src/native/x86_64/src/poly_decompress_d11_avx2_asm.S"
+#include "src/native/x86_64/src/poly_decompress_d4_avx2_asm.S"
+#include "src/native/x86_64/src/poly_decompress_d5_avx2_asm.S"
+#include "src/native/x86_64/src/poly_mulcache_compute_avx2_asm.S"
+#include "src/native/x86_64/src/polyvec_basemul_acc_montgomery_cached_k2_avx2_asm.S"
+#include "src/native/x86_64/src/polyvec_basemul_acc_montgomery_cached_k3_avx2_asm.S"
+#include "src/native/x86_64/src/polyvec_basemul_acc_montgomery_cached_k4_avx2_asm.S"
+#include "src/native/x86_64/src/reduce_avx2_asm.S"
+#include "src/native/x86_64/src/rej_uniform_avx2_asm.S"
+#include "src/native/x86_64/src/tomont_avx2_asm.S"
 #endif /* MLK_SYS_X86_64 */
 #if defined(MLK_SYS_RISCV64)
 #endif
+#if defined(MLK_SYS_PPC64LE)
+#include "src/native/ppc64le/src/intt_ppc_asm.S"
+#include "src/native/ppc64le/src/ntt_ppc_asm.S"
+#include "src/native/ppc64le/src/poly_tomont_ppc_asm.S"
+#include "src/native/ppc64le/src/reduce_ppc_asm.S"
+#endif /* MLK_SYS_PPC64LE */
 #endif /* MLK_CONFIG_USE_NATIVE_BACKEND_ARITH */
 
 #if defined(MLK_CONFIG_USE_NATIVE_BACKEND_FIPS202)
 #if defined(MLK_SYS_AARCH64)
-#include "src/fips202/native/aarch64/src/keccak_f1600_x1_scalar_asm.S"
-#include "src/fips202/native/aarch64/src/keccak_f1600_x1_v84a_asm.S"
-#include "src/fips202/native/aarch64/src/keccak_f1600_x2_v84a_asm.S"
-#include "src/fips202/native/aarch64/src/keccak_f1600_x4_v8a_scalar_hybrid_asm.S"
-#include "src/fips202/native/aarch64/src/keccak_f1600_x4_v8a_v84a_scalar_hybrid_asm.S"
+#include "src/fips202/native/aarch64/src/keccak_f1600_x1_scalar_aarch64_asm.S"
+#include "src/fips202/native/aarch64/src/keccak_f1600_x1_v84a_aarch64_asm.S"
+#include "src/fips202/native/aarch64/src/keccak_f1600_x2_v84a_aarch64_asm.S"
+#include "src/fips202/native/aarch64/src/keccak_f1600_x4_v8a_scalar_hybrid_aarch64_asm.S"
+#include "src/fips202/native/aarch64/src/keccak_f1600_x4_v8a_v84a_scalar_hybrid_aarch64_asm.S"
 #endif /* MLK_SYS_AARCH64 */
 #if defined(MLK_SYS_X86_64)
-#include "src/fips202/native/x86_64/src/keccak_f1600_x4_avx2.S"
+#include "src/fips202/native/x86_64/src/keccak_f1600_x4_avx2_asm.S"
 #endif
 #if defined(MLK_SYS_ARMV81M_MVE)
 #include "src/fips202/native/armv81m/src/keccak_f1600_x4_mve.S"
@@ -234,6 +240,8 @@
 #undef MLK_FIPS202_HEADER_FILE
 #undef MLK_FREE
 #undef MLK_INTERNAL_API
+#undef MLK_INTERNAL_DATA_DECLARATION
+#undef MLK_INTERNAL_DATA_DEFINITION
 #undef MLK_NAMESPACE
 #undef MLK_NAMESPACE_K
 #undef MLK_NAMESPACE_PREFIX
@@ -386,8 +394,11 @@
 #undef MLK_HAVE_INLINE_ASM
 #undef MLK_INLINE
 #undef MLK_MUST_CHECK_RETURN_VALUE
+#undef MLK_NOINLINE
 #undef MLK_RESTRICT
 #undef MLK_STATIC_TESTABLE
+#undef MLK_SYSV_ABI
+#undef MLK_SYSV_ABI_SUPPORTED
 #undef MLK_SYS_AARCH64
 #undef MLK_SYS_AARCH64_EB
 #undef MLK_SYS_APPLE
@@ -467,11 +478,11 @@
 #undef MLK_FIPS202_NATIVE_AARCH64_AUTO_H
 /* mlkem/src/fips202/native/aarch64/src/fips202_native_aarch64.h */
 #undef MLK_FIPS202_NATIVE_AARCH64_SRC_FIPS202_NATIVE_AARCH64_H
-#undef mlk_keccak_f1600_x1_scalar_asm
-#undef mlk_keccak_f1600_x1_v84a_asm
-#undef mlk_keccak_f1600_x2_v84a_asm
-#undef mlk_keccak_f1600_x4_v8a_scalar_hybrid_asm
-#undef mlk_keccak_f1600_x4_v8a_v84a_scalar_hybrid_asm
+#undef mlk_keccak_f1600_x1_scalar_aarch64_asm
+#undef mlk_keccak_f1600_x1_v84a_aarch64_asm
+#undef mlk_keccak_f1600_x2_v84a_aarch64_asm
+#undef mlk_keccak_f1600_x4_v8a_scalar_hybrid_aarch64_asm
+#undef mlk_keccak_f1600_x4_v8a_v84a_scalar_hybrid_aarch64_asm
 #undef mlk_keccakf1600_round_constants
 /* mlkem/src/fips202/native/aarch64/x1_scalar.h */
 #undef MLK_FIPS202_AARCH64_NEED_X1_SCALAR
@@ -504,7 +515,7 @@
 #undef MLK_USE_FIPS202_X4_NATIVE
 /* mlkem/src/fips202/native/x86_64/src/fips202_native_x86_64.h */
 #undef MLK_FIPS202_NATIVE_X86_64_SRC_FIPS202_NATIVE_X86_64_H
-#undef mlk_keccak_f1600_x4_avx2
+#undef mlk_keccak_f1600_x4_avx2_asm
 #undef mlk_keccak_rho56
 #undef mlk_keccak_rho8
 #undef mlk_keccakf1600_round_constants
@@ -563,16 +574,16 @@
 #undef mlk_aarch64_ntt_zetas_layer67
 #undef mlk_aarch64_zetas_mulcache_native
 #undef mlk_aarch64_zetas_mulcache_twisted_native
-#undef mlk_intt_asm
-#undef mlk_ntt_asm
-#undef mlk_poly_mulcache_compute_asm
-#undef mlk_poly_reduce_asm
-#undef mlk_poly_tobytes_asm
-#undef mlk_poly_tomont_asm
-#undef mlk_polyvec_basemul_acc_montgomery_cached_asm_k2
-#undef mlk_polyvec_basemul_acc_montgomery_cached_asm_k3
-#undef mlk_polyvec_basemul_acc_montgomery_cached_asm_k4
-#undef mlk_rej_uniform_asm
+#undef mlk_intt_aarch64_asm
+#undef mlk_ntt_aarch64_asm
+#undef mlk_poly_mulcache_compute_aarch64_asm
+#undef mlk_poly_reduce_aarch64_asm
+#undef mlk_poly_tobytes_aarch64_asm
+#undef mlk_poly_tomont_aarch64_asm
+#undef mlk_polyvec_basemul_acc_montgomery_cached_k2_aarch64_asm
+#undef mlk_polyvec_basemul_acc_montgomery_cached_k3_aarch64_asm
+#undef mlk_polyvec_basemul_acc_montgomery_cached_k4_aarch64_asm
+#undef mlk_rej_uniform_aarch64_asm
 #undef mlk_rej_uniform_table
 #endif /* MLK_SYS_AARCH64 */
 #if defined(MLK_SYS_X86_64)
@@ -603,27 +614,27 @@
 /* mlkem/src/native/x86_64/src/arith_native_x86_64.h */
 #undef MLK_AVX2_REJ_UNIFORM_BUFLEN
 #undef MLK_NATIVE_X86_64_SRC_ARITH_NATIVE_X86_64_H
-#undef mlk_invntt_avx2
-#undef mlk_ntt_avx2
-#undef mlk_nttfrombytes_avx2
-#undef mlk_ntttobytes_avx2
-#undef mlk_nttunpack_avx2
-#undef mlk_poly_compress_d10_avx2
-#undef mlk_poly_compress_d11_avx2
-#undef mlk_poly_compress_d4_avx2
-#undef mlk_poly_compress_d5_avx2
-#undef mlk_poly_decompress_d10_avx2
-#undef mlk_poly_decompress_d11_avx2
-#undef mlk_poly_decompress_d4_avx2
-#undef mlk_poly_decompress_d5_avx2
-#undef mlk_poly_mulcache_compute_avx2
-#undef mlk_polyvec_basemul_acc_montgomery_cached_asm_k2
-#undef mlk_polyvec_basemul_acc_montgomery_cached_asm_k3
-#undef mlk_polyvec_basemul_acc_montgomery_cached_asm_k4
-#undef mlk_reduce_avx2
-#undef mlk_rej_uniform_asm
+#undef mlk_invntt_avx2_asm
+#undef mlk_ntt_avx2_asm
+#undef mlk_nttfrombytes_avx2_asm
+#undef mlk_ntttobytes_avx2_asm
+#undef mlk_nttunpack_avx2_asm
+#undef mlk_poly_compress_d10_avx2_asm
+#undef mlk_poly_compress_d11_avx2_asm
+#undef mlk_poly_compress_d4_avx2_asm
+#undef mlk_poly_compress_d5_avx2_asm
+#undef mlk_poly_decompress_d10_avx2_asm
+#undef mlk_poly_decompress_d11_avx2_asm
+#undef mlk_poly_decompress_d4_avx2_asm
+#undef mlk_poly_decompress_d5_avx2_asm
+#undef mlk_poly_mulcache_compute_avx2_asm
+#undef mlk_polyvec_basemul_acc_montgomery_cached_k2_avx2_asm
+#undef mlk_polyvec_basemul_acc_montgomery_cached_k3_avx2_asm
+#undef mlk_polyvec_basemul_acc_montgomery_cached_k4_avx2_asm
+#undef mlk_reduce_avx2_asm
+#undef mlk_rej_uniform_avx2_asm
 #undef mlk_rej_uniform_table
-#undef mlk_tomont_avx2
+#undef mlk_tomont_avx2_asm
 /* mlkem/src/native/x86_64/src/compress_consts.h */
 #undef MLK_NATIVE_X86_64_SRC_COMPRESS_CONSTS_H
 #undef mlk_compress_d10_data
@@ -677,5 +688,38 @@
 #undef mlk_debug_check_bounds_int16m1
 #undef mlk_debug_check_bounds_int16m2
 #endif /* MLK_SYS_RISCV64 */
+#if defined(MLK_SYS_PPC64LE)
+/*
+ * Undefine macros from native code (Arith, PPC64LE)
+ */
+/* mlkem/src/native/ppc64le/meta.h */
+#undef MLK_ARITH_BACKEND_NAME
+#undef MLK_ARITH_BACKEND_PPC64LE_DEFAULT
+#undef MLK_NATIVE_PPC64LE_META_H
+#undef MLK_USE_NATIVE_INTT
+#undef MLK_USE_NATIVE_NTT
+#undef MLK_USE_NATIVE_POLY_REDUCE
+#undef MLK_USE_NATIVE_POLY_TOMONT
+/* mlkem/src/native/ppc64le/src/arith_native_ppc64le.h */
+#undef MLK_NATIVE_PPC64LE_SRC_ARITH_NATIVE_PPC64LE_H
+#undef mlk_intt_ppc_asm
+#undef mlk_ntt_ppc_asm
+#undef mlk_poly_tomont_ppc_asm
+#undef mlk_reduce_ppc_asm
+/* mlkem/src/native/ppc64le/src/consts.h */
+#undef MLK_NATIVE_PPC64LE_SRC_CONSTS_H
+#undef MLK_PPC_C20159_OFFSET
+#undef MLK_PPC_NQ_OFFSET
+#undef MLK_PPC_N_INV_OFFSET
+#undef MLK_PPC_N_INV_TW_OFFSET
+#undef MLK_PPC_Q_OFFSET
+#undef MLK_PPC_TOMONT_OFFSET
+#undef MLK_PPC_TOMONT_TW_OFFSET
+#undef MLK_PPC_ZETA_INTT_OFFSET
+#undef MLK_PPC_ZETA_INTT_TW_OFFSET
+#undef MLK_PPC_ZETA_NTT_OFFSET
+#undef MLK_PPC_ZETA_NTT_TW_OFFSET
+#undef mlk_ppc_qdata
+#endif /* MLK_SYS_PPC64LE */
 #endif /* MLK_CONFIG_USE_NATIVE_BACKEND_ARITH */
 #endif /* !MLK_CONFIG_MONOBUILD_KEEP_SHARED_HEADERS */