diff --git a/BUILD.generated.bzl b/BUILD.generated.bzl
index 52b9c6d5c..fbb6e4fe8 100644
--- a/BUILD.generated.bzl
+++ b/BUILD.generated.bzl
@@ -629,6 +629,8 @@ crypto_sources_asm = [
     "src/crypto/poly1305/poly1305_arm_asm.S",
     "src/third_party/fiat/asm/fiat_curve25519_adx_mul.S",
     "src/third_party/fiat/asm/fiat_curve25519_adx_square.S",
+    "src/third_party/fiat/asm/fiat_p256_adx_mul.S",
+    "src/third_party/fiat/asm/fiat_p256_adx_sqr.S",
     "win-aarch64/crypto/chacha/chacha-armv8-win.S",
     "win-aarch64/crypto/cipher_extra/chacha20_poly1305_armv8-win.S",
     "win-aarch64/crypto/fipsmodule/aesv8-armv8-win.S",
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 88712b8dd..6c0ab0542 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -204,6 +204,8 @@ set(
   src/crypto/poly1305/poly1305_arm_asm.S
   src/third_party/fiat/asm/fiat_curve25519_adx_mul.S
   src/third_party/fiat/asm/fiat_curve25519_adx_square.S
+  src/third_party/fiat/asm/fiat_p256_adx_mul.S
+  src/third_party/fiat/asm/fiat_p256_adx_sqr.S
   win-aarch64/crypto/chacha/chacha-armv8-win.S
   win-aarch64/crypto/cipher_extra/chacha20_poly1305_armv8-win.S
   win-aarch64/crypto/fipsmodule/aesv8-armv8-win.S
diff --git a/sources.json b/sources.json
index 3ab8f2679..8b3cdf9f9 100644
--- a/sources.json
+++ b/sources.json
@@ -353,6 +353,8 @@
     "src/crypto/poly1305/poly1305_arm_asm.S", 
     "src/third_party/fiat/asm/fiat_curve25519_adx_mul.S", 
     "src/third_party/fiat/asm/fiat_curve25519_adx_square.S", 
+    "src/third_party/fiat/asm/fiat_p256_adx_mul.S", 
+    "src/third_party/fiat/asm/fiat_p256_adx_sqr.S", 
     "win-aarch64/crypto/chacha/chacha-armv8-win.S", 
     "win-aarch64/crypto/cipher_extra/chacha20_poly1305_armv8-win.S", 
     "win-aarch64/crypto/fipsmodule/aesv8-armv8-win.S", 
diff --git a/src/util/generate_build_files.py b/src/util/generate_build_files.py
index 1dd1629d4..9f24a2b5d 100644
--- a/src/util/generate_build_files.py
+++ b/src/util/generate_build_files.py
@@ -48,6 +48,8 @@ NON_PERL_FILES = {
     ('apple', 'x86_64'): [
         'src/third_party/fiat/asm/fiat_curve25519_adx_mul.S',
         'src/third_party/fiat/asm/fiat_curve25519_adx_square.S',
+        'src/third_party/fiat/asm/fiat_p256_adx_mul.S',
+        'src/third_party/fiat/asm/fiat_p256_adx_sqr.S',
     ],
     ('linux', 'arm'): [
         'src/crypto/curve25519/asm/x25519-asm-arm.S',
@@ -57,6 +59,8 @@ NON_PERL_FILES = {
         'src/crypto/hrss/asm/poly_rq_mul.S',
         'src/third_party/fiat/asm/fiat_curve25519_adx_mul.S',
         'src/third_party/fiat/asm/fiat_curve25519_adx_square.S',
+        'src/third_party/fiat/asm/fiat_p256_adx_mul.S',
+        'src/third_party/fiat/asm/fiat_p256_adx_sqr.S',
     ],
 }