d3409d5e |
1 | # Test vectors for Montgomery reduction |
2 | # |
f790765d |
3 | # $Id: mpmont,v 1.3 1999/11/19 19:27:43 mdw Exp $ |
d3409d5e |
4 | |
5 | create { |
6 | 340809809850981098423498794792349 # m |
7 | 266454859 # -m^{-1} mod b |
8 | 130655606683780235388773757767708 # R mod m |
9 | 237786678640282040194246459306177; # R^2 mod m |
10 | } |
11 | |
12 | mul { |
13 | 43289823545 |
14 | 234324324 |
15 | 6456542564 |
16 | 10807149256; |
17 | } |
18 | |
19 | exp { |
20 | 4325987397987458979875737589783 |
21 | 435365332435654643667 |
22 | 8745435676786567758678547 |
23 | 2439674515119108242643169132064; |
24 | |
890e34fd |
25 | # --- Bizarre bug --- |
26 | # |
27 | # This was caused by omission of the test-and-subtract step in the |
28 | # Montgomery reduction. |
29 | |
30 | 8939489893434234331 1804289383 454353454354565 6139425926295484741; |
31 | 8939489893434234331 1804289383 8939489893434234330 1; |
32 | |
f790765d |
33 | # --- DSA public key derivation --- |
34 | |
35 | 16_c9c7feaeaedb16505389c5582df1858d0fdb3eecfe61c230d612661bef8c1bc5 |
36 | 16_5cd41fc97d0db5322bab7d659354db2ed9f88e39d2c6fae9f29acab5a522131e |
37 | 16_1234 |
38 | 16_51812af9600c89ffe0f73902eb09015c03b4e0fbf6ccf073931c12f9aad1fb47; |
39 | |
40 | 16_dde5808744e1cd37c88667e7033694b2513a7429f035f11c0bafc4dff2b96a672bd0a3ca16aba2ea526df00c8571106ba4a1d83eb62605fc9274ab70bef0a111cd070cca2d8b10edf042d6c44f863c36fabea8bb0d7340eb8c169da27a4b0ba2713c166152a0244235093391c5f71aee8c03dcaf2335a2e4689ccb27ba365ec7 |
41 | 16_65985e4c2d6027a8afdeb9b44cc619e1c4d46bde873e0d4b45325412a2f8365e51245324f888704295fe8233a6666624d9a4701172dbfcab5c9643e1caab79eb2a0c85284d1b858688b8f16804326321f53a723502a6d6ae08dcbffccf2187a799f6281c2478ef0faed5c5c80adeabc5ee435cff8b9ae0b603e47fb08d73b014 |
42 | 16_23a252f60bae4907a8ed5b6203e2b1da32848cd9 |
43 | 16_9720498d8ec1208585635faaf952c1204c37119acccc64ed7942867be24770e33db39ffcfa1194549ead8495a7918a20e15144e68125860ef4f8c1a3d771bad690938bdb2c8817e2b89a8fc615d067084a7a2f2f9280e15fb9ccebfe713584260d5ed30545b69745d7b22977bfd44d60d7c5e657aab1c79dc5cb33ff29ee9074; |
44 | |
d3409d5e |
45 | # --- Quick RSA test --- |
46 | |
47 | 905609324890967090294090970600361 # This is p |
48 | 3 |
49 | 905609324890967090294090970600360 # This is (p - 1) |
50 | 1; # Fermat test: p is prime |
51 | |
52 | 734589569806680985408670989082927 # This is q |
53 | 5 |
54 | 734589569806680985408670989082926 # And this is (q - 1) |
55 | 1; # Fermat again: q is prime |
56 | |
57 | # --- Encrypt a message --- |
58 | # |
59 | # The public and private exponents are from the GCD test. The message |
60 | # is just obvious. The modulus is the product of the two primes above. |
61 | |
62 | 665251164384574309450646977867045404520085938543622535546005136647 |
63 | 123456789012345678901234567890123456789012345678901234567890 |
64 | 5945908509680983480596809586040589085680968709809890671 |
65 | 25906467774034212974484417859588980567136610347807401817990462701; |
66 | |
67 | # --- And decrypt it again --- |
68 | |
69 | 665251164384574309450646977867045404520085938543622535546005136647 |
70 | 25906467774034212974484417859588980567136610347807401817990462701 |
71 | 514778499400157641662814932021958856708417966520837469125919104431 |
72 | 123456789012345678901234567890123456789012345678901234567890; |
73 | } |
890e34fd |
74 | |
75 | # --- Simultaneous exponentiation --- |
76 | |
77 | mexp-1 { |
78 | 4325987397987458979875737589783 |
79 | 435365332435654643667 |
80 | 8745435676786567758678547 |
81 | 2439674515119108242643169132064; |
82 | } |
83 | |
84 | mexp-2 { |
85 | 16_8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adac32ab7aac49693dfbf83724c2ec0736ee31c80291 |
86 | 16_626d027839ea0a13413163a55b4cb500299d5522956cefcb3bff10f399ce2c2e71cb9de5fa24babf58e5b79521925c9cc42e9f6f464b088cc572af53e6d78802 |
87 | 16_bf655bd046f0b35ec791b004804afcbb8ef7d69d |
88 | 16_19131871d75b1612a819f29d78d1b0d7346f7aa77bb62a859bfd6c5675da9d212d3a36ef1672ef660b8c7c255cc0ec74858fba33f44c06699630a76b030ee333 |
89 | 16_821a926312e97adeabcc8d082b5278978a2df4b0 |
90 | 16_2fc6cb9ac3be0eac3daf02eefb96fca3846708a28dd05730165fe50942f7f07edfef8e52fcb9369e3814aa24607e80475d0e61ad461d6b16b6cec5baae58946e; |
91 | } |