test_suite_ecp.function 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512
  1. /* BEGIN_HEADER */
  2. #include "mbedtls/ecp.h"
  3. #define ECP_PF_UNKNOWN -1
  4. /* END_HEADER */
  5. /* BEGIN_DEPENDENCIES
  6. * depends_on:MBEDTLS_ECP_C
  7. * END_DEPENDENCIES
  8. */
  9. /* BEGIN_CASE */
  10. void mbedtls_ecp_curve_info( int id, int tls_id, int size, char *name )
  11. {
  12. const mbedtls_ecp_curve_info *by_id, *by_tls, *by_name;
  13. by_id = mbedtls_ecp_curve_info_from_grp_id( id );
  14. by_tls = mbedtls_ecp_curve_info_from_tls_id( tls_id );
  15. by_name = mbedtls_ecp_curve_info_from_name( name );
  16. TEST_ASSERT( by_id != NULL );
  17. TEST_ASSERT( by_tls != NULL );
  18. TEST_ASSERT( by_name != NULL );
  19. TEST_ASSERT( by_id == by_tls );
  20. TEST_ASSERT( by_id == by_name );
  21. TEST_ASSERT( by_id->bit_size == size );
  22. }
  23. /* END_CASE */
  24. /* BEGIN_CASE */
  25. void ecp_check_pub_mx( int grp_id, char *key_hex, int ret )
  26. {
  27. mbedtls_ecp_group grp;
  28. mbedtls_ecp_point P;
  29. mbedtls_ecp_group_init( &grp );
  30. mbedtls_ecp_point_init( &P );
  31. TEST_ASSERT( mbedtls_ecp_group_load( &grp, grp_id ) == 0 );
  32. TEST_ASSERT( mbedtls_mpi_read_string( &P.X, 16, key_hex ) == 0 );
  33. TEST_ASSERT( mbedtls_mpi_lset( &P.Z, 1 ) == 0 );
  34. TEST_ASSERT( mbedtls_ecp_check_pubkey( &grp, &P ) == ret );
  35. exit:
  36. mbedtls_ecp_group_free( &grp );
  37. mbedtls_ecp_point_free( &P );
  38. }
  39. /* END_CASE */
  40. /* BEGIN_CASE */
  41. void ecp_test_vect( int id, char *dA_str, char *xA_str, char *yA_str,
  42. char *dB_str, char *xB_str, char *yB_str, char *xZ_str,
  43. char *yZ_str )
  44. {
  45. mbedtls_ecp_group grp;
  46. mbedtls_ecp_point R;
  47. mbedtls_mpi dA, xA, yA, dB, xB, yB, xZ, yZ;
  48. rnd_pseudo_info rnd_info;
  49. mbedtls_ecp_group_init( &grp ); mbedtls_ecp_point_init( &R );
  50. mbedtls_mpi_init( &dA ); mbedtls_mpi_init( &xA ); mbedtls_mpi_init( &yA ); mbedtls_mpi_init( &dB );
  51. mbedtls_mpi_init( &xB ); mbedtls_mpi_init( &yB ); mbedtls_mpi_init( &xZ ); mbedtls_mpi_init( &yZ );
  52. memset( &rnd_info, 0x00, sizeof( rnd_pseudo_info ) );
  53. TEST_ASSERT( mbedtls_ecp_group_load( &grp, id ) == 0 );
  54. TEST_ASSERT( mbedtls_ecp_check_pubkey( &grp, &grp.G ) == 0 );
  55. TEST_ASSERT( mbedtls_mpi_read_string( &dA, 16, dA_str ) == 0 );
  56. TEST_ASSERT( mbedtls_mpi_read_string( &xA, 16, xA_str ) == 0 );
  57. TEST_ASSERT( mbedtls_mpi_read_string( &yA, 16, yA_str ) == 0 );
  58. TEST_ASSERT( mbedtls_mpi_read_string( &dB, 16, dB_str ) == 0 );
  59. TEST_ASSERT( mbedtls_mpi_read_string( &xB, 16, xB_str ) == 0 );
  60. TEST_ASSERT( mbedtls_mpi_read_string( &yB, 16, yB_str ) == 0 );
  61. TEST_ASSERT( mbedtls_mpi_read_string( &xZ, 16, xZ_str ) == 0 );
  62. TEST_ASSERT( mbedtls_mpi_read_string( &yZ, 16, yZ_str ) == 0 );
  63. TEST_ASSERT( mbedtls_ecp_mul( &grp, &R, &dA, &grp.G,
  64. &rnd_pseudo_rand, &rnd_info ) == 0 );
  65. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &R.X, &xA ) == 0 );
  66. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &R.Y, &yA ) == 0 );
  67. TEST_ASSERT( mbedtls_ecp_check_pubkey( &grp, &R ) == 0 );
  68. TEST_ASSERT( mbedtls_ecp_mul( &grp, &R, &dB, &R, NULL, NULL ) == 0 );
  69. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &R.X, &xZ ) == 0 );
  70. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &R.Y, &yZ ) == 0 );
  71. TEST_ASSERT( mbedtls_ecp_check_pubkey( &grp, &R ) == 0 );
  72. TEST_ASSERT( mbedtls_ecp_mul( &grp, &R, &dB, &grp.G, NULL, NULL ) == 0 );
  73. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &R.X, &xB ) == 0 );
  74. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &R.Y, &yB ) == 0 );
  75. TEST_ASSERT( mbedtls_ecp_check_pubkey( &grp, &R ) == 0 );
  76. TEST_ASSERT( mbedtls_ecp_mul( &grp, &R, &dA, &R,
  77. &rnd_pseudo_rand, &rnd_info ) == 0 );
  78. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &R.X, &xZ ) == 0 );
  79. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &R.Y, &yZ ) == 0 );
  80. TEST_ASSERT( mbedtls_ecp_check_pubkey( &grp, &R ) == 0 );
  81. exit:
  82. mbedtls_ecp_group_free( &grp ); mbedtls_ecp_point_free( &R );
  83. mbedtls_mpi_free( &dA ); mbedtls_mpi_free( &xA ); mbedtls_mpi_free( &yA ); mbedtls_mpi_free( &dB );
  84. mbedtls_mpi_free( &xB ); mbedtls_mpi_free( &yB ); mbedtls_mpi_free( &xZ ); mbedtls_mpi_free( &yZ );
  85. }
  86. /* END_CASE */
  87. /* BEGIN_CASE */
  88. void ecp_test_vec_x( int id, char *dA_hex, char *xA_hex,
  89. char *dB_hex, char *xB_hex, char *xS_hex )
  90. {
  91. mbedtls_ecp_group grp;
  92. mbedtls_ecp_point R;
  93. mbedtls_mpi dA, xA, dB, xB, xS;
  94. rnd_pseudo_info rnd_info;
  95. mbedtls_ecp_group_init( &grp ); mbedtls_ecp_point_init( &R );
  96. mbedtls_mpi_init( &dA ); mbedtls_mpi_init( &xA );
  97. mbedtls_mpi_init( &dB ); mbedtls_mpi_init( &xB );
  98. mbedtls_mpi_init( &xS );
  99. memset( &rnd_info, 0x00, sizeof( rnd_pseudo_info ) );
  100. TEST_ASSERT( mbedtls_ecp_group_load( &grp, id ) == 0 );
  101. TEST_ASSERT( mbedtls_ecp_check_pubkey( &grp, &grp.G ) == 0 );
  102. TEST_ASSERT( mbedtls_mpi_read_string( &dA, 16, dA_hex ) == 0 );
  103. TEST_ASSERT( mbedtls_mpi_read_string( &dB, 16, dB_hex ) == 0 );
  104. TEST_ASSERT( mbedtls_mpi_read_string( &xA, 16, xA_hex ) == 0 );
  105. TEST_ASSERT( mbedtls_mpi_read_string( &xB, 16, xB_hex ) == 0 );
  106. TEST_ASSERT( mbedtls_mpi_read_string( &xS, 16, xS_hex ) == 0 );
  107. TEST_ASSERT( mbedtls_ecp_mul( &grp, &R, &dA, &grp.G,
  108. &rnd_pseudo_rand, &rnd_info ) == 0 );
  109. TEST_ASSERT( mbedtls_ecp_check_pubkey( &grp, &R ) == 0 );
  110. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &R.X, &xA ) == 0 );
  111. TEST_ASSERT( mbedtls_ecp_mul( &grp, &R, &dB, &R,
  112. &rnd_pseudo_rand, &rnd_info ) == 0 );
  113. TEST_ASSERT( mbedtls_ecp_check_pubkey( &grp, &R ) == 0 );
  114. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &R.X, &xS ) == 0 );
  115. TEST_ASSERT( mbedtls_ecp_mul( &grp, &R, &dB, &grp.G, NULL, NULL ) == 0 );
  116. TEST_ASSERT( mbedtls_ecp_check_pubkey( &grp, &R ) == 0 );
  117. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &R.X, &xB ) == 0 );
  118. TEST_ASSERT( mbedtls_ecp_mul( &grp, &R, &dA, &R, NULL, NULL ) == 0 );
  119. TEST_ASSERT( mbedtls_ecp_check_pubkey( &grp, &R ) == 0 );
  120. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &R.X, &xS ) == 0 );
  121. exit:
  122. mbedtls_ecp_group_free( &grp ); mbedtls_ecp_point_free( &R );
  123. mbedtls_mpi_free( &dA ); mbedtls_mpi_free( &xA );
  124. mbedtls_mpi_free( &dB ); mbedtls_mpi_free( &xB );
  125. mbedtls_mpi_free( &xS );
  126. }
  127. /* END_CASE */
  128. /* BEGIN_CASE */
  129. void ecp_fast_mod( int id, char *N_str )
  130. {
  131. mbedtls_ecp_group grp;
  132. mbedtls_mpi N, R;
  133. mbedtls_mpi_init( &N ); mbedtls_mpi_init( &R );
  134. mbedtls_ecp_group_init( &grp );
  135. TEST_ASSERT( mbedtls_mpi_read_string( &N, 16, N_str ) == 0 );
  136. TEST_ASSERT( mbedtls_ecp_group_load( &grp, id ) == 0 );
  137. TEST_ASSERT( grp.modp != NULL );
  138. /*
  139. * Store correct result before we touch N
  140. */
  141. TEST_ASSERT( mbedtls_mpi_mod_mpi( &R, &N, &grp.P ) == 0 );
  142. TEST_ASSERT( grp.modp( &N ) == 0 );
  143. TEST_ASSERT( mbedtls_mpi_bitlen( &N ) <= grp.pbits + 3 );
  144. /*
  145. * Use mod rather than addition/subtraction in case previous test fails
  146. */
  147. TEST_ASSERT( mbedtls_mpi_mod_mpi( &N, &N, &grp.P ) == 0 );
  148. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &N, &R ) == 0 );
  149. exit:
  150. mbedtls_mpi_free( &N ); mbedtls_mpi_free( &R );
  151. mbedtls_ecp_group_free( &grp );
  152. }
  153. /* END_CASE */
  154. /* BEGIN_CASE */
  155. void ecp_write_binary( int id, char *x, char *y, char *z, int format,
  156. char *out, int blen, int ret )
  157. {
  158. mbedtls_ecp_group grp;
  159. mbedtls_ecp_point P;
  160. unsigned char buf[256], str[512];
  161. size_t olen;
  162. memset( buf, 0, sizeof( buf ) );
  163. memset( str, 0, sizeof( str ) );
  164. mbedtls_ecp_group_init( &grp ); mbedtls_ecp_point_init( &P );
  165. TEST_ASSERT( mbedtls_ecp_group_load( &grp, id ) == 0 );
  166. TEST_ASSERT( mbedtls_mpi_read_string( &P.X, 16, x ) == 0 );
  167. TEST_ASSERT( mbedtls_mpi_read_string( &P.Y, 16, y ) == 0 );
  168. TEST_ASSERT( mbedtls_mpi_read_string( &P.Z, 16, z ) == 0 );
  169. TEST_ASSERT( mbedtls_ecp_point_write_binary( &grp, &P, format,
  170. &olen, buf, blen ) == ret );
  171. if( ret == 0 )
  172. {
  173. hexify( str, buf, olen );
  174. TEST_ASSERT( strcasecmp( (char *) str, out ) == 0 );
  175. }
  176. exit:
  177. mbedtls_ecp_group_free( &grp ); mbedtls_ecp_point_free( &P );
  178. }
  179. /* END_CASE */
  180. /* BEGIN_CASE */
  181. void ecp_read_binary( int id, char *input, char *x, char *y, char *z,
  182. int ret )
  183. {
  184. mbedtls_ecp_group grp;
  185. mbedtls_ecp_point P;
  186. mbedtls_mpi X, Y, Z;
  187. int ilen;
  188. unsigned char buf[256];
  189. memset( buf, 0, sizeof( buf ) );
  190. mbedtls_ecp_group_init( &grp ); mbedtls_ecp_point_init( &P );
  191. mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &Z );
  192. TEST_ASSERT( mbedtls_ecp_group_load( &grp, id ) == 0 );
  193. TEST_ASSERT( mbedtls_mpi_read_string( &X, 16, x ) == 0 );
  194. TEST_ASSERT( mbedtls_mpi_read_string( &Y, 16, y ) == 0 );
  195. TEST_ASSERT( mbedtls_mpi_read_string( &Z, 16, z ) == 0 );
  196. ilen = unhexify( buf, input );
  197. TEST_ASSERT( mbedtls_ecp_point_read_binary( &grp, &P, buf, ilen ) == ret );
  198. if( ret == 0 )
  199. {
  200. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &P.X, &X ) == 0 );
  201. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &P.Y, &Y ) == 0 );
  202. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &P.Z, &Z ) == 0 );
  203. }
  204. exit:
  205. mbedtls_ecp_group_free( &grp ); mbedtls_ecp_point_free( &P );
  206. mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &Z );
  207. }
  208. /* END_CASE */
  209. /* BEGIN_CASE */
  210. void mbedtls_ecp_tls_read_point( int id, char *input, char *x, char *y, char *z,
  211. int ret )
  212. {
  213. mbedtls_ecp_group grp;
  214. mbedtls_ecp_point P;
  215. mbedtls_mpi X, Y, Z;
  216. size_t ilen;
  217. unsigned char buf[256];
  218. const unsigned char *vbuf = buf;
  219. memset( buf, 0, sizeof( buf ) );
  220. mbedtls_ecp_group_init( &grp ); mbedtls_ecp_point_init( &P );
  221. mbedtls_mpi_init( &X ); mbedtls_mpi_init( &Y ); mbedtls_mpi_init( &Z );
  222. TEST_ASSERT( mbedtls_ecp_group_load( &grp, id ) == 0 );
  223. TEST_ASSERT( mbedtls_mpi_read_string( &X, 16, x ) == 0 );
  224. TEST_ASSERT( mbedtls_mpi_read_string( &Y, 16, y ) == 0 );
  225. TEST_ASSERT( mbedtls_mpi_read_string( &Z, 16, z ) == 0 );
  226. ilen = unhexify( buf, input );
  227. TEST_ASSERT( mbedtls_ecp_tls_read_point( &grp, &P, &vbuf, ilen ) == ret );
  228. if( ret == 0 )
  229. {
  230. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &P.X, &X ) == 0 );
  231. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &P.Y, &Y ) == 0 );
  232. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &P.Z, &Z ) == 0 );
  233. TEST_ASSERT( *vbuf == 0x00 );
  234. }
  235. exit:
  236. mbedtls_ecp_group_free( &grp ); mbedtls_ecp_point_free( &P );
  237. mbedtls_mpi_free( &X ); mbedtls_mpi_free( &Y ); mbedtls_mpi_free( &Z );
  238. }
  239. /* END_CASE */
  240. /* BEGIN_CASE */
  241. void ecp_tls_write_read_point( int id )
  242. {
  243. mbedtls_ecp_group grp;
  244. mbedtls_ecp_point pt;
  245. unsigned char buf[256];
  246. const unsigned char *vbuf;
  247. size_t olen;
  248. mbedtls_ecp_group_init( &grp );
  249. mbedtls_ecp_point_init( &pt );
  250. TEST_ASSERT( mbedtls_ecp_group_load( &grp, id ) == 0 );
  251. memset( buf, 0x00, sizeof( buf ) ); vbuf = buf;
  252. TEST_ASSERT( mbedtls_ecp_tls_write_point( &grp, &grp.G,
  253. MBEDTLS_ECP_PF_COMPRESSED, &olen, buf, 256 ) == 0 );
  254. TEST_ASSERT( mbedtls_ecp_tls_read_point( &grp, &pt, &vbuf, olen )
  255. == MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE );
  256. TEST_ASSERT( vbuf == buf + olen );
  257. memset( buf, 0x00, sizeof( buf ) ); vbuf = buf;
  258. TEST_ASSERT( mbedtls_ecp_tls_write_point( &grp, &grp.G,
  259. MBEDTLS_ECP_PF_UNCOMPRESSED, &olen, buf, 256 ) == 0 );
  260. TEST_ASSERT( mbedtls_ecp_tls_read_point( &grp, &pt, &vbuf, olen ) == 0 );
  261. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &grp.G.X, &pt.X ) == 0 );
  262. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &grp.G.Y, &pt.Y ) == 0 );
  263. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &grp.G.Z, &pt.Z ) == 0 );
  264. TEST_ASSERT( vbuf == buf + olen );
  265. memset( buf, 0x00, sizeof( buf ) ); vbuf = buf;
  266. TEST_ASSERT( mbedtls_ecp_set_zero( &pt ) == 0 );
  267. TEST_ASSERT( mbedtls_ecp_tls_write_point( &grp, &pt,
  268. MBEDTLS_ECP_PF_COMPRESSED, &olen, buf, 256 ) == 0 );
  269. TEST_ASSERT( mbedtls_ecp_tls_read_point( &grp, &pt, &vbuf, olen ) == 0 );
  270. TEST_ASSERT( mbedtls_ecp_is_zero( &pt ) );
  271. TEST_ASSERT( vbuf == buf + olen );
  272. memset( buf, 0x00, sizeof( buf ) ); vbuf = buf;
  273. TEST_ASSERT( mbedtls_ecp_set_zero( &pt ) == 0 );
  274. TEST_ASSERT( mbedtls_ecp_tls_write_point( &grp, &pt,
  275. MBEDTLS_ECP_PF_UNCOMPRESSED, &olen, buf, 256 ) == 0 );
  276. TEST_ASSERT( mbedtls_ecp_tls_read_point( &grp, &pt, &vbuf, olen ) == 0 );
  277. TEST_ASSERT( mbedtls_ecp_is_zero( &pt ) );
  278. TEST_ASSERT( vbuf == buf + olen );
  279. exit:
  280. mbedtls_ecp_group_free( &grp );
  281. mbedtls_ecp_point_free( &pt );
  282. }
  283. /* END_CASE */
  284. /* BEGIN_CASE */
  285. void mbedtls_ecp_tls_read_group( char *record, int result, int bits )
  286. {
  287. mbedtls_ecp_group grp;
  288. unsigned char buf[10];
  289. const unsigned char *vbuf = buf;
  290. int len, ret;
  291. mbedtls_ecp_group_init( &grp );
  292. memset( buf, 0x00, sizeof( buf ) );
  293. len = unhexify( buf, record );
  294. ret = mbedtls_ecp_tls_read_group( &grp, &vbuf, len );
  295. TEST_ASSERT( ret == result );
  296. if( ret == 0)
  297. {
  298. TEST_ASSERT( mbedtls_mpi_bitlen( &grp.P ) == (size_t) bits );
  299. TEST_ASSERT( *vbuf == 0x00 );
  300. }
  301. exit:
  302. mbedtls_ecp_group_free( &grp );
  303. }
  304. /* END_CASE */
  305. /* BEGIN_CASE */
  306. void ecp_tls_write_read_group( int id )
  307. {
  308. mbedtls_ecp_group grp1, grp2;
  309. unsigned char buf[10];
  310. const unsigned char *vbuf = buf;
  311. size_t len;
  312. int ret;
  313. mbedtls_ecp_group_init( &grp1 );
  314. mbedtls_ecp_group_init( &grp2 );
  315. memset( buf, 0x00, sizeof( buf ) );
  316. TEST_ASSERT( mbedtls_ecp_group_load( &grp1, id ) == 0 );
  317. TEST_ASSERT( mbedtls_ecp_tls_write_group( &grp1, &len, buf, 10 ) == 0 );
  318. ret = mbedtls_ecp_tls_read_group( &grp2, &vbuf, len );
  319. TEST_ASSERT( ret == 0 );
  320. if( ret == 0 )
  321. {
  322. TEST_ASSERT( mbedtls_mpi_cmp_mpi( &grp1.N, &grp2.N ) == 0 );
  323. TEST_ASSERT( grp1.id == grp2.id );
  324. }
  325. exit:
  326. mbedtls_ecp_group_free( &grp1 );
  327. mbedtls_ecp_group_free( &grp2 );
  328. }
  329. /* END_CASE */
  330. /* BEGIN_CASE */
  331. void mbedtls_ecp_check_privkey( int id, char *key_hex, int ret )
  332. {
  333. mbedtls_ecp_group grp;
  334. mbedtls_mpi d;
  335. mbedtls_ecp_group_init( &grp );
  336. mbedtls_mpi_init( &d );
  337. TEST_ASSERT( mbedtls_ecp_group_load( &grp, id ) == 0 );
  338. TEST_ASSERT( mbedtls_mpi_read_string( &d, 16, key_hex ) == 0 );
  339. TEST_ASSERT( mbedtls_ecp_check_privkey( &grp, &d ) == ret );
  340. exit:
  341. mbedtls_ecp_group_free( &grp );
  342. mbedtls_mpi_free( &d );
  343. }
  344. /* END_CASE */
  345. /* BEGIN_CASE */
  346. void mbedtls_ecp_check_pub_priv( int id_pub, char *Qx_pub, char *Qy_pub,
  347. int id, char *d, char *Qx, char *Qy, int ret )
  348. {
  349. mbedtls_ecp_keypair pub, prv;
  350. mbedtls_ecp_keypair_init( &pub );
  351. mbedtls_ecp_keypair_init( &prv );
  352. if( id_pub != MBEDTLS_ECP_DP_NONE )
  353. TEST_ASSERT( mbedtls_ecp_group_load( &pub.grp, id_pub ) == 0 );
  354. TEST_ASSERT( mbedtls_ecp_point_read_string( &pub.Q, 16, Qx_pub, Qy_pub ) == 0 );
  355. if( id != MBEDTLS_ECP_DP_NONE )
  356. TEST_ASSERT( mbedtls_ecp_group_load( &prv.grp, id ) == 0 );
  357. TEST_ASSERT( mbedtls_ecp_point_read_string( &prv.Q, 16, Qx, Qy ) == 0 );
  358. TEST_ASSERT( mbedtls_mpi_read_string( &prv.d, 16, d ) == 0 );
  359. TEST_ASSERT( mbedtls_ecp_check_pub_priv( &pub, &prv ) == ret );
  360. exit:
  361. mbedtls_ecp_keypair_free( &pub );
  362. mbedtls_ecp_keypair_free( &prv );
  363. }
  364. /* END_CASE */
  365. /* BEGIN_CASE */
  366. void mbedtls_ecp_gen_keypair( int id )
  367. {
  368. mbedtls_ecp_group grp;
  369. mbedtls_ecp_point Q;
  370. mbedtls_mpi d;
  371. rnd_pseudo_info rnd_info;
  372. mbedtls_ecp_group_init( &grp );
  373. mbedtls_ecp_point_init( &Q );
  374. mbedtls_mpi_init( &d );
  375. memset( &rnd_info, 0x00, sizeof( rnd_pseudo_info ) );
  376. TEST_ASSERT( mbedtls_ecp_group_load( &grp, id ) == 0 );
  377. TEST_ASSERT( mbedtls_ecp_gen_keypair( &grp, &d, &Q, &rnd_pseudo_rand, &rnd_info )
  378. == 0 );
  379. TEST_ASSERT( mbedtls_ecp_check_pubkey( &grp, &Q ) == 0 );
  380. TEST_ASSERT( mbedtls_ecp_check_privkey( &grp, &d ) == 0 );
  381. exit:
  382. mbedtls_ecp_group_free( &grp );
  383. mbedtls_ecp_point_free( &Q );
  384. mbedtls_mpi_free( &d );
  385. }
  386. /* END_CASE */
  387. /* BEGIN_CASE */
  388. void mbedtls_ecp_gen_key( int id )
  389. {
  390. mbedtls_ecp_keypair key;
  391. rnd_pseudo_info rnd_info;
  392. mbedtls_ecp_keypair_init( &key );
  393. memset( &rnd_info, 0x00, sizeof( rnd_pseudo_info ) );
  394. TEST_ASSERT( mbedtls_ecp_gen_key( id, &key, &rnd_pseudo_rand, &rnd_info ) == 0 );
  395. TEST_ASSERT( mbedtls_ecp_check_pubkey( &key.grp, &key.Q ) == 0 );
  396. TEST_ASSERT( mbedtls_ecp_check_privkey( &key.grp, &key.d ) == 0 );
  397. exit:
  398. mbedtls_ecp_keypair_free( &key );
  399. }
  400. /* END_CASE */
  401. /* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST */
  402. void ecp_selftest()
  403. {
  404. TEST_ASSERT( mbedtls_ecp_self_test( 1 ) == 0 );
  405. }
  406. /* END_CASE */