commit 755ff0e6853fbc568abb0414da21991fbabc2411
author Janos Follath <janos.follath@arm.com> Tue Feb 07 15:27:44 2023 +0000
committer Gabor Mezei <gabor.mezei@arm.com> Wed Feb 15 18:13:50 2023 +0100
tree 2513fde08f2779f8ed8be38a2e49914987785cc5
parent 13c3aa13af220d96b95d98f0bf47bb0105f56267

Add corner case to mod_p521 tests

Signed-off-by: Janos Follath <janos.follath@arm.com>
Signed-off-by: Gabor Mezei <gabor.mezei@arm.com>

scripts/mbedtls_dev/ecp.py

diff --git a/scripts/mbedtls_dev/ecp.py b/scripts/mbedtls_dev/ecp.py
index e0fb000..fa70ded 100644
--- a/scripts/mbedtls_dev/ecp.py
+++ b/scripts/mbedtls_dev/ecp.py
@@ -91,6 +91,13 @@
     input_values = [
         "0", "1",
 
+        # Corner case: maximum canonical P521 multiplication result
+        ("0003ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
+         "ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
+         "fffff800"
+         "0000000000000000000000000000000000000000000000000000000000000000"
+         "0000000000000000000000000000000000000000000000000000000000000004"),
+
         # Test case for overflow during addition
         ("0001efffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"
          "ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"