d3409d5e |
1 | # Test vectors for MP functions |
2 | # |
4f29a732 |
3 | # $Id: mp,v 1.14 2002/10/19 18:55:08 mdw Exp $ |
d3409d5e |
4 | |
5 | add { |
6 | 5 4 9; 5 -4 1; -5 4 -1; -5 -4 -9; |
7 | 0xffffffff 1 0x100000000; |
8 | } |
9 | |
10 | sub { |
11 | 5 4 1; 5 -4 9; -5 4 -9; -5 -4 -1; |
12 | 4 5 -1; 4 -5 9; -4 5 -9; -4 -5 1; |
13 | } |
14 | |
15 | mul { |
16 | 5 4 20; -5 4 -20; 5 -4 -20; -5 -4 20; |
17 | 0x10000 0x10000 0x100000000; |
18 | } |
19 | |
20 | div { |
21 | 9 4 2 1; -9 4 -3 3; 9 -4 -3 -3; -9 -4 2 -1; |
22 | } |
23 | |
f09e814a |
24 | bin2c { |
25 | and 5 3 1; |
26 | or 5 3 7; |
27 | xor 5 3 6; |
28 | 1111 0 0 -1; |
75263f25 |
29 | or 45 -7 -3; |
f09e814a |
30 | xor 0x343cd5 -0x6a49c -0x32984f; |
31 | } |
32 | |
33 | lsr2c { |
34 | -1 5 -1; |
35 | 1 5 0; |
36 | -6 2 -2; |
4f29a732 |
37 | 7 2 1; |
38 | -7 2 -2; |
39 | -7 -2 0; |
f09e814a |
40 | } |
41 | |
09d00c6b |
42 | setbit { |
43 | 0 40 0x10000000000; |
44 | 0x87348 40 0x10000087348; |
45 | 5 1 7; |
46 | 7 1 7; |
47 | -3 1 -1; |
48 | } |
49 | |
50 | clrbit { |
51 | 0x10000000000 40 0; |
52 | 0x87348 40 0x87348; |
53 | 5 1 5; |
54 | 7 1 5; |
55 | -1 1 -3; |
56 | } |
57 | |
397041a9 |
58 | neg { |
59 | 0 0; |
60 | 15 -15; |
61 | -15 15; |
62 | } |
63 | |
f933bbd6 |
64 | odd { |
65 | 1 0 1; |
66 | 2 1 1; |
67 | 4 2 1; |
68 | 12 2 3; |
69 | 0x10000000000000 52 1; |
70 | 0x10000000400000 22 0x40000001; |
71 | } |
72 | |
73 | sqrt { |
74 | 0 0; |
75 | 1 1; |
76 | 4 2; |
77 | 9 3; |
78 | 16 4; |
79 | 99 9; |
80 | 100 10; |
81 | 101 10; |
82 | 120 10; |
83 | 121 11; |
84 | |
85 | 10106623487257186586 3179091613; |
86 | 14565040310136678240 3816417208; |
87 | } |
88 | |
d3409d5e |
89 | gcd { |
342c3212 |
90 | # --- Simple tests --- |
91 | |
a7a5896a |
92 | 16 12 4 -11 15; |
d3409d5e |
93 | 12 16 4 -1 1; |
a7a5896a |
94 | 693 609 21 -7 8; |
d3409d5e |
95 | 4398082908043 90980984098081324 1 -32483863573352089 1570292150447; |
96 | |
342c3212 |
97 | # --- Negative argument tests --- |
98 | |
a7a5896a |
99 | 16 -12 4 -11 -15; |
100 | -16 12 4 11 15; |
342c3212 |
101 | -12 -16 4 1 -1; |
102 | -12 16 4 1 1; |
a7a5896a |
103 | -693 609 21 7 8; |
104 | 693 -609 21 -7 -8; |
342c3212 |
105 | |
106 | # --- Zero argument tests --- |
107 | |
108 | 15 0 15 1 0; |
109 | 0 15 15 0 1; |
110 | -5 0 5 -1 0; |
111 | 0 -5 5 0 -1; |
112 | 0 0 0 0 0; |
113 | |
114 | # --- Random number tests --- |
115 | |
d3409d5e |
116 | 829561629303257626084392170900075 32498098450983560651904114638965 |
a7a5896a |
117 | 5 -29340810037249902802634060204608 748967211613630574419802053172497; |
d3409d5e |
118 | |
119 | 5509672937670943767152343650729669537671508 |
120 | 398326674296699796695672966992514673531 |
121 | 17 |
a7a5896a |
122 | -4158709420138833210339208344965073815 |
123 | 57523460582278135926717203882531035926727; |
d3409d5e |
124 | |
125 | 324098408098290809832490802984098208098324 |
126 | 23430980840982340982098409823089098443 |
127 | 1 |
128 | -4158709420138833210339208344965073815 |
129 | 57523460582278135926717203882531035926727; |
130 | |
131 | # --- RSA test --- |
132 | # |
133 | # The first number is (p - 1)(q - 1) from `mpmont'. The second is a |
134 | # random number (it's actually prime, but that doesn't matter) which I |
135 | # can use as an RSA encryption exponent. The last is the partner |
136 | # decryption exponent, produced using the extended GCD algorithm. |
137 | |
138 | 665251164384574309450646977867043764321191240895546832784045453360 |
139 | 5945908509680983480596809586040589085680968709809890671 |
140 | 1 |
141 | -4601007896041464028712478963832994007038251361995647370 |
142 | 514778499400157641662814932021958856708417966520837469125919104431; |
83c017f3 |
143 | |
144 | # --- Misery --- |
145 | # |
146 | # Some bugs discovered during RSA testing. |
147 | |
148 | 100000423751500546004561515884626739136961367515520675987004088469753859696407139054406989735113827981148062449057870561788973142250811838720214530386151198455545176591384352343648452329042764530196327665219224050630680827543991306749402959935685172017409062967157813233001567797128414009962262840951763040181 |
149 | 44895767034162990997987303986882660674722497505237491649296190658571471979065889234144353811843706629535512848235473808330181517421970135930320187227697512315919757806204341545022714991717913006031724818461724742069401359454784533576615919680949125073761586043027941204059690093447093117249681641020785611986 |
150 | 1 |
151 | -44146175664861261172356293340716833133750232401287328189797639296698679436925232375473973898100363205157703913050824405116878299310008848005045714833814493992539429428295945643439440068026313232881493081836812480325977761600303456915493177366981470223898994906470419007730670657168179659899713837827764669213 |
152 | 98330790743257232930640417364963717704786040860302439189781385170246412183980882564239377268174203679366339563908361674571088519452885615348465535190260914996055274486493192655677181637142116473172979503236297658204730543049175626205461452256333155750566288282331419748434569978343545573401114593095927172889; |
153 | |
154 | 44895767034162990997987303986882660674722497505237491649296190658571471979065889234144353811843706629535512848235473808330181517421970135930320187227697512315919757806204341545022714991717913006031724818461724742069401359454784533576615919680949125073761586043027941204059690093447093117249681641020785611986 |
155 | 100000423751500546004561515884626739136961367515520675987004088469753859696407139054406989735113827981148062449057870561788973142250811838720214530386151198455545176591384352343648452329042764530196327665219224050630680827543991306749402959935685172017409062967157813233001567797128414009962262840951763040181 |
156 | 1 |
157 | -1669633008243313073921098519663021432175326655218236797222703299507447512426256490167612466939624301781722885149508887217884622797926223371748995195890283459489902104891159687971270691900648057023348161982926392425950284494815680543941507679352016266842774684826393484566997818784868436561148247855835867292 |
158 | 749591369301729825631010646165827540972265103950163459498551361872792542140656858670379913743343424377808935184649403213303218111961287925274472393883018323380328377908395901583274923691599773150231736624912261743423597854481076661122742313967654849862591136557522196329019436278913457349967803193020942773; |
159 | |
160 | # --- Some other bugs --- |
161 | |
162 | 19504439280113284806725522136967618725661733412699408177537810327183285842670 |
163 | 1 |
164 | 1 |
165 | 0 |
166 | 1; |
d3409d5e |
167 | } |
5b00a0ea |
168 | |
169 | jacobi { |
170 | 4 5 1; |
171 | 6 7 -1; |
172 | 15 27 0; |
173 | 2132498039840981 98729378979237498798347932749951 1; |
174 | } |
f933bbd6 |
175 | |
176 | modsqrt { |
8826e40c |
177 | 1 3 1; |
f933bbd6 |
178 | 4 5 3; |
179 | 9775592058107450692 13391974640168007623 3264570455655810730; |
180 | 8155671698868891620 10189552848261357803 2073812183305821596; |
181 | 3248339460720824413 8976233780911635437 1220523478429582717; |
182 | 3447751741648956439 10155704720805654949 2812971608818169892; |
183 | 1453601744816463433 3095659104519735473 1260511572497628526; |
184 | 3366261317119810224 3756232416311497601 610261287187759737; |
185 | 3869491397135339653 5762828162167967567 2974328005712882420; |
186 | 660864223630638896 1729533840094059799 1058197842375219723; |
187 | } |
1523e344 |
188 | |
189 | factorial { |
190 | 0 1; |
191 | 1 1; |
192 | 2 2; |
193 | 3 6; |
194 | 4 24; |
195 | 5 120; |
196 | 30 265252859812191058636308480000000; |
197 | 100 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000; |
198 | 500 |
199 | 1220136825991110068701238785423046926253574342803192842192413588385845373153881997605496447502203281863013616477148203584163378722078177200480785205159329285477907571939330603772960859086270429174547882424912726344305670173270769461062802310452644218878789465754777149863494367781037644274033827365397471386477878495438489595537537990423241061271326984327745715546309977202781014561081188373709531016356324432987029563896628911658974769572087926928871281780070265174507768410719624390394322536422605234945850129918571501248706961568141625359056693423813008856249246891564126775654481886506593847951775360894005745238940335798476363944905313062323749066445048824665075946735862074637925184200459369692981022263971952597190945217823331756934581508552332820762820023402626907898342451712006207714640979456116127629145951237229913340169552363850942885592018727433795173014586357570828355780158735432768888680120399882384702151467605445407663535984174430480128938313896881639487469658817504506926365338175055478128640000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000; |
200 | } |