# 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
0x65901dcdad8dd0625d4d158f99b666fee10480d1df15e3bdac640584b9b746bc
0xd8a1d326fee87d55f39f15b5b2cfe71f5146083928
0x859c41164983547c03134b99530e25a0f874315964;
+
+ -0x65901dcdad8dd0625d4d158f99b666fee10480d1df15e3bdac640584b9b746bc
+ 0xd8a1d326fee87d55f39f15b5b2cfe71f5146083928
+ 0x53059210b56528d9f08bca1c5fc1c17e58d1d6dfc4;
}
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
514778499400157641662814932021958856708417966520837469125919104431
123456789012345678901234567890123456789012345678901234567890;
}
+
+# --- Simultaneous exponentiation ---
+
+mexp-1 {
+ 4325987397987458979875737589783
+ 435365332435654643667
+ 8745435676786567758678547
+ 2439674515119108242643169132064;
+}
+
+mexp-2 {
+ 0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adac32ab7aac49693dfbf83724c2ec0736ee31c80291
+ 0x626d027839ea0a13413163a55b4cb500299d5522956cefcb3bff10f399ce2c2e71cb9de5fa24babf58e5b79521925c9cc42e9f6f464b088cc572af53e6d78802
+ 0xbf655bd046f0b35ec791b004804afcbb8ef7d69d
+ 0x19131871d75b1612a819f29d78d1b0d7346f7aa77bb62a859bfd6c5675da9d212d3a36ef1672ef660b8c7c255cc0ec74858fba33f44c06699630a76b030ee333
+ 0x821a926312e97adeabcc8d082b5278978a2df4b0
+ 0x2fc6cb9ac3be0eac3daf02eefb96fca3846708a28dd05730165fe50942f7f07edfef8e52fcb9369e3814aa24607e80475d0e61ad461d6b16b6cec5baae58946e;
+
+ 0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adac32ab7aac49693dfbf83724c2ec0736ee31c80291
+ 0x626d027839ea0a13413163a55b4cb500299d5522956cefcb3bff10f399ce2c2e71cb9de5fa24babf58e5b79521925c9cc42e9f6f464b088cc572af53e6d78802
+ 0xbf655bd046f0b35ec791b004804afcbb8ef7d69d
+ 0x19131871d75b1612a819f29d78d1b0d7346f7aa77bb62a859bfd6c5675da9d212d3a36ef1672ef660b8c7c255cc0ec74858fba33f44c06699630a76b030ee333
+ -0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adabb090e849367fc31d4c6a97bac0b4be56a79a0de0
+ 0x2fc6cb9ac3be0eac3daf02eefb96fca3846708a28dd05730165fe50942f7f07edfef8e52fcb9369e3814aa24607e80475d0e61ad461d6b16b6cec5baae58946e;
+}