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

   1 # Test vectors for MP functions
   2 #
   3 # $Id: mp,v 1.4 2000/06/17 12:11: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 gcd {
  25
  26   # --- Simple tests ---
  27
  28   16 12 4 -2 3;
  29   12 16 4 -1 1;
  30   693 609 21 -181 206;
  31   4398082908043 90980984098081324 1 -32483863573352089 1570292150447;
  32
  33   # --- Negative argument tests ---
  34
  35   16 -12 4 -2 -3;
  36   -16 12 4 2 3;
  37   -12 -16 4 1 -1;
  38   -12 16 4 1 1;
  39   -693 609 21 181 206;
  40   693 -609 21 -181 -206;
  41
  42   # --- Zero argument tests ---
  43
  44   15 0 15 1 0;
  45   0 15 15 0 1;
  46   -5 0 5 -1 0;
  47   0 -5 5 0 -1;
  48   0 0 0 0 0;
  49
  50   # --- Random number tests ---
  51
  52   829561629303257626084392170900075 32498098450983560651904114638965
  53     5 -22841190347053190672253237276815 583054885752979049202923618992482;
  54
  55   5509672937670943767152343650729669537671508
  56   398326674296699796695672966992514673531
  57   17
  58   -191606556147997561067126486929677861359
  59   2650310725368604614586643627755316700713319;
  60
  61   324098408098290809832490802984098208098324
  62   23430980840982340982098409823089098443
  63   1
  64   -4158709420138833210339208344965073815
  65   57523460582278135926717203882531035926727;
  66
  67   # --- RSA test ---
  68   #
  69   # The first number is (p - 1)(q - 1) from `mpmont'.  The second is a
  70   # random number (it's actually prime, but that doesn't matter) which I
  71   # can use as an RSA encryption exponent.  The last is the partner
  72   # decryption exponent, produced using the extended GCD algorithm.
  73
  74   665251164384574309450646977867043764321191240895546832784045453360
  75   5945908509680983480596809586040589085680968709809890671
  76   1
  77   -4601007896041464028712478963832994007038251361995647370
  78   514778499400157641662814932021958856708417966520837469125919104431;
  79
  80   # --- Misery ---
  81   #
  82   # Some bugs discovered during RSA testing.
  83
  84   100000423751500546004561515884626739136961367515520675987004088469753859696407139054406989735113827981148062449057870561788973142250811838720214530386151198455545176591384352343648452329042764530196327665219224050630680827543991306749402959935685172017409062967157813233001567797128414009962262840951763040181
  85   44895767034162990997987303986882660674722497505237491649296190658571471979065889234144353811843706629535512848235473808330181517421970135930320187227697512315919757806204341545022714991717913006031724818461724742069401359454784533576615919680949125073761586043027941204059690093447093117249681641020785611986
  86   1
  87   -44146175664861261172356293340716833133750232401287328189797639296698679436925232375473973898100363205157703913050824405116878299310008848005045714833814493992539429428295945643439440068026313232881493081836812480325977761600303456915493177366981470223898994906470419007730670657168179659899713837827764669213
  88   98330790743257232930640417364963717704786040860302439189781385170246412183980882564239377268174203679366339563908361674571088519452885615348465535190260914996055274486493192655677181637142116473172979503236297658204730543049175626205461452256333155750566288282331419748434569978343545573401114593095927172889;
  89
  90   44895767034162990997987303986882660674722497505237491649296190658571471979065889234144353811843706629535512848235473808330181517421970135930320187227697512315919757806204341545022714991717913006031724818461724742069401359454784533576615919680949125073761586043027941204059690093447093117249681641020785611986
  91   100000423751500546004561515884626739136961367515520675987004088469753859696407139054406989735113827981148062449057870561788973142250811838720214530386151198455545176591384352343648452329042764530196327665219224050630680827543991306749402959935685172017409062967157813233001567797128414009962262840951763040181
  92   1
  93   -1669633008243313073921098519663021432175326655218236797222703299507447512426256490167612466939624301781722885149508887217884622797926223371748995195890283459489902104891159687971270691900648057023348161982926392425950284494815680543941507679352016266842774684826393484566997818784868436561148247855835867292
  94   749591369301729825631010646165827540972265103950163459498551361872792542140656858670379913743343424377808935184649403213303218111961287925274472393883018323380328377908395901583274923691599773150231736624912261743423597854481076661122742313967654849862591136557522196329019436278913457349967803193020942773;
  95
  96   # --- Some other bugs ---
  97
  98   19504439280113284806725522136967618725661733412699408177537810327183285842670
  99   1
 100   1
 101   0
 102   1;
 103 }
 104
 105 jacobi {
 106   4 5 1;
 107   6 7 -1;
 108   15 27 0;
 109   2132498039840981 98729378979237498798347932749951 1;
 110 }