[u/mdw/catacomb] / tests / mpbarrett

# Test vectors for Barrett modular reduction
#
# $Id$

mpbarrett-reduce {
  17 11 6;
  -17 11 5;

  0x8ab316d0d1a2e88535cf77c1172881ead70d592c59e9c5fbc16e4b0c4dc49481
  0x18ca3bf7ee3c6d7bab3f144b015ccc6c25472843d346b461
  0x02c1815029b766b96ad4507dc1af8151307961c6d161d065;

  0x8117d1663ee63341eb8faeff304549f0f8b32d587acc2fd5597ea6a31625881d
  0xdc85df77dfb61876805623bcbed325b99d00c2cd65c252c879
  0x395da02e8a6c66476467c4e04f328d8208cc411e3d1e96e14c;

  0x63791966f2ad44a6df11bcc87c6b7c2400c74e69f7e3ca02fcac12b3bf56238b
  0xa49e473b8f7539d89cdb002d73182558773eec10db93cc6049d8c5533e
  0x65caf6833baa118b53c7bdc44a831605ca382b5993beead59f3971d13f;

  0x9ca438db3e0f79305987292e8ec6174e6c313f7904ebb35a349a700e3ae63a37
  0xb24c93d499c7073b8f7aac718c1f12da1a8fc8bccdd47b49
  0x46393cb15e38cbbc8a85698151a113f28081b4c8f6ed232e;

  0x8214fd17858a4a913015412b5331eb9654faeb5156a674b1e5f6550a68957146
  0xc4f0ebaad6c0ee0111c57667ea8e0a254f3068f212949e20ededa89a7da6
  0x3fde916ba21d19414d4316041420ca59d8b01aa2acf3f3ef106245c1915c;

  0x367aa8f5ba9ac4e8e2ea198b8af2c3b3081deab392ffc05715783b245a62a6fa
  0x72e2c37447f8bca34c4a39b130ea8e5c9a7d8b54564aa88ea773
  0x08e8c03ebf398c63d71d8fd7ca4ece12367a8dde180ca650afb6;

  0xae2d84438ac6643fc601c1634351aa75b284fecbbe5faf3a132be9dd1a326e6c
  0xc33c890f030644d88cc65f8ccf99c625c9b9fa21d4eb153e52ef89df54130855
  0xae2d84438ac6643fc601c1634351aa75b284fecbbe5faf3a132be9dd1a326e6c;

  0x65901dcdad8dd0625d4d158f99b666fee10480d1df15e3bdac640584b9b746bc
  0xd8a1d326fee87d55f39f15b5b2cfe71f5146083928
  0x859c41164983547c03134b99530e25a0f874315964;

  -0x65901dcdad8dd0625d4d158f99b666fee10480d1df15e3bdac640584b9b746bc
  0xd8a1d326fee87d55f39f15b5b2cfe71f5146083928
  0x53059210b56528d9f08bca1c5fc1c17e58d1d6dfc4;
}

mpbarrett-exp {
  4325987397987458979875737589783
  435365332435654643667
  8745435676786567758678547
  2439674515119108242643169132064;

  8939489893434234331 1804289383 454353454354565 6139425926295484741;
  8939489893434234331 1804289383 8939489893434234330 1;

  # --- Negative exponents ---

  0xfffffffdffffffffffffffffffffffff 0xfffffffdfffffffffffffffffffffffe 0 1; 
  8939489893434234331 1804289383 -8939035539979879765 6139425926295484741;

  # --- DSA public key derivation ---

  0xc9c7feaeaedb16505389c5582df1858d0fdb3eecfe61c230d612661bef8c1bc5
  0x5cd41fc97d0db5322bab7d659354db2ed9f88e39d2c6fae9f29acab5a522131e
  0x1234
  0x51812af9600c89ffe0f73902eb09015c03b4e0fbf6ccf073931c12f9aad1fb47;

  0xdde5808744e1cd37c88667e7033694b2513a7429f035f11c0bafc4dff2b96a672bd0a3ca16aba2ea526df00c8571106ba4a1d83eb62605fc9274ab70bef0a111cd070cca2d8b10edf042d6c44f863c36fabea8bb0d7340eb8c169da27a4b0ba2713c166152a0244235093391c5f71aee8c03dcaf2335a2e4689ccb27ba365ec7
  0x65985e4c2d6027a8afdeb9b44cc619e1c4d46bde873e0d4b45325412a2f8365e51245324f888704295fe8233a6666624d9a4701172dbfcab5c9643e1caab79eb2a0c85284d1b858688b8f16804326321f53a723502a6d6ae08dcbffccf2187a799f6281c2478ef0faed5c5c80adeabc5ee435cff8b9ae0b603e47fb08d73b014
  0x23a252f60bae4907a8ed5b6203e2b1da32848cd9
  0x9720498d8ec1208585635faaf952c1204c37119acccc64ed7942867be24770e33db39ffcfa1194549ead8495a7918a20e15144e68125860ef4f8c1a3d771bad690938bdb2c8817e2b89a8fc615d067084a7a2f2f9280e15fb9ccebfe713584260d5ed30545b69745d7b22977bfd44d60d7c5e657aab1c79dc5cb33ff29ee9074;  

  # --- Quick RSA test ---

  905609324890967090294090970600361             # This is p
  3
  905609324890967090294090970600360             # This is (p - 1)
  1;                                            # Fermat test: p is prime

  734589569806680985408670989082927             # This is q
  5
  734589569806680985408670989082926             # And this is (q - 1)
  1;                                            # Fermat again: q is prime

  # --- Encrypt a message ---
  #
  # The public and private exponents are from the GCD test.  The message
  # is just obvious.  The modulus is the product of the two primes above.

  665251164384574309450646977867045404520085938543622535546005136647
  123456789012345678901234567890123456789012345678901234567890
  5945908509680983480596809586040589085680968709809890671
  25906467774034212974484417859588980567136610347807401817990462701;

  # --- And decrypt it again --- 

  665251164384574309450646977867045404520085938543622535546005136647
  25906467774034212974484417859588980567136610347807401817990462701
  514778499400157641662814932021958856708417966520837469125919104431
  123456789012345678901234567890123456789012345678901234567890;
}

# --- Simultaneous exponentiation ---

mexp-1 {
  4325987397987458979875737589783
  435365332435654643667
  8745435676786567758678547
  2439674515119108242643169132064;
}

mexp-2 {
  0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adac32ab7aac49693dfbf83724c2ec0736ee31c80291
  0x626d027839ea0a13413163a55b4cb500299d5522956cefcb3bff10f399ce2c2e71cb9de5fa24babf58e5b79521925c9cc42e9f6f464b088cc572af53e6d78802
  0xbf655bd046f0b35ec791b004804afcbb8ef7d69d
  0x19131871d75b1612a819f29d78d1b0d7346f7aa77bb62a859bfd6c5675da9d212d3a36ef1672ef660b8c7c255cc0ec74858fba33f44c06699630a76b030ee333
  0x821a926312e97adeabcc8d082b5278978a2df4b0
  0x2fc6cb9ac3be0eac3daf02eefb96fca3846708a28dd05730165fe50942f7f07edfef8e52fcb9369e3814aa24607e80475d0e61ad461d6b16b6cec5baae58946e;

  0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adac32ab7aac49693dfbf83724c2ec0736ee31c80291
  0x626d027839ea0a13413163a55b4cb500299d5522956cefcb3bff10f399ce2c2e71cb9de5fa24babf58e5b79521925c9cc42e9f6f464b088cc572af53e6d78802
  0xbf655bd046f0b35ec791b004804afcbb8ef7d69d
  0x19131871d75b1612a819f29d78d1b0d7346f7aa77bb62a859bfd6c5675da9d212d3a36ef1672ef660b8c7c255cc0ec74858fba33f44c06699630a76b030ee333
  -0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adabb090e849367fc31d4c6a97bac0b4be56a79a0de0
  0x2fc6cb9ac3be0eac3daf02eefb96fca3846708a28dd05730165fe50942f7f07edfef8e52fcb9369e3814aa24607e80475d0e61ad461d6b16b6cec5baae58946e;
}
Commit	Line	Data
21a7c4b1	1	# Test vectors for Barrett modular reduction
21a7c4b1	2	#
a69a3efd	3	# $Id$
21a7c4b1	4
	5	mpbarrett-reduce {
	6	17 11 6;
dba9d866	7	-17 11 5;
21a7c4b1	8
	9	0x8ab316d0d1a2e88535cf77c1172881ead70d592c59e9c5fbc16e4b0c4dc49481
	10	0x18ca3bf7ee3c6d7bab3f144b015ccc6c25472843d346b461
	11	0x02c1815029b766b96ad4507dc1af8151307961c6d161d065;
	12
	13	0x8117d1663ee63341eb8faeff304549f0f8b32d587acc2fd5597ea6a31625881d
	14	0xdc85df77dfb61876805623bcbed325b99d00c2cd65c252c879
	15	0x395da02e8a6c66476467c4e04f328d8208cc411e3d1e96e14c;
	16
	17	0x63791966f2ad44a6df11bcc87c6b7c2400c74e69f7e3ca02fcac12b3bf56238b
	18	0xa49e473b8f7539d89cdb002d73182558773eec10db93cc6049d8c5533e
	19	0x65caf6833baa118b53c7bdc44a831605ca382b5993beead59f3971d13f;
	20
	21	0x9ca438db3e0f79305987292e8ec6174e6c313f7904ebb35a349a700e3ae63a37
	22	0xb24c93d499c7073b8f7aac718c1f12da1a8fc8bccdd47b49
	23	0x46393cb15e38cbbc8a85698151a113f28081b4c8f6ed232e;
	24
	25	0x8214fd17858a4a913015412b5331eb9654faeb5156a674b1e5f6550a68957146
	26	0xc4f0ebaad6c0ee0111c57667ea8e0a254f3068f212949e20ededa89a7da6
	27	0x3fde916ba21d19414d4316041420ca59d8b01aa2acf3f3ef106245c1915c;
	28
	29	0x367aa8f5ba9ac4e8e2ea198b8af2c3b3081deab392ffc05715783b245a62a6fa
	30	0x72e2c37447f8bca34c4a39b130ea8e5c9a7d8b54564aa88ea773
	31	0x08e8c03ebf398c63d71d8fd7ca4ece12367a8dde180ca650afb6;
	32
	33	0xae2d84438ac6643fc601c1634351aa75b284fecbbe5faf3a132be9dd1a326e6c
	34	0xc33c890f030644d88cc65f8ccf99c625c9b9fa21d4eb153e52ef89df54130855
	35	0xae2d84438ac6643fc601c1634351aa75b284fecbbe5faf3a132be9dd1a326e6c;
	36
	37	0x65901dcdad8dd0625d4d158f99b666fee10480d1df15e3bdac640584b9b746bc
	38	0xd8a1d326fee87d55f39f15b5b2cfe71f5146083928
	39	0x859c41164983547c03134b99530e25a0f874315964;
dba9d866	40
	41	-0x65901dcdad8dd0625d4d158f99b666fee10480d1df15e3bdac640584b9b746bc
	42	0xd8a1d326fee87d55f39f15b5b2cfe71f5146083928
	43	0x53059210b56528d9f08bca1c5fc1c17e58d1d6dfc4;
21a7c4b1	44	}
	45
	46	mpbarrett-exp {
	47	4325987397987458979875737589783
	48	435365332435654643667
	49	8745435676786567758678547
	50	2439674515119108242643169132064;
	51
	52	8939489893434234331 1804289383 454353454354565 6139425926295484741;
	53	8939489893434234331 1804289383 8939489893434234330 1;
	54
21bebf11	55	# --- Negative exponents ---
21bebf11	56
a69a3efd	57	0xfffffffdffffffffffffffffffffffff 0xfffffffdfffffffffffffffffffffffe 0 1;
21bebf11	58	8939489893434234331 1804289383 -8939035539979879765 6139425926295484741;
21bebf11	59
21a7c4b1	60	# --- DSA public key derivation ---
	61
	62	0xc9c7feaeaedb16505389c5582df1858d0fdb3eecfe61c230d612661bef8c1bc5
	63	0x5cd41fc97d0db5322bab7d659354db2ed9f88e39d2c6fae9f29acab5a522131e
	64	0x1234
	65	0x51812af9600c89ffe0f73902eb09015c03b4e0fbf6ccf073931c12f9aad1fb47;
	66
	67	0xdde5808744e1cd37c88667e7033694b2513a7429f035f11c0bafc4dff2b96a672bd0a3ca16aba2ea526df00c8571106ba4a1d83eb62605fc9274ab70bef0a111cd070cca2d8b10edf042d6c44f863c36fabea8bb0d7340eb8c169da27a4b0ba2713c166152a0244235093391c5f71aee8c03dcaf2335a2e4689ccb27ba365ec7
	68	0x65985e4c2d6027a8afdeb9b44cc619e1c4d46bde873e0d4b45325412a2f8365e51245324f888704295fe8233a6666624d9a4701172dbfcab5c9643e1caab79eb2a0c85284d1b858688b8f16804326321f53a723502a6d6ae08dcbffccf2187a799f6281c2478ef0faed5c5c80adeabc5ee435cff8b9ae0b603e47fb08d73b014
	69	0x23a252f60bae4907a8ed5b6203e2b1da32848cd9
	70	0x9720498d8ec1208585635faaf952c1204c37119acccc64ed7942867be24770e33db39ffcfa1194549ead8495a7918a20e15144e68125860ef4f8c1a3d771bad690938bdb2c8817e2b89a8fc615d067084a7a2f2f9280e15fb9ccebfe713584260d5ed30545b69745d7b22977bfd44d60d7c5e657aab1c79dc5cb33ff29ee9074;
	71
	72	# --- Quick RSA test ---
	73
	74	905609324890967090294090970600361 # This is p
	75	3
	76	905609324890967090294090970600360 # This is (p - 1)
	77	1; # Fermat test: p is prime
	78
	79	734589569806680985408670989082927 # This is q
	80	5
	81	734589569806680985408670989082926 # And this is (q - 1)
	82	1; # Fermat again: q is prime
	83
	84	# --- Encrypt a message ---
	85	#
	86	# The public and private exponents are from the GCD test. The message
	87	# is just obvious. The modulus is the product of the two primes above.
	88
	89	665251164384574309450646977867045404520085938543622535546005136647
	90	123456789012345678901234567890123456789012345678901234567890
	91	5945908509680983480596809586040589085680968709809890671
	92	25906467774034212974484417859588980567136610347807401817990462701;
	93
	94	# --- And decrypt it again ---
	95
	96	665251164384574309450646977867045404520085938543622535546005136647
	97	25906467774034212974484417859588980567136610347807401817990462701
	98	514778499400157641662814932021958856708417966520837469125919104431
	99	123456789012345678901234567890123456789012345678901234567890;
	100	}
084cb023	101
	102	# --- Simultaneous exponentiation ---
	103
	104	mexp-1 {
	105	4325987397987458979875737589783
	106	435365332435654643667
	107	8745435676786567758678547
	108	2439674515119108242643169132064;
	109	}
	110
	111	mexp-2 {
	112	0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adac32ab7aac49693dfbf83724c2ec0736ee31c80291
	113	0x626d027839ea0a13413163a55b4cb500299d5522956cefcb3bff10f399ce2c2e71cb9de5fa24babf58e5b79521925c9cc42e9f6f464b088cc572af53e6d78802
	114	0xbf655bd046f0b35ec791b004804afcbb8ef7d69d
	115	0x19131871d75b1612a819f29d78d1b0d7346f7aa77bb62a859bfd6c5675da9d212d3a36ef1672ef660b8c7c255cc0ec74858fba33f44c06699630a76b030ee333
	116	0x821a926312e97adeabcc8d082b5278978a2df4b0
	117	0x2fc6cb9ac3be0eac3daf02eefb96fca3846708a28dd05730165fe50942f7f07edfef8e52fcb9369e3814aa24607e80475d0e61ad461d6b16b6cec5baae58946e;
21bebf11	118
	119	0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adac32ab7aac49693dfbf83724c2ec0736ee31c80291
	120	0x626d027839ea0a13413163a55b4cb500299d5522956cefcb3bff10f399ce2c2e71cb9de5fa24babf58e5b79521925c9cc42e9f6f464b088cc572af53e6d78802
	121	0xbf655bd046f0b35ec791b004804afcbb8ef7d69d
	122	0x19131871d75b1612a819f29d78d1b0d7346f7aa77bb62a859bfd6c5675da9d212d3a36ef1672ef660b8c7c255cc0ec74858fba33f44c06699630a76b030ee333
	123	-0x8df2a494492276aa3d25759bb06869cbeac0d83afb8d0cf7cbb8324f0d7882e5d0762fc5b7210eafc2e9adabb090e849367fc31d4c6a97bac0b4be56a79a0de0
	124	0x2fc6cb9ac3be0eac3daf02eefb96fca3846708a28dd05730165fe50942f7f07edfef8e52fcb9369e3814aa24607e80475d0e61ad461d6b16b6cec5baae58946e;
084cb023	125	}