git.distorted.org.uk Git - u/mdw/catacomb/blob - tests/mp

   1 # Test vectors for MP functions
   2 #
   3 # $Id: mp,v 1.14 2002/10/19 18:55:08 mdw Exp $
   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
  24 bin2c {
  25   and 5 3 1;
  26   or 5 3 7;
  27   xor 5 3 6;
  28   1111 0 0 -1;
  29   or 45 -7 -3;
  30   xor 0x343cd5 -0x6a49c -0x32984f;
  31 }
  32
  33 lsr2c {
  34   -1 5 -1;
  35   1 5 0;
  36   -6 2 -2;
  37   7 2 1;
  38  -7 2 -2;
  39   -7 -2 0;
  40 }
  41
  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
  58 neg {
  59   0 0;
  60   15 -15;
  61   -15 15;
  62 }
  63
  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
  89 gcd {
  90   # --- Simple tests ---
  91
  92   16 12 4 -11 15;
  93   12 16 4 -1 1;
  94   693 609 21 -7 8;
  95   4398082908043 90980984098081324 1 -32483863573352089 1570292150447;
  96
  97   # --- Negative argument tests ---
  98
  99   16 -12 4 -11 -15;
 100   -16 12 4 11 15;
 101   -12 -16 4 1 -1;
 102   -12 16 4 1 1;
 103   -693 609 21 7 8;
 104   693 -609 21 -7 -8;
 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
 116   829561629303257626084392170900075 32498098450983560651904114638965
 117     5 -29340810037249902802634060204608 748967211613630574419802053172497;
 118
 119   5509672937670943767152343650729669537671508
 120   398326674296699796695672966992514673531
 121   17
 122   -4158709420138833210339208344965073815
 123   57523460582278135926717203882531035926727;
 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;
 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;
 167 }
 168
 169 jacobi {
 170   4 5 1;
 171   6 7 -1;
 172   15 27 0;
 173   2132498039840981 98729378979237498798347932749951 1;
 174 }
 175
 176 modsqrt {
 177   1 3 1;
 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 }
 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 }