Rename MP_IS* to MP_*P, for consistency's sake. Use these macros more often.

[u/mdw/catacomb] / tests / mpbarrett

diff --git a/tests/mpbarrett b/tests/mpbarrett
index d5df502..c09b75b 100644 (file)
--- a/tests/mpbarrett
+++ b/tests/mpbarrett
@@ -1,9 +1,10 @@
 # Test vectors for Barrett modular reduction
 #
-# $Id: mpbarrett,v 1.1 1999/12/10 23:25:27 mdw Exp $
+# $Id$
 
 mpbarrett-reduce {
   17 11 6;
+  -17 11 5;
 
   0x8ab316d0d1a2e88535cf77c1172881ead70d592c59e9c5fbc16e4b0c4dc49481
   0x18ca3bf7ee3c6d7bab3f144b015ccc6c25472843d346b461
@@ -36,6 +37,10 @@ mpbarrett-reduce {
   0x65901dcdad8dd0625d4d158f99b666fee10480d1df15e3bdac640584b9b746bc
   0xd8a1d326fee87d55f39f15b5b2cfe71f5146083928
   0x859c41164983547c03134b99530e25a0f874315964;
+
+  -0x65901dcdad8dd0625d4d158f99b666fee10480d1df15e3bdac640584b9b746bc
+  0xd8a1d326fee87d55f39f15b5b2cfe71f5146083928
+  0x53059210b56528d9f08bca1c5fc1c17e58d1d6dfc4;
 }
 
 mpbarrett-exp {
@@ -47,6 +52,11 @@ mpbarrett-exp {
   8939489893434234331 1804289383 454353454354565 6139425926295484741;
   8939489893434234331 1804289383 8939489893434234330 1;
 
+  # --- Negative exponents ---
+
+  0xfffffffdffffffffffffffffffffffff 0xfffffffdfffffffffffffffffffffffe 0 1; 
+  8939489893434234331 1804289383 -8939035539979879765 6139425926295484741;
+
   # --- DSA public key derivation ---
 
   0xc9c7feaeaedb16505389c5582df1858d0fdb3eecfe61c230d612661bef8c1bc5
@@ -88,3 +98,28 @@ mpbarrett-exp {
   514778499400157641662814932021958856708417966520837469125919104431
   123456789012345678901234567890123456789012345678901234567890;
 }
+
+# --- Simultaneous exponentiation ---
+
+mexp-1 {
+  4325987397987458979875737589783
+  435365332435654643667
+  8745435676786567758678547
+  2439674515119108242643169132064;
+}
+
+mexp-2 {
+  0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adac32ab7aac49693dfbf83724c2ec0736ee31c80291
+  0x626d027839ea0a13413163a55b4cb500299d5522956cefcb3bff10f399ce2c2e71cb9de5fa24babf58e5b79521925c9cc42e9f6f464b088cc572af53e6d78802
+  0xbf655bd046f0b35ec791b004804afcbb8ef7d69d
+  0x19131871d75b1612a819f29d78d1b0d7346f7aa77bb62a859bfd6c5675da9d212d3a36ef1672ef660b8c7c255cc0ec74858fba33f44c06699630a76b030ee333
+  0x821a926312e97adeabcc8d082b5278978a2df4b0
+  0x2fc6cb9ac3be0eac3daf02eefb96fca3846708a28dd05730165fe50942f7f07edfef8e52fcb9369e3814aa24607e80475d0e61ad461d6b16b6cec5baae58946e;
+
+  0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adac32ab7aac49693dfbf83724c2ec0736ee31c80291
+  0x626d027839ea0a13413163a55b4cb500299d5522956cefcb3bff10f399ce2c2e71cb9de5fa24babf58e5b79521925c9cc42e9f6f464b088cc572af53e6d78802
+  0xbf655bd046f0b35ec791b004804afcbb8ef7d69d
+  0x19131871d75b1612a819f29d78d1b0d7346f7aa77bb62a859bfd6c5675da9d212d3a36ef1672ef660b8c7c255cc0ec74858fba33f44c06699630a76b030ee333
+  -0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adabb090e849367fc31d4c6a97bac0b4be56a79a0de0
+  0x2fc6cb9ac3be0eac3daf02eefb96fca3846708a28dd05730165fe50942f7f07edfef8e52fcb9369e3814aa24607e80475d0e61ad461d6b16b6cec5baae58946e;
+}