Você não pode selecionar mais de 25 tópicos Os tópicos devem começar com uma letra ou um número, podem incluir traços ('-') e podem ter até 35 caracteres.
 
 
 
 
 
 

865 linhas
27 KiB

  1. /* Originally written by Bodo Moeller for the OpenSSL project.
  2. * ====================================================================
  3. * Copyright (c) 1998-2005 The OpenSSL Project. All rights reserved.
  4. *
  5. * Redistribution and use in source and binary forms, with or without
  6. * modification, are permitted provided that the following conditions
  7. * are met:
  8. *
  9. * 1. Redistributions of source code must retain the above copyright
  10. * notice, this list of conditions and the following disclaimer.
  11. *
  12. * 2. Redistributions in binary form must reproduce the above copyright
  13. * notice, this list of conditions and the following disclaimer in
  14. * the documentation and/or other materials provided with the
  15. * distribution.
  16. *
  17. * 3. All advertising materials mentioning features or use of this
  18. * software must display the following acknowledgment:
  19. * "This product includes software developed by the OpenSSL Project
  20. * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
  21. *
  22. * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
  23. * endorse or promote products derived from this software without
  24. * prior written permission. For written permission, please contact
  25. * openssl-core@openssl.org.
  26. *
  27. * 5. Products derived from this software may not be called "OpenSSL"
  28. * nor may "OpenSSL" appear in their names without prior written
  29. * permission of the OpenSSL Project.
  30. *
  31. * 6. Redistributions of any form whatsoever must retain the following
  32. * acknowledgment:
  33. * "This product includes software developed by the OpenSSL Project
  34. * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
  35. *
  36. * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
  37. * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  38. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
  39. * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
  40. * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  41. * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  42. * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
  43. * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  44. * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
  45. * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
  46. * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
  47. * OF THE POSSIBILITY OF SUCH DAMAGE.
  48. * ====================================================================
  49. *
  50. * This product includes cryptographic software written by Eric Young
  51. * (eay@cryptsoft.com). This product includes software written by Tim
  52. * Hudson (tjh@cryptsoft.com).
  53. *
  54. */
  55. /* ====================================================================
  56. * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
  57. *
  58. * Portions of the attached software ("Contribution") are developed by
  59. * SUN MICROSYSTEMS, INC., and are contributed to the OpenSSL project.
  60. *
  61. * The Contribution is licensed pursuant to the OpenSSL open source
  62. * license provided above.
  63. *
  64. * The elliptic curve binary polynomial software is originally written by
  65. * Sheueling Chang Shantz and Douglas Stebila of Sun Microsystems
  66. * Laboratories. */
  67. #include <openssl/ec.h>
  68. #include <string.h>
  69. #include <openssl/bn.h>
  70. #include <openssl/err.h>
  71. #include <openssl/mem.h>
  72. #include <openssl/obj.h>
  73. #include "internal.h"
  74. static const struct curve_data P224 = {
  75. "NIST P-224",
  76. 28,
  77. 1,
  78. {/* p */
  79. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  80. 0xFF, 0xFF, 0xFF, 0xFF, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  81. 0x00, 0x00, 0x00, 0x01,
  82. /* a */
  83. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  84. 0xFF, 0xFF, 0xFF, 0xFE, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  85. 0xFF, 0xFF, 0xFF, 0xFE,
  86. /* b */
  87. 0xB4, 0x05, 0x0A, 0x85, 0x0C, 0x04, 0xB3, 0xAB, 0xF5, 0x41, 0x32, 0x56,
  88. 0x50, 0x44, 0xB0, 0xB7, 0xD7, 0xBF, 0xD8, 0xBA, 0x27, 0x0B, 0x39, 0x43,
  89. 0x23, 0x55, 0xFF, 0xB4,
  90. /* x */
  91. 0xB7, 0x0E, 0x0C, 0xBD, 0x6B, 0xB4, 0xBF, 0x7F, 0x32, 0x13, 0x90, 0xB9,
  92. 0x4A, 0x03, 0xC1, 0xD3, 0x56, 0xC2, 0x11, 0x22, 0x34, 0x32, 0x80, 0xD6,
  93. 0x11, 0x5C, 0x1D, 0x21,
  94. /* y */
  95. 0xbd, 0x37, 0x63, 0x88, 0xb5, 0xf7, 0x23, 0xfb, 0x4c, 0x22, 0xdf, 0xe6,
  96. 0xcd, 0x43, 0x75, 0xa0, 0x5a, 0x07, 0x47, 0x64, 0x44, 0xd5, 0x81, 0x99,
  97. 0x85, 0x00, 0x7e, 0x34,
  98. /* order */
  99. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  100. 0xFF, 0xFF, 0x16, 0xA2, 0xE0, 0xB8, 0xF0, 0x3E, 0x13, 0xDD, 0x29, 0x45,
  101. 0x5C, 0x5C, 0x2A, 0x3D,
  102. }};
  103. static const struct curve_data P256 = {
  104. "NIST P-256",
  105. 32,
  106. 1,
  107. {/* p */
  108. 0xFF, 0xFF, 0xFF, 0xFF, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00,
  109. 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xFF, 0xFF, 0xFF, 0xFF,
  110. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  111. /* a */
  112. 0xFF, 0xFF, 0xFF, 0xFF, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x00,
  113. 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xFF, 0xFF, 0xFF, 0xFF,
  114. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFC,
  115. /* b */
  116. 0x5A, 0xC6, 0x35, 0xD8, 0xAA, 0x3A, 0x93, 0xE7, 0xB3, 0xEB, 0xBD, 0x55,
  117. 0x76, 0x98, 0x86, 0xBC, 0x65, 0x1D, 0x06, 0xB0, 0xCC, 0x53, 0xB0, 0xF6,
  118. 0x3B, 0xCE, 0x3C, 0x3E, 0x27, 0xD2, 0x60, 0x4B,
  119. /* x */
  120. 0x6B, 0x17, 0xD1, 0xF2, 0xE1, 0x2C, 0x42, 0x47, 0xF8, 0xBC, 0xE6, 0xE5,
  121. 0x63, 0xA4, 0x40, 0xF2, 0x77, 0x03, 0x7D, 0x81, 0x2D, 0xEB, 0x33, 0xA0,
  122. 0xF4, 0xA1, 0x39, 0x45, 0xD8, 0x98, 0xC2, 0x96,
  123. /* y */
  124. 0x4f, 0xe3, 0x42, 0xe2, 0xfe, 0x1a, 0x7f, 0x9b, 0x8e, 0xe7, 0xeb, 0x4a,
  125. 0x7c, 0x0f, 0x9e, 0x16, 0x2b, 0xce, 0x33, 0x57, 0x6b, 0x31, 0x5e, 0xce,
  126. 0xcb, 0xb6, 0x40, 0x68, 0x37, 0xbf, 0x51, 0xf5,
  127. /* order */
  128. 0xFF, 0xFF, 0xFF, 0xFF, 0x00, 0x00, 0x00, 0x00, 0xFF, 0xFF, 0xFF, 0xFF,
  129. 0xFF, 0xFF, 0xFF, 0xFF, 0xBC, 0xE6, 0xFA, 0xAD, 0xA7, 0x17, 0x9E, 0x84,
  130. 0xF3, 0xB9, 0xCA, 0xC2, 0xFC, 0x63, 0x25, 0x51}};
  131. static const struct curve_data P384 = {
  132. "NIST P-384",
  133. 48,
  134. 1,
  135. {/* p */
  136. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  137. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  138. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFE, 0xFF, 0xFF, 0xFF, 0xFF,
  139. 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xFF, 0xFF, 0xFF, 0xFF,
  140. /* a */
  141. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  142. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  143. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFE, 0xFF, 0xFF, 0xFF, 0xFF,
  144. 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xFF, 0xFF, 0xFF, 0xFC,
  145. /* b */
  146. 0xB3, 0x31, 0x2F, 0xA7, 0xE2, 0x3E, 0xE7, 0xE4, 0x98, 0x8E, 0x05, 0x6B,
  147. 0xE3, 0xF8, 0x2D, 0x19, 0x18, 0x1D, 0x9C, 0x6E, 0xFE, 0x81, 0x41, 0x12,
  148. 0x03, 0x14, 0x08, 0x8F, 0x50, 0x13, 0x87, 0x5A, 0xC6, 0x56, 0x39, 0x8D,
  149. 0x8A, 0x2E, 0xD1, 0x9D, 0x2A, 0x85, 0xC8, 0xED, 0xD3, 0xEC, 0x2A, 0xEF,
  150. /* x */
  151. 0xAA, 0x87, 0xCA, 0x22, 0xBE, 0x8B, 0x05, 0x37, 0x8E, 0xB1, 0xC7, 0x1E,
  152. 0xF3, 0x20, 0xAD, 0x74, 0x6E, 0x1D, 0x3B, 0x62, 0x8B, 0xA7, 0x9B, 0x98,
  153. 0x59, 0xF7, 0x41, 0xE0, 0x82, 0x54, 0x2A, 0x38, 0x55, 0x02, 0xF2, 0x5D,
  154. 0xBF, 0x55, 0x29, 0x6C, 0x3A, 0x54, 0x5E, 0x38, 0x72, 0x76, 0x0A, 0xB7,
  155. /* y */
  156. 0x36, 0x17, 0xde, 0x4a, 0x96, 0x26, 0x2c, 0x6f, 0x5d, 0x9e, 0x98, 0xbf,
  157. 0x92, 0x92, 0xdc, 0x29, 0xf8, 0xf4, 0x1d, 0xbd, 0x28, 0x9a, 0x14, 0x7c,
  158. 0xe9, 0xda, 0x31, 0x13, 0xb5, 0xf0, 0xb8, 0xc0, 0x0a, 0x60, 0xb1, 0xce,
  159. 0x1d, 0x7e, 0x81, 0x9d, 0x7a, 0x43, 0x1d, 0x7c, 0x90, 0xea, 0x0e, 0x5f,
  160. /* order */
  161. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  162. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  163. 0xC7, 0x63, 0x4D, 0x81, 0xF4, 0x37, 0x2D, 0xDF, 0x58, 0x1A, 0x0D, 0xB2,
  164. 0x48, 0xB0, 0xA7, 0x7A, 0xEC, 0xEC, 0x19, 0x6A, 0xCC, 0xC5, 0x29, 0x73}};
  165. static const struct curve_data P521 = {
  166. "NIST P-521",
  167. 66,
  168. 1,
  169. {/* p */
  170. 0x01, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  171. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  172. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  173. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  174. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  175. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  176. /* a */
  177. 0x01, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  178. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  179. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  180. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  181. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  182. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFC,
  183. /* b */
  184. 0x00, 0x51, 0x95, 0x3E, 0xB9, 0x61, 0x8E, 0x1C, 0x9A, 0x1F, 0x92, 0x9A,
  185. 0x21, 0xA0, 0xB6, 0x85, 0x40, 0xEE, 0xA2, 0xDA, 0x72, 0x5B, 0x99, 0xB3,
  186. 0x15, 0xF3, 0xB8, 0xB4, 0x89, 0x91, 0x8E, 0xF1, 0x09, 0xE1, 0x56, 0x19,
  187. 0x39, 0x51, 0xEC, 0x7E, 0x93, 0x7B, 0x16, 0x52, 0xC0, 0xBD, 0x3B, 0xB1,
  188. 0xBF, 0x07, 0x35, 0x73, 0xDF, 0x88, 0x3D, 0x2C, 0x34, 0xF1, 0xEF, 0x45,
  189. 0x1F, 0xD4, 0x6B, 0x50, 0x3F, 0x00,
  190. /* x */
  191. 0x00, 0xC6, 0x85, 0x8E, 0x06, 0xB7, 0x04, 0x04, 0xE9, 0xCD, 0x9E, 0x3E,
  192. 0xCB, 0x66, 0x23, 0x95, 0xB4, 0x42, 0x9C, 0x64, 0x81, 0x39, 0x05, 0x3F,
  193. 0xB5, 0x21, 0xF8, 0x28, 0xAF, 0x60, 0x6B, 0x4D, 0x3D, 0xBA, 0xA1, 0x4B,
  194. 0x5E, 0x77, 0xEF, 0xE7, 0x59, 0x28, 0xFE, 0x1D, 0xC1, 0x27, 0xA2, 0xFF,
  195. 0xA8, 0xDE, 0x33, 0x48, 0xB3, 0xC1, 0x85, 0x6A, 0x42, 0x9B, 0xF9, 0x7E,
  196. 0x7E, 0x31, 0xC2, 0xE5, 0xBD, 0x66,
  197. /* y */
  198. 0x01, 0x18, 0x39, 0x29, 0x6a, 0x78, 0x9a, 0x3b, 0xc0, 0x04, 0x5c, 0x8a,
  199. 0x5f, 0xb4, 0x2c, 0x7d, 0x1b, 0xd9, 0x98, 0xf5, 0x44, 0x49, 0x57, 0x9b,
  200. 0x44, 0x68, 0x17, 0xaf, 0xbd, 0x17, 0x27, 0x3e, 0x66, 0x2c, 0x97, 0xee,
  201. 0x72, 0x99, 0x5e, 0xf4, 0x26, 0x40, 0xc5, 0x50, 0xb9, 0x01, 0x3f, 0xad,
  202. 0x07, 0x61, 0x35, 0x3c, 0x70, 0x86, 0xa2, 0x72, 0xc2, 0x40, 0x88, 0xbe,
  203. 0x94, 0x76, 0x9f, 0xd1, 0x66, 0x50,
  204. /* order */
  205. 0x01, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  206. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
  207. 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFA, 0x51, 0x86,
  208. 0x87, 0x83, 0xBF, 0x2F, 0x96, 0x6B, 0x7F, 0xCC, 0x01, 0x48, 0xF7, 0x09,
  209. 0xA5, 0xD0, 0x3B, 0xB5, 0xC9, 0xB8, 0x89, 0x9C, 0x47, 0xAE, 0xBB, 0x6F,
  210. 0xB7, 0x1E, 0x91, 0x38, 0x64, 0x09}};
  211. const struct built_in_curve OPENSSL_built_in_curves[] = {
  212. {NID_secp224r1, &P224, 0},
  213. {NID_X9_62_prime256v1, &P256, 0},
  214. {NID_secp384r1, &P384, 0},
  215. {NID_secp521r1, &P521, 0},
  216. {NID_undef, 0, 0},
  217. };
  218. EC_GROUP *ec_group_new(const EC_METHOD *meth) {
  219. EC_GROUP *ret;
  220. if (meth == NULL) {
  221. OPENSSL_PUT_ERROR(EC, ec_group_new, EC_R_SLOT_FULL);
  222. return NULL;
  223. }
  224. if (meth->group_init == 0) {
  225. OPENSSL_PUT_ERROR(EC, ec_group_new, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  226. return NULL;
  227. }
  228. ret = OPENSSL_malloc(sizeof(EC_GROUP));
  229. if (ret == NULL) {
  230. OPENSSL_PUT_ERROR(EC, ec_group_new, ERR_R_MALLOC_FAILURE);
  231. return NULL;
  232. }
  233. memset(ret, 0, sizeof(EC_GROUP));
  234. ret->meth = meth;
  235. BN_init(&ret->order);
  236. BN_init(&ret->cofactor);
  237. if (!meth->group_init(ret)) {
  238. OPENSSL_free(ret);
  239. return NULL;
  240. }
  241. return ret;
  242. }
  243. static EC_GROUP *ec_group_new_curve_GFp(const BIGNUM *p, const BIGNUM *a,
  244. const BIGNUM *b, BN_CTX *ctx) {
  245. const EC_METHOD *meth = EC_GFp_mont_method();
  246. EC_GROUP *ret;
  247. ret = ec_group_new(meth);
  248. if (ret == NULL) {
  249. return NULL;
  250. }
  251. if (ret->meth->group_set_curve == 0) {
  252. OPENSSL_PUT_ERROR(EC, ec_group_new_curve_GFp,
  253. ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  254. return 0;
  255. }
  256. if (!ret->meth->group_set_curve(ret, p, a, b, ctx)) {
  257. EC_GROUP_free(ret);
  258. return NULL;
  259. }
  260. return ret;
  261. }
  262. static EC_GROUP *ec_group_new_from_data(const struct built_in_curve *curve) {
  263. EC_GROUP *group = NULL;
  264. EC_POINT *P = NULL;
  265. BN_CTX *ctx = NULL;
  266. BIGNUM *p = NULL, *a = NULL, *b = NULL, *x = NULL, *y = NULL, *order = NULL;
  267. int ok = 0;
  268. unsigned param_len;
  269. const EC_METHOD *meth;
  270. const struct curve_data *data;
  271. const uint8_t *params;
  272. if ((ctx = BN_CTX_new()) == NULL) {
  273. OPENSSL_PUT_ERROR(EC, ec_group_new_from_data, ERR_R_MALLOC_FAILURE);
  274. goto err;
  275. }
  276. data = curve->data;
  277. param_len = data->param_len;
  278. params = data->data;
  279. if (!(p = BN_bin2bn(params + 0 * param_len, param_len, NULL)) ||
  280. !(a = BN_bin2bn(params + 1 * param_len, param_len, NULL)) ||
  281. !(b = BN_bin2bn(params + 2 * param_len, param_len, NULL))) {
  282. OPENSSL_PUT_ERROR(EC, ec_group_new_from_data, ERR_R_BN_LIB);
  283. goto err;
  284. }
  285. if (curve->method != 0) {
  286. meth = curve->method();
  287. if (((group = ec_group_new(meth)) == NULL) ||
  288. (!(group->meth->group_set_curve(group, p, a, b, ctx)))) {
  289. OPENSSL_PUT_ERROR(EC, ec_group_new_from_data, ERR_R_EC_LIB);
  290. goto err;
  291. }
  292. } else {
  293. if ((group = ec_group_new_curve_GFp(p, a, b, ctx)) == NULL) {
  294. OPENSSL_PUT_ERROR(EC, ec_group_new_from_data, ERR_R_EC_LIB);
  295. goto err;
  296. }
  297. }
  298. if ((P = EC_POINT_new(group)) == NULL) {
  299. OPENSSL_PUT_ERROR(EC, ec_group_new_from_data, ERR_R_EC_LIB);
  300. goto err;
  301. }
  302. if (!(x = BN_bin2bn(params + 3 * param_len, param_len, NULL)) ||
  303. !(y = BN_bin2bn(params + 4 * param_len, param_len, NULL))) {
  304. OPENSSL_PUT_ERROR(EC, ec_group_new_from_data, ERR_R_BN_LIB);
  305. goto err;
  306. }
  307. if (!EC_POINT_set_affine_coordinates_GFp(group, P, x, y, ctx)) {
  308. OPENSSL_PUT_ERROR(EC, ec_group_new_from_data, ERR_R_EC_LIB);
  309. goto err;
  310. }
  311. if (!(order = BN_bin2bn(params + 5 * param_len, param_len, NULL)) ||
  312. !BN_set_word(x, (BN_ULONG)data->cofactor)) {
  313. OPENSSL_PUT_ERROR(EC, ec_group_new_from_data, ERR_R_BN_LIB);
  314. goto err;
  315. }
  316. group->generator = P;
  317. P = NULL;
  318. if (!BN_copy(&group->order, order) ||
  319. !BN_set_word(&group->cofactor, (BN_ULONG)data->cofactor)) {
  320. OPENSSL_PUT_ERROR(EC, ec_group_new_from_data, ERR_R_BN_LIB);
  321. goto err;
  322. }
  323. ok = 1;
  324. err:
  325. if (!ok) {
  326. EC_GROUP_free(group);
  327. group = NULL;
  328. }
  329. if (P) {
  330. EC_POINT_free(P);
  331. }
  332. if (ctx) {
  333. BN_CTX_free(ctx);
  334. }
  335. if (p) {
  336. BN_free(p);
  337. }
  338. if (a) {
  339. BN_free(a);
  340. }
  341. if (b) {
  342. BN_free(b);
  343. }
  344. if (order) {
  345. BN_free(order);
  346. }
  347. if (x) {
  348. BN_free(x);
  349. }
  350. if (y) {
  351. BN_free(y);
  352. }
  353. return group;
  354. }
  355. EC_GROUP *EC_GROUP_new_by_curve_name(int nid) {
  356. unsigned i;
  357. const struct built_in_curve *curve;
  358. EC_GROUP *ret = NULL;
  359. for (i = 0; OPENSSL_built_in_curves[i].nid != NID_undef; i++) {
  360. curve = &OPENSSL_built_in_curves[i];
  361. if (curve->nid == nid) {
  362. ret = ec_group_new_from_data(curve);
  363. break;
  364. }
  365. }
  366. if (ret == NULL) {
  367. OPENSSL_PUT_ERROR(EC, EC_GROUP_new_by_curve_name, EC_R_UNKNOWN_GROUP);
  368. return NULL;
  369. }
  370. ret->curve_name = nid;
  371. return ret;
  372. }
  373. void EC_GROUP_free(EC_GROUP *group) {
  374. if (!group) {
  375. return;
  376. }
  377. if (group->meth->group_finish != 0) {
  378. group->meth->group_finish(group);
  379. }
  380. ec_pre_comp_free(group->pre_comp);
  381. if (group->generator != NULL) {
  382. EC_POINT_free(group->generator);
  383. }
  384. BN_free(&group->order);
  385. BN_free(&group->cofactor);
  386. OPENSSL_free(group);
  387. }
  388. int EC_GROUP_copy(EC_GROUP *dest, const EC_GROUP *src) {
  389. if (dest->meth->group_copy == 0) {
  390. OPENSSL_PUT_ERROR(EC, EC_GROUP_copy, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  391. return 0;
  392. }
  393. if (dest->meth != src->meth) {
  394. OPENSSL_PUT_ERROR(EC, EC_GROUP_copy, EC_R_INCOMPATIBLE_OBJECTS);
  395. return 0;
  396. }
  397. if (dest == src) {
  398. return 1;
  399. }
  400. ec_pre_comp_free(dest->pre_comp);
  401. dest->pre_comp = ec_pre_comp_dup(src->pre_comp);
  402. if (src->generator != NULL) {
  403. if (dest->generator == NULL) {
  404. dest->generator = EC_POINT_new(dest);
  405. if (dest->generator == NULL) {
  406. return 0;
  407. }
  408. }
  409. if (!EC_POINT_copy(dest->generator, src->generator)) {
  410. return 0;
  411. }
  412. } else {
  413. /* src->generator == NULL */
  414. if (dest->generator != NULL) {
  415. EC_POINT_clear_free(dest->generator);
  416. dest->generator = NULL;
  417. }
  418. }
  419. if (!BN_copy(&dest->order, &src->order) ||
  420. !BN_copy(&dest->cofactor, &src->cofactor)) {
  421. return 0;
  422. }
  423. dest->curve_name = src->curve_name;
  424. return dest->meth->group_copy(dest, src);
  425. }
  426. EC_GROUP *EC_GROUP_dup(const EC_GROUP *a) {
  427. EC_GROUP *t = NULL;
  428. int ok = 0;
  429. if (a == NULL) {
  430. return NULL;
  431. }
  432. t = ec_group_new(a->meth);
  433. if (t == NULL) {
  434. return NULL;
  435. }
  436. if (!EC_GROUP_copy(t, a)) {
  437. goto err;
  438. }
  439. ok = 1;
  440. err:
  441. if (!ok) {
  442. if (t) {
  443. EC_GROUP_free(t);
  444. }
  445. return NULL;
  446. } else {
  447. return t;
  448. }
  449. }
  450. int EC_GROUP_cmp(const EC_GROUP *a, const EC_GROUP *b, BN_CTX *ignored) {
  451. if (a->curve_name == NID_undef || b->curve_name == NID_undef) {
  452. return 0;
  453. }
  454. return a->curve_name == b->curve_name;
  455. }
  456. const EC_POINT *EC_GROUP_get0_generator(const EC_GROUP *group) {
  457. return group->generator;
  458. }
  459. int EC_GROUP_get_order(const EC_GROUP *group, BIGNUM *order, BN_CTX *ctx) {
  460. if (!BN_copy(order, &group->order)) {
  461. return 0;
  462. }
  463. return !BN_is_zero(order);
  464. }
  465. int EC_GROUP_get_cofactor(const EC_GROUP *group, BIGNUM *cofactor,
  466. BN_CTX *ctx) {
  467. if (!BN_copy(cofactor, &group->cofactor)) {
  468. return 0;
  469. }
  470. return !BN_is_zero(&group->cofactor);
  471. }
  472. int EC_GROUP_get_curve_GFp(const EC_GROUP *group, BIGNUM *out_p, BIGNUM *out_a,
  473. BIGNUM *out_b, BN_CTX *ctx) {
  474. if (group->meth->group_get_curve == 0) {
  475. OPENSSL_PUT_ERROR(EC, EC_GROUP_get_curve_GFp,
  476. ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  477. return 0;
  478. }
  479. return group->meth->group_get_curve(group, out_p, out_a, out_b, ctx);
  480. }
  481. int EC_GROUP_get_curve_name(const EC_GROUP *group) { return group->curve_name; }
  482. int EC_GROUP_get_degree(const EC_GROUP *group) {
  483. if (group->meth->group_get_degree == 0) {
  484. OPENSSL_PUT_ERROR(EC, EC_GROUP_get_degree,
  485. ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  486. return 0;
  487. }
  488. return group->meth->group_get_degree(group);
  489. }
  490. int EC_GROUP_precompute_mult(EC_GROUP *group, BN_CTX *ctx) {
  491. if (group->meth->mul == 0) {
  492. /* use default */
  493. return ec_wNAF_precompute_mult(group, ctx);
  494. }
  495. if (group->meth->precompute_mult != 0) {
  496. return group->meth->precompute_mult(group, ctx);
  497. }
  498. return 1; /* nothing to do, so report success */
  499. }
  500. int EC_GROUP_have_precompute_mult(const EC_GROUP *group) {
  501. if (group->meth->mul == 0) {
  502. /* use default */
  503. return ec_wNAF_have_precompute_mult(group);
  504. }
  505. if (group->meth->have_precompute_mult != 0) {
  506. return group->meth->have_precompute_mult(group);
  507. }
  508. return 0; /* cannot tell whether precomputation has been performed */
  509. }
  510. EC_POINT *EC_POINT_new(const EC_GROUP *group) {
  511. EC_POINT *ret;
  512. if (group == NULL) {
  513. OPENSSL_PUT_ERROR(EC, EC_POINT_new, ERR_R_PASSED_NULL_PARAMETER);
  514. return NULL;
  515. }
  516. if (group->meth->point_init == 0) {
  517. OPENSSL_PUT_ERROR(EC, EC_POINT_new, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  518. return NULL;
  519. }
  520. ret = OPENSSL_malloc(sizeof *ret);
  521. if (ret == NULL) {
  522. OPENSSL_PUT_ERROR(EC, EC_POINT_new, ERR_R_MALLOC_FAILURE);
  523. return NULL;
  524. }
  525. ret->meth = group->meth;
  526. if (!ret->meth->point_init(ret)) {
  527. OPENSSL_free(ret);
  528. return NULL;
  529. }
  530. return ret;
  531. }
  532. void EC_POINT_free(EC_POINT *point) {
  533. if (!point) {
  534. return;
  535. }
  536. if (point->meth->point_finish != 0) {
  537. point->meth->point_finish(point);
  538. }
  539. OPENSSL_free(point);
  540. }
  541. void EC_POINT_clear_free(EC_POINT *point) {
  542. if (!point) {
  543. return;
  544. }
  545. if (point->meth->point_clear_finish != 0) {
  546. point->meth->point_clear_finish(point);
  547. } else if (point->meth->point_finish != 0) {
  548. point->meth->point_finish(point);
  549. }
  550. OPENSSL_cleanse(point, sizeof *point);
  551. OPENSSL_free(point);
  552. }
  553. int EC_POINT_copy(EC_POINT *dest, const EC_POINT *src) {
  554. if (dest->meth->point_copy == 0) {
  555. OPENSSL_PUT_ERROR(EC, EC_POINT_copy, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  556. return 0;
  557. }
  558. if (dest->meth != src->meth) {
  559. OPENSSL_PUT_ERROR(EC, EC_POINT_copy, EC_R_INCOMPATIBLE_OBJECTS);
  560. return 0;
  561. }
  562. if (dest == src) {
  563. return 1;
  564. }
  565. return dest->meth->point_copy(dest, src);
  566. }
  567. EC_POINT *EC_POINT_dup(const EC_POINT *a, const EC_GROUP *group) {
  568. EC_POINT *t;
  569. int r;
  570. if (a == NULL) {
  571. return NULL;
  572. }
  573. t = EC_POINT_new(group);
  574. if (t == NULL) {
  575. OPENSSL_PUT_ERROR(EC, EC_POINT_dup, ERR_R_MALLOC_FAILURE);
  576. return NULL;
  577. }
  578. r = EC_POINT_copy(t, a);
  579. if (!r) {
  580. EC_POINT_free(t);
  581. return NULL;
  582. } else {
  583. return t;
  584. }
  585. }
  586. int EC_POINT_set_to_infinity(const EC_GROUP *group, EC_POINT *point) {
  587. if (group->meth->point_set_to_infinity == 0) {
  588. OPENSSL_PUT_ERROR(EC, EC_POINT_set_to_infinity,
  589. ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  590. return 0;
  591. }
  592. if (group->meth != point->meth) {
  593. OPENSSL_PUT_ERROR(EC, EC_POINT_set_to_infinity, EC_R_INCOMPATIBLE_OBJECTS);
  594. return 0;
  595. }
  596. return group->meth->point_set_to_infinity(group, point);
  597. }
  598. int EC_POINT_is_at_infinity(const EC_GROUP *group, const EC_POINT *point) {
  599. if (group->meth->is_at_infinity == 0) {
  600. OPENSSL_PUT_ERROR(EC, EC_POINT_is_at_infinity,
  601. ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  602. return 0;
  603. }
  604. if (group->meth != point->meth) {
  605. OPENSSL_PUT_ERROR(EC, EC_POINT_is_at_infinity, EC_R_INCOMPATIBLE_OBJECTS);
  606. return 0;
  607. }
  608. return group->meth->is_at_infinity(group, point);
  609. }
  610. int EC_POINT_is_on_curve(const EC_GROUP *group, const EC_POINT *point,
  611. BN_CTX *ctx) {
  612. if (group->meth->is_on_curve == 0) {
  613. OPENSSL_PUT_ERROR(EC, EC_POINT_is_on_curve,
  614. ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  615. return 0;
  616. }
  617. if (group->meth != point->meth) {
  618. OPENSSL_PUT_ERROR(EC, EC_POINT_is_on_curve, EC_R_INCOMPATIBLE_OBJECTS);
  619. return 0;
  620. }
  621. return group->meth->is_on_curve(group, point, ctx);
  622. }
  623. int EC_POINT_cmp(const EC_GROUP *group, const EC_POINT *a, const EC_POINT *b,
  624. BN_CTX *ctx) {
  625. if (group->meth->point_cmp == 0) {
  626. OPENSSL_PUT_ERROR(EC, EC_POINT_cmp, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  627. return -1;
  628. }
  629. if ((group->meth != a->meth) || (a->meth != b->meth)) {
  630. OPENSSL_PUT_ERROR(EC, EC_POINT_cmp, EC_R_INCOMPATIBLE_OBJECTS);
  631. return -1;
  632. }
  633. return group->meth->point_cmp(group, a, b, ctx);
  634. }
  635. int EC_POINT_make_affine(const EC_GROUP *group, EC_POINT *point, BN_CTX *ctx) {
  636. if (group->meth->make_affine == 0) {
  637. OPENSSL_PUT_ERROR(EC, EC_POINT_make_affine,
  638. ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  639. return 0;
  640. }
  641. if (group->meth != point->meth) {
  642. OPENSSL_PUT_ERROR(EC, EC_POINT_make_affine, EC_R_INCOMPATIBLE_OBJECTS);
  643. return 0;
  644. }
  645. return group->meth->make_affine(group, point, ctx);
  646. }
  647. int EC_POINTs_make_affine(const EC_GROUP *group, size_t num, EC_POINT *points[],
  648. BN_CTX *ctx) {
  649. size_t i;
  650. if (group->meth->points_make_affine == 0) {
  651. OPENSSL_PUT_ERROR(EC, EC_POINTs_make_affine,
  652. ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  653. return 0;
  654. }
  655. for (i = 0; i < num; i++) {
  656. if (group->meth != points[i]->meth) {
  657. OPENSSL_PUT_ERROR(EC, EC_POINTs_make_affine, EC_R_INCOMPATIBLE_OBJECTS);
  658. return 0;
  659. }
  660. }
  661. return group->meth->points_make_affine(group, num, points, ctx);
  662. }
  663. int EC_POINT_get_affine_coordinates_GFp(const EC_GROUP *group,
  664. const EC_POINT *point, BIGNUM *x,
  665. BIGNUM *y, BN_CTX *ctx) {
  666. if (group->meth->point_get_affine_coordinates == 0) {
  667. OPENSSL_PUT_ERROR(EC, EC_POINT_get_affine_coordinates_GFp,
  668. ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  669. return 0;
  670. }
  671. if (group->meth != point->meth) {
  672. OPENSSL_PUT_ERROR(EC, EC_POINT_get_affine_coordinates_GFp,
  673. EC_R_INCOMPATIBLE_OBJECTS);
  674. return 0;
  675. }
  676. return group->meth->point_get_affine_coordinates(group, point, x, y, ctx);
  677. }
  678. int EC_POINT_set_affine_coordinates_GFp(const EC_GROUP *group, EC_POINT *point,
  679. const BIGNUM *x, const BIGNUM *y,
  680. BN_CTX *ctx) {
  681. if (group->meth->point_set_affine_coordinates == 0) {
  682. OPENSSL_PUT_ERROR(EC, EC_POINT_set_affine_coordinates_GFp,
  683. ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  684. return 0;
  685. }
  686. if (group->meth != point->meth) {
  687. OPENSSL_PUT_ERROR(EC, EC_POINT_set_affine_coordinates_GFp,
  688. EC_R_INCOMPATIBLE_OBJECTS);
  689. return 0;
  690. }
  691. return group->meth->point_set_affine_coordinates(group, point, x, y, ctx);
  692. }
  693. int EC_POINT_add(const EC_GROUP *group, EC_POINT *r, const EC_POINT *a,
  694. const EC_POINT *b, BN_CTX *ctx) {
  695. if (group->meth->add == 0) {
  696. OPENSSL_PUT_ERROR(EC, EC_POINT_add, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  697. return 0;
  698. }
  699. if ((group->meth != r->meth) || (r->meth != a->meth) ||
  700. (a->meth != b->meth)) {
  701. OPENSSL_PUT_ERROR(EC, EC_POINT_add, EC_R_INCOMPATIBLE_OBJECTS);
  702. return 0;
  703. }
  704. return group->meth->add(group, r, a, b, ctx);
  705. }
  706. int EC_POINT_dbl(const EC_GROUP *group, EC_POINT *r, const EC_POINT *a,
  707. BN_CTX *ctx) {
  708. if (group->meth->dbl == 0) {
  709. OPENSSL_PUT_ERROR(EC, EC_POINT_dbl, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  710. return 0;
  711. }
  712. if ((group->meth != r->meth) || (r->meth != a->meth)) {
  713. OPENSSL_PUT_ERROR(EC, EC_POINT_dbl, EC_R_INCOMPATIBLE_OBJECTS);
  714. return 0;
  715. }
  716. return group->meth->dbl(group, r, a, ctx);
  717. }
  718. int EC_POINT_invert(const EC_GROUP *group, EC_POINT *a, BN_CTX *ctx) {
  719. if (group->meth->invert == 0) {
  720. OPENSSL_PUT_ERROR(EC, EC_POINT_invert, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  721. return 0;
  722. }
  723. if (group->meth != a->meth) {
  724. OPENSSL_PUT_ERROR(EC, EC_POINT_invert, EC_R_INCOMPATIBLE_OBJECTS);
  725. return 0;
  726. }
  727. return group->meth->invert(group, a, ctx);
  728. }
  729. int EC_POINT_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *g_scalar,
  730. const EC_POINT *point, const BIGNUM *p_scalar, BN_CTX *ctx) {
  731. /* just a convenient interface to EC_POINTs_mul() */
  732. const EC_POINT *points[1];
  733. const BIGNUM *scalars[1];
  734. points[0] = point;
  735. scalars[0] = p_scalar;
  736. return EC_POINTs_mul(group, r, g_scalar, (point != NULL && p_scalar != NULL),
  737. points, scalars, ctx);
  738. }
  739. int EC_POINTs_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar,
  740. size_t num, const EC_POINT *points[], const BIGNUM *scalars[],
  741. BN_CTX *ctx) {
  742. if (group->meth->mul == 0) {
  743. /* use default. Warning, not constant-time. */
  744. return ec_wNAF_mul(group, r, scalar, num, points, scalars, ctx);
  745. }
  746. return group->meth->mul(group, r, scalar, num, points, scalars, ctx);
  747. }
  748. int ec_point_set_Jprojective_coordinates_GFp(const EC_GROUP *group, EC_POINT *point,
  749. const BIGNUM *x, const BIGNUM *y,
  750. const BIGNUM *z, BN_CTX *ctx) {
  751. if (group->meth->point_set_Jprojective_coordinates_GFp == 0) {
  752. OPENSSL_PUT_ERROR(EC, ec_point_set_Jprojective_coordinates_GFp,
  753. ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
  754. return 0;
  755. }
  756. if (group->meth != point->meth) {
  757. OPENSSL_PUT_ERROR(EC, ec_point_set_Jprojective_coordinates_GFp,
  758. EC_R_INCOMPATIBLE_OBJECTS);
  759. return 0;
  760. }
  761. return group->meth->point_set_Jprojective_coordinates_GFp(group, point, x, y,
  762. z, ctx);
  763. }