From: mdw <mdw>
Date: Fri, 19 Nov 1999 13:18:39 +0000 (+0000)
Subject: Test for strange bug.  Add tests for simultaneous exponentiation.
X-Git-Url: https://git.distorted.org.uk/u/mdw/catacomb/commitdiff_plain/890e34fdccdb7a1c7db9b72eeff4030015243c24

Test for strange bug.  Add tests for simultaneous exponentiation.
---

diff --git a/tests/mpmont b/tests/mpmont
index 1cb2a70..6b25f07 100644
--- a/tests/mpmont
+++ b/tests/mpmont
@@ -1,6 +1,6 @@
 # Test vectors for Montgomery reduction
 #
-# $Id: mpmont,v 1.1 1999/11/17 18:02:17 mdw Exp $
+# $Id: mpmont,v 1.2 1999/11/19 13:18:39 mdw Exp $
 
 create {
   340809809850981098423498794792349	# m
@@ -22,6 +22,14 @@ exp {
   8745435676786567758678547
   2439674515119108242643169132064;
 
+  # --- Bizarre bug ---
+  #
+  # This was caused by omission of the test-and-subtract step in the
+  # Montgomery reduction.
+
+  8939489893434234331 1804289383 454353454354565 6139425926295484741;
+  8939489893434234331 1804289383 8939489893434234330 1;
+
   # --- Quick RSA test ---
 
   905609324890967090294090970600361		# This is p
@@ -51,3 +59,21 @@ exp {
   514778499400157641662814932021958856708417966520837469125919104431
   123456789012345678901234567890123456789012345678901234567890;
 }
+
+# --- Simultaneous exponentiation ---
+
+mexp-1 {
+  4325987397987458979875737589783
+  435365332435654643667
+  8745435676786567758678547
+  2439674515119108242643169132064;
+}
+
+mexp-2 {
+  16_8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adac32ab7aac49693dfbf83724c2ec0736ee31c80291
+  16_626d027839ea0a13413163a55b4cb500299d5522956cefcb3bff10f399ce2c2e71cb9de5fa24babf58e5b79521925c9cc42e9f6f464b088cc572af53e6d78802
+  16_bf655bd046f0b35ec791b004804afcbb8ef7d69d
+  16_19131871d75b1612a819f29d78d1b0d7346f7aa77bb62a859bfd6c5675da9d212d3a36ef1672ef660b8c7c255cc0ec74858fba33f44c06699630a76b030ee333
+  16_821a926312e97adeabcc8d082b5278978a2df4b0
+  16_2fc6cb9ac3be0eac3daf02eefb96fca3846708a28dd05730165fe50942f7f07edfef8e52fcb9369e3814aa24607e80475d0e61ad461d6b16b6cec5baae58946e;
+}