test_ECC_Curve448.py 10.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246
  1. # This file is licensed under the BSD 2-Clause License.
  2. # See https://opensource.org/licenses/BSD-2-Clause for details.
  3. import unittest
  4. from binascii import unhexlify
  5. from Crypto.SelfTest.st_common import list_test_cases
  6. from Crypto.Math.Numbers import Integer
  7. from Crypto.Hash import SHAKE128
  8. from Crypto.PublicKey import ECC
  9. from Crypto.PublicKey.ECC import EccKey, EccXPoint, _curves
  10. CURVE448_P = 2**448 - 2**224 - 1
  11. CURVE448_ORDER = 2**446 - 0x8335dc163bb124b65129c96fde933d8d723a70aadc873d6d54a7bb0d
  12. # Test vectors for scalar multiplication using point with X=5 as base
  13. # Each tuple is (exponent, X-coordinate)
  14. scalar_base5_test = [
  15. (1, 5),
  16. (2, 0x6391322257cae3d49aef4665d8bd5cccac9abefb511e83d75f3c766616266fc1bf3747f1da00ed7125e8f0255a1208087d32a4bc1c743cb6),
  17. (3, 0x1fbe4b3584cab86170c14b9325840b8a2429b61fb93c42492c002a2807a4e7ea63138ea59bf95652ce9a7d13d0321c7511e3314d0553f34c),
  18. (4, 0x93b44a7b78726ba8d0b048bd7144074f8bdad24ef9d0a6c8264f6c00b135ffcea11545e80d18364acc8ebfbcc45358e0da5fd5e5146e2b1),
  19. (6, 0x693d165f453bd62871e5e53845f33e9e5b18b24d79c1f9102608aa7ba6f18ac24864012171d64c90b698f5ce5631cd02cee4e4336b1ad88c),
  20. (9, 0xb970d576e7d9aa427dbf7cb9b7dd65170721d04ee060c9ea8d499dc361d4cfde1ceb19068eae853bac8f5d92827bdbf3d94c22de2fb42dae),
  21. (129, 0x9fbdb50a1450438fe656aa32aa1bb2548d077d5c3a5d327689093a2996a4f94eacd1fb4f90315edb2afe41908a759f0d6db83fa791df80db),
  22. (255, 0x31bc3e9385dfd12e1238927061eb0c911466da394e459bf058ba3b08260a258a3c392b0f85ddbd23828657137b88577a85b83774139fab9e),
  23. (256, 0x735c7f30e6872e5e4215c0147c8a112d697f668c9bd0f92f5f1e4e6badc128a0b654e697cd4bae2144d54e726b54c1fa63a09b00dd3c17f),
  24. (257, 0x95c1b0ce01286dc047aeb5922a5e62b3effb5b9296273a5004eb456f592728dd494a6fb5996a2ea7011ae6423874a48c2927bfa62d8ce8b0),
  25. (0x10101, 0x113bb172c9dc52ab45bd665dd9751ed44e33b8596f943c6cb2f8dd329160ece802960b3eb0d2c21ef3a3ac12c20fccbc2a271fc2f061c1b2),
  26. (0xAA55CC, 0xcf42585d2e0b1e45c0bfd601c91af4b137d7faf139fc761178c7ded432417c307ee1759af2deec6a14dbaf6b868eb13a6039fbdde4b61898),
  27. (0x1B29A0E579E0A000567, 0x7bd9ec9775a664f4d860d82d6be60895113a7c36f92db25583dbba5dc17f09c136ec27e14857bfd6a705311327030aa657dd036325fad330),
  28. (CURVE448_ORDER + 1, 5),
  29. ]
  30. class TestEccPoint_Curve448(unittest.TestCase):
  31. v1 = 0x09fa78b39b00a72930bcd8039be789a0997830bb99f79aeeb93493715390b4e8
  32. v2 = 0x15210f12786811d3f4b7959d0538ae2c31dbe7106fc03c3efc4cd549c715a493
  33. def test_init(self):
  34. EccXPoint(5, "curve448")
  35. EccXPoint(CURVE448_P - 5, "curve448")
  36. def test_curve_attribute(self):
  37. point = EccXPoint(5, "curve448")
  38. self.assertEqual(point.curve, "Curve448")
  39. def test_init_fail(self):
  40. self.assertRaises(ValueError, EccXPoint, 3*CURVE448_P, "curve448")
  41. self.assertRaises(ValueError, EccXPoint, 3, "curve449")
  42. def test_equal_set(self):
  43. point1 = EccXPoint(self.v1, "curve448")
  44. point2 = EccXPoint(self.v2, "curve448")
  45. self.assertEqual(point1, point1)
  46. self.assertNotEqual(point1, point2)
  47. point2.set(point1)
  48. self.assertEqual(point1.x, point2.x)
  49. def test_copy(self):
  50. point1 = EccXPoint(self.v1, "curve448")
  51. point2 = point1.copy()
  52. self.assertEqual(point1.x, point2.x)
  53. def test_pai(self):
  54. point1 = EccXPoint(self.v1, "curve448")
  55. pai = point1.point_at_infinity()
  56. self.assertTrue(pai.point_at_infinity())
  57. point2 = EccXPoint(None, "curve448")
  58. self.assertTrue(point2.point_at_infinity())
  59. def test_scalar_multiply(self):
  60. base = EccXPoint(5, "curve448")
  61. pointH = 0 * base
  62. self.assertTrue(pointH.point_at_infinity())
  63. pointH = CURVE448_ORDER * base
  64. self.assertTrue(pointH.point_at_infinity())
  65. pointH = base * 1
  66. self.assertEqual(pointH.x, 5)
  67. for d, result in scalar_base5_test:
  68. pointH = d * base
  69. self.assertEqual(pointH.x, result)
  70. def test_sizes(self):
  71. point = EccXPoint(5, "curve448")
  72. self.assertEqual(point.size_in_bits(), 448)
  73. self.assertEqual(point.size_in_bytes(), 56)
  74. class TestEccKey_Curve448(unittest.TestCase):
  75. def test_private_key(self):
  76. # RFC7748 Section 6.2 - Alice
  77. alice_priv = unhexlify("9a8f4925d1519f5775cf46b04b5800d4ee9ee8bae8bc5565d498c28dd9c9baf574a9419744897391006382a6f127ab1d9ac2d8c0a598726b")
  78. alice_pub = unhexlify("9b08f7cc31b7e3e67d22d5aea121074a273bd2b83de09c63faa73d2c22c5d9bbc836647241d953d40c5b12da88120d53177f80e532c41fa0")
  79. alice_pub_x = Integer.from_bytes(alice_pub, byteorder='little')
  80. key = EccKey(curve="Curve448", seed=alice_priv)
  81. self.assertEqual(key.seed, alice_priv)
  82. self.assertTrue(key.has_private())
  83. self.assertEqual(key.pointQ.x, alice_pub_x)
  84. # RFC7748 Section 6.2 - Bob
  85. bob_priv = unhexlify("1c306a7ac2a0e2e0990b294470cba339e6453772b075811d8fad0d1d6927c120bb5ee8972b0d3e21374c9c921b09d1b0366f10b65173992d")
  86. bob_pub = unhexlify("3eb7a829b0cd20f5bcfc0b599b6feccf6da4627107bdb0d4f345b43027d8b972fc3e34fb4232a13ca706dcb57aec3dae07bdc1c67bf33609")
  87. bob_pub_x = Integer.from_bytes(bob_pub, byteorder='little')
  88. key = EccKey(curve="Curve448", seed=bob_priv)
  89. self.assertEqual(key.seed, bob_priv)
  90. self.assertTrue(key.has_private())
  91. self.assertEqual(key.pointQ.x, bob_pub_x)
  92. # Other names
  93. key = EccKey(curve="curve448", seed=alice_priv)
  94. # Must not accept d parameter
  95. self.assertRaises(ValueError, EccKey, curve="curve448", d=1)
  96. def test_public_key(self):
  97. point = EccXPoint(_curves['curve448'].Gx,
  98. curve='curve448')
  99. key = EccKey(curve="curve448", point=point)
  100. self.assertFalse(key.has_private())
  101. self.assertEqual(key.pointQ, point)
  102. def test_public_key_derived(self):
  103. priv_key = EccKey(curve="curve448", seed=b'H'*56)
  104. pub_key = priv_key.public_key()
  105. self.assertFalse(pub_key.has_private())
  106. self.assertEqual(priv_key.pointQ, pub_key.pointQ)
  107. def test_invalid_seed(self):
  108. self.assertRaises(ValueError, lambda: EccKey(curve="curve448",
  109. seed=b'H' * 55))
  110. def test_equality(self):
  111. private_key = ECC.construct(seed=b'H'*56, curve="Curve448")
  112. private_key2 = ECC.construct(seed=b'H'*56, curve="curve448")
  113. private_key3 = ECC.construct(seed=b'C'*56, curve="Curve448")
  114. public_key = private_key.public_key()
  115. public_key2 = private_key2.public_key()
  116. public_key3 = private_key3.public_key()
  117. self.assertEqual(private_key, private_key2)
  118. self.assertNotEqual(private_key, private_key3)
  119. self.assertEqual(public_key, public_key2)
  120. self.assertNotEqual(public_key, public_key3)
  121. self.assertNotEqual(public_key, private_key)
  122. def test_name_consistency(self):
  123. key = ECC.generate(curve='curve448')
  124. self.assertIn("curve='Curve448'", repr(key))
  125. self.assertEqual(key.curve, 'Curve448')
  126. self.assertEqual(key.public_key().curve, 'Curve448')
  127. class TestEccModule_Curve448(unittest.TestCase):
  128. def test_generate(self):
  129. key = ECC.generate(curve="Curve448")
  130. self.assertTrue(key.has_private())
  131. point = EccXPoint(_curves['Curve448'].Gx, curve="Curve448") * key.d
  132. self.assertEqual(key.pointQ, point)
  133. # Always random
  134. key2 = ECC.generate(curve="Curve448")
  135. self.assertNotEqual(key, key2)
  136. # Other names
  137. ECC.generate(curve="curve448")
  138. # Random source
  139. key1 = ECC.generate(curve="Curve448", randfunc=SHAKE128.new().read)
  140. key2 = ECC.generate(curve="Curve448", randfunc=SHAKE128.new().read)
  141. self.assertEqual(key1, key2)
  142. def test_construct(self):
  143. seed = unhexlify("9a8f4925d1519f5775cf46b04b5800d4ee9ee8bae8bc5565d498c28dd9c9baf574a9419744897391006382a6f127ab1d9ac2d8c0a598726b")
  144. point_hex = unhexlify("9b08f7cc31b7e3e67d22d5aea121074a273bd2b83de09c63faa73d2c22c5d9bbc836647241d953d40c5b12da88120d53177f80e532c41fa0")
  145. Px = Integer.from_bytes(point_hex, byteorder='little')
  146. point = EccXPoint(Px, curve="Curve448")
  147. # Private key only
  148. key = ECC.construct(curve="Curve448", seed=seed)
  149. self.assertEqual(key.pointQ, point)
  150. self.assertTrue(key.has_private())
  151. # Public key only
  152. key = ECC.construct(curve="Curve448", point_x=Px)
  153. self.assertEqual(key.pointQ, point)
  154. self.assertFalse(key.has_private())
  155. # Private and public key
  156. key = ECC.construct(curve="Curve448", seed=seed, point_x=Px)
  157. self.assertEqual(key.pointQ, point)
  158. self.assertTrue(key.has_private())
  159. # Other names
  160. key = ECC.construct(curve="curve448", seed=seed)
  161. def test_negative_construct(self):
  162. coordG = dict(point_x=_curves['curve448'].Gx)
  163. self.assertRaises(ValueError, ECC.construct, curve="Curve448",
  164. d=2, **coordG)
  165. self.assertRaises(ValueError, ECC.construct, curve="Curve448",
  166. seed=b'H'*55)
  167. # Verify you cannot construct weak keys (small-order points)
  168. self.assertRaises(ValueError, ECC.construct, curve="Curve448",
  169. point_x=0)
  170. self.assertRaises(ValueError, ECC.construct, curve="Curve448",
  171. point_x=1)
  172. p = 2**448 - 2**224 - 1
  173. self.assertRaises(ValueError, ECC.construct, curve="Curve448",
  174. point_x=p-1)
  175. self.assertRaises(ValueError, ECC.construct, curve="Curve448",
  176. point_x=p)
  177. self.assertRaises(ValueError, ECC.construct, curve="Curve448",
  178. point_x=p+1)
  179. def get_tests(config={}):
  180. tests = []
  181. tests += list_test_cases(TestEccPoint_Curve448)
  182. tests += list_test_cases(TestEccKey_Curve448)
  183. tests += list_test_cases(TestEccModule_Curve448)
  184. return tests
  185. if __name__ == '__main__':
  186. def suite():
  187. return unittest.TestSuite(get_tests())
  188. unittest.main(defaultTest='suite')