srp.c 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919
  1. /* srp.c
  2. *
  3. * Copyright (C) 2006-2020 wolfSSL Inc.
  4. *
  5. * This file is part of wolfSSL.
  6. *
  7. * wolfSSL is free software; you can redistribute it and/or modify
  8. * it under the terms of the GNU General Public License as published by
  9. * the Free Software Foundation; either version 2 of the License, or
  10. * (at your option) any later version.
  11. *
  12. * wolfSSL is distributed in the hope that it will be useful,
  13. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  15. * GNU General Public License for more details.
  16. *
  17. * You should have received a copy of the GNU General Public License
  18. * along with this program; if not, write to the Free Software
  19. * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1335, USA
  20. */
  21. #ifdef HAVE_CONFIG_H
  22. #include <config.h>
  23. #endif
  24. #include <wolfssl/wolfcrypt/settings.h>
  25. #ifdef WOLFCRYPT_HAVE_SRP
  26. #include <wolfssl/wolfcrypt/srp.h>
  27. #include <wolfssl/wolfcrypt/random.h>
  28. #include <wolfssl/wolfcrypt/error-crypt.h>
  29. #ifdef NO_INLINE
  30. #include <wolfssl/wolfcrypt/misc.h>
  31. #else
  32. #define WOLFSSL_MISC_INCLUDED
  33. #include <wolfcrypt/src/misc.c>
  34. #endif
  35. /** Computes the session key using the Mask Generation Function 1. */
  36. static int wc_SrpSetKey(Srp* srp, byte* secret, word32 size);
  37. static int SrpHashInit(SrpHash* hash, SrpType type)
  38. {
  39. hash->type = type;
  40. switch (type) {
  41. case SRP_TYPE_SHA:
  42. #ifndef NO_SHA
  43. return wc_InitSha(&hash->data.sha);
  44. #else
  45. return BAD_FUNC_ARG;
  46. #endif
  47. case SRP_TYPE_SHA256:
  48. #ifndef NO_SHA256
  49. return wc_InitSha256(&hash->data.sha256);
  50. #else
  51. return BAD_FUNC_ARG;
  52. #endif
  53. case SRP_TYPE_SHA384:
  54. #ifdef WOLFSSL_SHA384
  55. return wc_InitSha384(&hash->data.sha384);
  56. #else
  57. return BAD_FUNC_ARG;
  58. #endif
  59. case SRP_TYPE_SHA512:
  60. #ifdef WOLFSSL_SHA512
  61. return wc_InitSha512(&hash->data.sha512);
  62. #else
  63. return BAD_FUNC_ARG;
  64. #endif
  65. default:
  66. return BAD_FUNC_ARG;
  67. }
  68. }
  69. static int SrpHashUpdate(SrpHash* hash, const byte* data, word32 size)
  70. {
  71. switch (hash->type) {
  72. case SRP_TYPE_SHA:
  73. #ifndef NO_SHA
  74. return wc_ShaUpdate(&hash->data.sha, data, size);
  75. #else
  76. return BAD_FUNC_ARG;
  77. #endif
  78. case SRP_TYPE_SHA256:
  79. #ifndef NO_SHA256
  80. return wc_Sha256Update(&hash->data.sha256, data, size);
  81. #else
  82. return BAD_FUNC_ARG;
  83. #endif
  84. case SRP_TYPE_SHA384:
  85. #ifdef WOLFSSL_SHA384
  86. return wc_Sha384Update(&hash->data.sha384, data, size);
  87. #else
  88. return BAD_FUNC_ARG;
  89. #endif
  90. case SRP_TYPE_SHA512:
  91. #ifdef WOLFSSL_SHA512
  92. return wc_Sha512Update(&hash->data.sha512, data, size);
  93. #else
  94. return BAD_FUNC_ARG;
  95. #endif
  96. default:
  97. return BAD_FUNC_ARG;
  98. }
  99. }
  100. static int SrpHashFinal(SrpHash* hash, byte* digest)
  101. {
  102. switch (hash->type) {
  103. case SRP_TYPE_SHA:
  104. #ifndef NO_SHA
  105. return wc_ShaFinal(&hash->data.sha, digest);
  106. #else
  107. return BAD_FUNC_ARG;
  108. #endif
  109. case SRP_TYPE_SHA256:
  110. #ifndef NO_SHA256
  111. return wc_Sha256Final(&hash->data.sha256, digest);
  112. #else
  113. return BAD_FUNC_ARG;
  114. #endif
  115. case SRP_TYPE_SHA384:
  116. #ifdef WOLFSSL_SHA384
  117. return wc_Sha384Final(&hash->data.sha384, digest);
  118. #else
  119. return BAD_FUNC_ARG;
  120. #endif
  121. case SRP_TYPE_SHA512:
  122. #ifdef WOLFSSL_SHA512
  123. return wc_Sha512Final(&hash->data.sha512, digest);
  124. #else
  125. return BAD_FUNC_ARG;
  126. #endif
  127. default:
  128. return BAD_FUNC_ARG;
  129. }
  130. }
  131. static word32 SrpHashSize(SrpType type)
  132. {
  133. switch (type) {
  134. case SRP_TYPE_SHA:
  135. #ifndef NO_SHA
  136. return WC_SHA_DIGEST_SIZE;
  137. #else
  138. return 0;
  139. #endif
  140. case SRP_TYPE_SHA256:
  141. #ifndef NO_SHA256
  142. return WC_SHA256_DIGEST_SIZE;
  143. #else
  144. return 0;
  145. #endif
  146. case SRP_TYPE_SHA384:
  147. #ifdef WOLFSSL_SHA384
  148. return WC_SHA384_DIGEST_SIZE;
  149. #else
  150. return 0;
  151. #endif
  152. case SRP_TYPE_SHA512:
  153. #ifdef WOLFSSL_SHA512
  154. return WC_SHA512_DIGEST_SIZE;
  155. #else
  156. return 0;
  157. #endif
  158. default:
  159. return 0;
  160. }
  161. }
  162. static void SrpHashFree(SrpHash* hash)
  163. {
  164. switch (hash->type) {
  165. case SRP_TYPE_SHA:
  166. #ifndef NO_SHA
  167. wc_ShaFree(&hash->data.sha);
  168. #endif
  169. break;
  170. case SRP_TYPE_SHA256:
  171. #ifndef NO_SHA256
  172. wc_Sha256Free(&hash->data.sha256);
  173. #endif
  174. break;
  175. case SRP_TYPE_SHA384:
  176. #ifdef WOLFSSL_SHA384
  177. wc_Sha384Free(&hash->data.sha384);
  178. #endif
  179. break;
  180. case SRP_TYPE_SHA512:
  181. #ifdef WOLFSSL_SHA512
  182. wc_Sha512Free(&hash->data.sha512);
  183. #endif
  184. break;
  185. default:
  186. break;
  187. }
  188. }
  189. int wc_SrpInit(Srp* srp, SrpType type, SrpSide side)
  190. {
  191. int r;
  192. /* validating params */
  193. if (!srp)
  194. return BAD_FUNC_ARG;
  195. if (side != SRP_CLIENT_SIDE && side != SRP_SERVER_SIDE)
  196. return BAD_FUNC_ARG;
  197. switch (type) {
  198. case SRP_TYPE_SHA:
  199. #ifdef NO_SHA
  200. return NOT_COMPILED_IN;
  201. #else
  202. break; /* OK */
  203. #endif
  204. case SRP_TYPE_SHA256:
  205. #ifdef NO_SHA256
  206. return NOT_COMPILED_IN;
  207. #else
  208. break; /* OK */
  209. #endif
  210. case SRP_TYPE_SHA384:
  211. #ifndef WOLFSSL_SHA384
  212. return NOT_COMPILED_IN;
  213. #else
  214. break; /* OK */
  215. #endif
  216. case SRP_TYPE_SHA512:
  217. #ifndef WOLFSSL_SHA512
  218. return NOT_COMPILED_IN;
  219. #else
  220. break; /* OK */
  221. #endif
  222. default:
  223. return BAD_FUNC_ARG;
  224. }
  225. /* initializing variables */
  226. XMEMSET(srp, 0, sizeof(Srp));
  227. if ((r = SrpHashInit(&srp->client_proof, type)) != 0)
  228. return r;
  229. if ((r = SrpHashInit(&srp->server_proof, type)) != 0) {
  230. SrpHashFree(&srp->client_proof);
  231. return r;
  232. }
  233. if ((r = mp_init_multi(&srp->N, &srp->g, &srp->auth,
  234. &srp->priv, 0, 0)) != 0) {
  235. SrpHashFree(&srp->client_proof);
  236. SrpHashFree(&srp->server_proof);
  237. return r;
  238. }
  239. srp->side = side; srp->type = type;
  240. srp->salt = NULL; srp->saltSz = 0;
  241. srp->user = NULL; srp->userSz = 0;
  242. srp->key = NULL; srp->keySz = 0;
  243. srp->keyGenFunc_cb = wc_SrpSetKey;
  244. /* default heap hint to NULL or test value */
  245. #ifdef WOLFSSL_HEAP_TEST
  246. srp->heap = (void*)WOLFSSL_HEAP_TEST;
  247. #else
  248. srp->heap = NULL;
  249. #endif
  250. return 0;
  251. }
  252. void wc_SrpTerm(Srp* srp)
  253. {
  254. if (srp) {
  255. mp_clear(&srp->N); mp_clear(&srp->g);
  256. mp_clear(&srp->auth); mp_clear(&srp->priv);
  257. if (srp->salt) {
  258. ForceZero(srp->salt, srp->saltSz);
  259. XFREE(srp->salt, srp->heap, DYNAMIC_TYPE_SRP);
  260. }
  261. if (srp->user) {
  262. ForceZero(srp->user, srp->userSz);
  263. XFREE(srp->user, srp->heap, DYNAMIC_TYPE_SRP);
  264. }
  265. if (srp->key) {
  266. ForceZero(srp->key, srp->keySz);
  267. XFREE(srp->key, srp->heap, DYNAMIC_TYPE_SRP);
  268. }
  269. SrpHashFree(&srp->client_proof);
  270. SrpHashFree(&srp->server_proof);
  271. ForceZero(srp, sizeof(Srp));
  272. }
  273. }
  274. int wc_SrpSetUsername(Srp* srp, const byte* username, word32 size)
  275. {
  276. if (!srp || !username)
  277. return BAD_FUNC_ARG;
  278. /* +1 for NULL char */
  279. srp->user = (byte*)XMALLOC(size + 1, srp->heap, DYNAMIC_TYPE_SRP);
  280. if (srp->user == NULL)
  281. return MEMORY_E;
  282. srp->userSz = size;
  283. XMEMCPY(srp->user, username, srp->userSz);
  284. srp->user[size] = '\0';
  285. return 0;
  286. }
  287. int wc_SrpSetParams(Srp* srp, const byte* N, word32 nSz,
  288. const byte* g, word32 gSz,
  289. const byte* salt, word32 saltSz)
  290. {
  291. SrpHash hash;
  292. byte digest1[SRP_MAX_DIGEST_SIZE];
  293. byte digest2[SRP_MAX_DIGEST_SIZE];
  294. byte pad = 0;
  295. int i, r;
  296. int j = 0;
  297. if (!srp || !N || !g || !salt || nSz < gSz)
  298. return BAD_FUNC_ARG;
  299. if (!srp->user)
  300. return SRP_CALL_ORDER_E;
  301. /* Set N */
  302. if (mp_read_unsigned_bin(&srp->N, N, nSz) != MP_OKAY)
  303. return MP_READ_E;
  304. if (mp_count_bits(&srp->N) < SRP_MODULUS_MIN_BITS)
  305. return BAD_FUNC_ARG;
  306. /* Set g */
  307. if (mp_read_unsigned_bin(&srp->g, g, gSz) != MP_OKAY)
  308. return MP_READ_E;
  309. if (mp_cmp(&srp->N, &srp->g) != MP_GT)
  310. return BAD_FUNC_ARG;
  311. /* Set salt */
  312. if (srp->salt) {
  313. ForceZero(srp->salt, srp->saltSz);
  314. XFREE(srp->salt, srp->heap, DYNAMIC_TYPE_SRP);
  315. }
  316. srp->salt = (byte*)XMALLOC(saltSz, srp->heap, DYNAMIC_TYPE_SRP);
  317. if (srp->salt == NULL)
  318. return MEMORY_E;
  319. XMEMCPY(srp->salt, salt, saltSz);
  320. srp->saltSz = saltSz;
  321. /* Set k = H(N, g) */
  322. r = SrpHashInit(&hash, srp->type);
  323. if (!r) r = SrpHashUpdate(&hash, (byte*) N, nSz);
  324. for (i = 0; (word32)i < nSz - gSz; i++) {
  325. if (!r) r = SrpHashUpdate(&hash, &pad, 1);
  326. }
  327. if (!r) r = SrpHashUpdate(&hash, (byte*) g, gSz);
  328. if (!r) r = SrpHashFinal(&hash, srp->k);
  329. SrpHashFree(&hash);
  330. /* update client proof */
  331. /* digest1 = H(N) */
  332. if (!r) r = SrpHashInit(&hash, srp->type);
  333. if (!r) r = SrpHashUpdate(&hash, (byte*) N, nSz);
  334. if (!r) r = SrpHashFinal(&hash, digest1);
  335. SrpHashFree(&hash);
  336. /* digest2 = H(g) */
  337. if (!r) r = SrpHashInit(&hash, srp->type);
  338. if (!r) r = SrpHashUpdate(&hash, (byte*) g, gSz);
  339. if (!r) r = SrpHashFinal(&hash, digest2);
  340. SrpHashFree(&hash);
  341. /* digest1 = H(N) ^ H(g) */
  342. if (r == 0) {
  343. for (i = 0, j = SrpHashSize(srp->type); i < j; i++)
  344. digest1[i] ^= digest2[i];
  345. }
  346. /* digest2 = H(user) */
  347. if (!r) r = SrpHashInit(&hash, srp->type);
  348. if (!r) r = SrpHashUpdate(&hash, srp->user, srp->userSz);
  349. if (!r) r = SrpHashFinal(&hash, digest2);
  350. SrpHashFree(&hash);
  351. /* client proof = H( H(N) ^ H(g) | H(user) | salt) */
  352. if (!r) r = SrpHashUpdate(&srp->client_proof, digest1, j);
  353. if (!r) r = SrpHashUpdate(&srp->client_proof, digest2, j);
  354. if (!r) r = SrpHashUpdate(&srp->client_proof, salt, saltSz);
  355. return r;
  356. }
  357. int wc_SrpSetPassword(Srp* srp, const byte* password, word32 size)
  358. {
  359. SrpHash hash;
  360. byte digest[SRP_MAX_DIGEST_SIZE];
  361. word32 digestSz;
  362. int r;
  363. if (!srp || !password || srp->side != SRP_CLIENT_SIDE)
  364. return BAD_FUNC_ARG;
  365. if (!srp->salt)
  366. return SRP_CALL_ORDER_E;
  367. digestSz = SrpHashSize(srp->type);
  368. /* digest = H(username | ':' | password) */
  369. r = SrpHashInit(&hash, srp->type);
  370. if (!r) r = SrpHashUpdate(&hash, srp->user, srp->userSz);
  371. if (!r) r = SrpHashUpdate(&hash, (const byte*) ":", 1);
  372. if (!r) r = SrpHashUpdate(&hash, password, size);
  373. if (!r) r = SrpHashFinal(&hash, digest);
  374. SrpHashFree(&hash);
  375. /* digest = H(salt | H(username | ':' | password)) */
  376. if (!r) r = SrpHashInit(&hash, srp->type);
  377. if (!r) r = SrpHashUpdate(&hash, srp->salt, srp->saltSz);
  378. if (!r) r = SrpHashUpdate(&hash, digest, digestSz);
  379. if (!r) r = SrpHashFinal(&hash, digest);
  380. SrpHashFree(&hash);
  381. /* Set x (private key) */
  382. if (!r) r = mp_read_unsigned_bin(&srp->auth, digest, digestSz);
  383. ForceZero(digest, SRP_MAX_DIGEST_SIZE);
  384. return r;
  385. }
  386. int wc_SrpGetVerifier(Srp* srp, byte* verifier, word32* size)
  387. {
  388. mp_int v;
  389. int r;
  390. if (!srp || !verifier || !size || srp->side != SRP_CLIENT_SIDE)
  391. return BAD_FUNC_ARG;
  392. if (mp_iszero(&srp->auth) == MP_YES)
  393. return SRP_CALL_ORDER_E;
  394. r = mp_init(&v);
  395. if (r != MP_OKAY)
  396. return MP_INIT_E;
  397. /* v = g ^ x % N */
  398. if (!r) r = mp_exptmod(&srp->g, &srp->auth, &srp->N, &v);
  399. if (!r) r = *size < (word32)mp_unsigned_bin_size(&v) ? BUFFER_E : MP_OKAY;
  400. if (!r) r = mp_to_unsigned_bin(&v, verifier);
  401. if (!r) *size = mp_unsigned_bin_size(&v);
  402. mp_clear(&v);
  403. return r;
  404. }
  405. int wc_SrpSetVerifier(Srp* srp, const byte* verifier, word32 size)
  406. {
  407. if (!srp || !verifier || srp->side != SRP_SERVER_SIDE)
  408. return BAD_FUNC_ARG;
  409. return mp_read_unsigned_bin(&srp->auth, verifier, size);
  410. }
  411. int wc_SrpSetPrivate(Srp* srp, const byte* priv, word32 size)
  412. {
  413. mp_int p;
  414. int r;
  415. if (!srp || !priv || !size)
  416. return BAD_FUNC_ARG;
  417. if (mp_iszero(&srp->auth) == MP_YES)
  418. return SRP_CALL_ORDER_E;
  419. r = mp_init(&p);
  420. if (r != MP_OKAY)
  421. return MP_INIT_E;
  422. if (!r) r = mp_read_unsigned_bin(&p, priv, size);
  423. if (!r) r = mp_mod(&p, &srp->N, &srp->priv);
  424. if (!r) r = mp_iszero(&srp->priv) == MP_YES ? SRP_BAD_KEY_E : 0;
  425. mp_clear(&p);
  426. return r;
  427. }
  428. /** Generates random data using wolfcrypt RNG. */
  429. static int wc_SrpGenPrivate(Srp* srp, byte* priv, word32 size)
  430. {
  431. WC_RNG rng;
  432. int r = wc_InitRng(&rng);
  433. if (!r) r = wc_RNG_GenerateBlock(&rng, priv, size);
  434. if (!r) r = wc_SrpSetPrivate(srp, priv, size);
  435. if (!r) wc_FreeRng(&rng);
  436. return r;
  437. }
  438. int wc_SrpGetPublic(Srp* srp, byte* pub, word32* size)
  439. {
  440. mp_int pubkey;
  441. word32 modulusSz;
  442. int r;
  443. if (!srp || !pub || !size)
  444. return BAD_FUNC_ARG;
  445. if (mp_iszero(&srp->auth) == MP_YES)
  446. return SRP_CALL_ORDER_E;
  447. modulusSz = mp_unsigned_bin_size(&srp->N);
  448. if (*size < modulusSz)
  449. return BUFFER_E;
  450. r = mp_init(&pubkey);
  451. if (r != MP_OKAY)
  452. return MP_INIT_E;
  453. /* priv = random() */
  454. if (mp_iszero(&srp->priv) == MP_YES)
  455. r = wc_SrpGenPrivate(srp, pub, SRP_PRIVATE_KEY_MIN_BITS / 8);
  456. /* client side: A = g ^ a % N */
  457. if (srp->side == SRP_CLIENT_SIDE) {
  458. if (!r) r = mp_exptmod(&srp->g, &srp->priv, &srp->N, &pubkey);
  459. /* server side: B = (k * v + (g ^ b % N)) % N */
  460. } else {
  461. mp_int i, j;
  462. if (mp_init_multi(&i, &j, 0, 0, 0, 0) == MP_OKAY) {
  463. if (!r) r = mp_read_unsigned_bin(&i, srp->k,SrpHashSize(srp->type));
  464. if (!r) r = mp_iszero(&i) == MP_YES ? SRP_BAD_KEY_E : 0;
  465. if (!r) r = mp_exptmod(&srp->g, &srp->priv, &srp->N, &pubkey);
  466. if (!r) r = mp_mulmod(&i, &srp->auth, &srp->N, &j);
  467. if (!r) r = mp_add(&j, &pubkey, &i);
  468. if (!r) r = mp_mod(&i, &srp->N, &pubkey);
  469. mp_clear(&i); mp_clear(&j);
  470. }
  471. }
  472. /* extract public key to buffer */
  473. XMEMSET(pub, 0, modulusSz);
  474. if (!r) r = mp_to_unsigned_bin(&pubkey, pub);
  475. if (!r) *size = mp_unsigned_bin_size(&pubkey);
  476. mp_clear(&pubkey);
  477. return r;
  478. }
  479. static int wc_SrpSetKey(Srp* srp, byte* secret, word32 size)
  480. {
  481. SrpHash hash;
  482. byte digest[SRP_MAX_DIGEST_SIZE];
  483. word32 i, j, digestSz = SrpHashSize(srp->type);
  484. byte counter[4];
  485. int r = BAD_FUNC_ARG;
  486. XMEMSET(digest, 0, SRP_MAX_DIGEST_SIZE);
  487. srp->key = (byte*)XMALLOC(2 * digestSz, srp->heap, DYNAMIC_TYPE_SRP);
  488. if (srp->key == NULL)
  489. return MEMORY_E;
  490. srp->keySz = 2 * digestSz;
  491. for (i = j = 0; j < srp->keySz; i++) {
  492. counter[0] = (i >> 24) & 0xFF;
  493. counter[1] = (i >> 16) & 0xFF;
  494. counter[2] = (i >> 8) & 0xFF;
  495. counter[3] = i & 0xFF;
  496. r = SrpHashInit(&hash, srp->type);
  497. if (!r) r = SrpHashUpdate(&hash, secret, size);
  498. if (!r) r = SrpHashUpdate(&hash, counter, 4);
  499. if (j + digestSz > srp->keySz) {
  500. if (!r) r = SrpHashFinal(&hash, digest);
  501. XMEMCPY(srp->key + j, digest, srp->keySz - j);
  502. j = srp->keySz;
  503. }
  504. else {
  505. if (!r) r = SrpHashFinal(&hash, srp->key + j);
  506. j += digestSz;
  507. }
  508. SrpHashFree(&hash);
  509. }
  510. ForceZero(digest, sizeof(digest));
  511. ForceZero(&hash, sizeof(SrpHash));
  512. return r;
  513. }
  514. int wc_SrpComputeKey(Srp* srp, byte* clientPubKey, word32 clientPubKeySz,
  515. byte* serverPubKey, word32 serverPubKeySz)
  516. {
  517. #ifdef WOLFSSL_SMALL_STACK
  518. SrpHash *hash = (SrpHash *)XMALLOC(sizeof *hash, srp->heap, DYNAMIC_TYPE_SRP);
  519. byte *digest = (byte *)XMALLOC(SRP_MAX_DIGEST_SIZE, srp->heap, DYNAMIC_TYPE_SRP);
  520. mp_int *u = (mp_int *)XMALLOC(sizeof *u, srp->heap, DYNAMIC_TYPE_SRP);
  521. mp_int *s = (mp_int *)XMALLOC(sizeof *s, srp->heap, DYNAMIC_TYPE_SRP);
  522. mp_int *temp1 = (mp_int *)XMALLOC(sizeof *temp1, srp->heap, DYNAMIC_TYPE_SRP);
  523. mp_int *temp2 = (mp_int *)XMALLOC(sizeof *temp2, srp->heap, DYNAMIC_TYPE_SRP);
  524. #else
  525. SrpHash hash[1];
  526. byte digest[SRP_MAX_DIGEST_SIZE];
  527. mp_int u[1], s[1], temp1[1], temp2[1];
  528. #endif
  529. byte *secret = NULL;
  530. word32 i, secretSz, digestSz;
  531. byte pad = 0;
  532. int r;
  533. /* validating params */
  534. if ((mp_init_multi(u, s, temp1, temp2, 0, 0)) != MP_OKAY) {
  535. r = MP_INIT_E;
  536. goto out;
  537. }
  538. if (!srp || !clientPubKey || clientPubKeySz == 0
  539. || !serverPubKey || serverPubKeySz == 0) {
  540. r = BAD_FUNC_ARG;
  541. goto out;
  542. }
  543. #ifdef WOLFSSL_SMALL_STACK
  544. if ((hash == NULL) ||
  545. (digest == NULL) ||
  546. (u == NULL) ||
  547. (s == NULL) ||
  548. (temp1 == NULL) ||
  549. (temp2 == NULL)) {
  550. r = MEMORY_E;
  551. goto out;
  552. }
  553. #endif
  554. if (mp_iszero(&srp->priv) == MP_YES) {
  555. r = SRP_CALL_ORDER_E;
  556. goto out;
  557. }
  558. /* initializing variables */
  559. if ((r = SrpHashInit(hash, srp->type)) != 0)
  560. goto out;
  561. digestSz = SrpHashSize(srp->type);
  562. secretSz = mp_unsigned_bin_size(&srp->N);
  563. if ((secretSz < clientPubKeySz) || (secretSz < serverPubKeySz)) {
  564. r = BAD_FUNC_ARG;
  565. goto out;
  566. }
  567. if ((secret = (byte*)XMALLOC(secretSz, srp->heap, DYNAMIC_TYPE_SRP)) == NULL) {
  568. r = MEMORY_E;
  569. goto out;
  570. }
  571. /* building u (random scrambling parameter) */
  572. /* H(A) */
  573. for (i = 0; i < secretSz - clientPubKeySz; i++) {
  574. if ((r = SrpHashUpdate(hash, &pad, 1)))
  575. goto out;
  576. }
  577. if ((r = SrpHashUpdate(hash, clientPubKey, clientPubKeySz)))
  578. goto out;
  579. /* H(A | B) */
  580. for (i = 0; i < secretSz - serverPubKeySz; i++) {
  581. if ((r = SrpHashUpdate(hash, &pad, 1)))
  582. goto out;
  583. }
  584. if ((r = SrpHashUpdate(hash, serverPubKey, serverPubKeySz)))
  585. goto out;
  586. /* set u */
  587. if ((r = SrpHashFinal(hash, digest)))
  588. goto out;
  589. if ((r = mp_read_unsigned_bin(u, digest, SrpHashSize(srp->type))))
  590. goto out;
  591. SrpHashFree(hash);
  592. /* building s (secret) */
  593. if (srp->side == SRP_CLIENT_SIDE) {
  594. /* temp1 = B - k * v; rejects k == 0, B == 0 and B >= N. */
  595. if ((r = mp_read_unsigned_bin(temp1, srp->k, digestSz)))
  596. goto out;
  597. if (mp_iszero(temp1) == MP_YES) {
  598. r = SRP_BAD_KEY_E;
  599. goto out;
  600. }
  601. if ((r = mp_exptmod(&srp->g, &srp->auth, &srp->N, temp2)))
  602. goto out;
  603. if ((r = mp_mulmod(temp1, temp2, &srp->N, s)))
  604. goto out;
  605. if ((r = mp_read_unsigned_bin(temp2, serverPubKey, serverPubKeySz)))
  606. goto out;
  607. if (mp_iszero(temp2) == MP_YES) {
  608. r = SRP_BAD_KEY_E;
  609. goto out;
  610. }
  611. if (mp_cmp(temp2, &srp->N) != MP_LT) {
  612. r = SRP_BAD_KEY_E;
  613. goto out;
  614. }
  615. if ((r = mp_submod(temp2, s, &srp->N, temp1)))
  616. goto out;
  617. /* temp2 = a + u * x */
  618. if ((r = mp_mulmod(u, &srp->auth, &srp->N, s)))
  619. goto out;
  620. if ((r = mp_add(&srp->priv, s, temp2)))
  621. goto out;
  622. /* secret = temp1 ^ temp2 % N */
  623. if ((r = mp_exptmod(temp1, temp2, &srp->N, s)))
  624. goto out;
  625. } else if (srp->side == SRP_SERVER_SIDE) {
  626. /* temp1 = v ^ u % N */
  627. if ((r = mp_exptmod(&srp->auth, u, &srp->N, temp1)))
  628. goto out;
  629. /* temp2 = A * temp1 % N; rejects A == 0, A >= N */
  630. if ((r = mp_read_unsigned_bin(s, clientPubKey, clientPubKeySz)))
  631. goto out;
  632. if (mp_iszero(s) == MP_YES) {
  633. r = SRP_BAD_KEY_E;
  634. goto out;
  635. }
  636. if (mp_cmp(s, &srp->N) != MP_LT) {
  637. r = SRP_BAD_KEY_E;
  638. goto out;
  639. }
  640. if ((r = mp_mulmod(s, temp1, &srp->N, temp2)))
  641. goto out;
  642. /* rejects A * v ^ u % N >= 1, A * v ^ u % N == -1 % N */
  643. if ((r = mp_read_unsigned_bin(temp1, (const byte*)"\001", 1)))
  644. goto out;
  645. if (mp_cmp(temp2, temp1) != MP_GT) {
  646. r = SRP_BAD_KEY_E;
  647. goto out;
  648. }
  649. if ((r = mp_sub(&srp->N, temp1, s)))
  650. goto out;
  651. if (mp_cmp(temp2, s) == MP_EQ) {
  652. r = SRP_BAD_KEY_E;
  653. goto out;
  654. }
  655. /* secret = temp2 * b % N */
  656. if ((r = mp_exptmod(temp2, &srp->priv, &srp->N, s)))
  657. goto out;
  658. }
  659. /* building session key from secret */
  660. if ((r = mp_to_unsigned_bin(s, secret)))
  661. goto out;
  662. if ((r = srp->keyGenFunc_cb(srp, secret, mp_unsigned_bin_size(s))))
  663. goto out;
  664. /* updating client proof = H( H(N) ^ H(g) | H(user) | salt | A | B | K) */
  665. if ((r = SrpHashUpdate(&srp->client_proof, clientPubKey, clientPubKeySz)))
  666. goto out;
  667. if ((r = SrpHashUpdate(&srp->client_proof, serverPubKey, serverPubKeySz)))
  668. goto out;
  669. if ((r = SrpHashUpdate(&srp->client_proof, srp->key, srp->keySz)))
  670. goto out;
  671. /* updating server proof = H(A) */
  672. r = SrpHashUpdate(&srp->server_proof, clientPubKey, clientPubKeySz);
  673. out:
  674. if (secret) {
  675. ForceZero(secret, secretSz);
  676. XFREE(secret, srp->heap, DYNAMIC_TYPE_SRP);
  677. }
  678. #ifdef WOLFSSL_SMALL_STACK
  679. if (hash)
  680. XFREE(hash, srp->heap, DYNAMIC_TYPE_SRP);
  681. if (digest)
  682. XFREE(digest, srp->heap, DYNAMIC_TYPE_SRP);
  683. if (u) {
  684. if (r != MP_INIT_E)
  685. mp_clear(u);
  686. XFREE(u, srp->heap, DYNAMIC_TYPE_SRP);
  687. }
  688. if (s) {
  689. if (r != MP_INIT_E)
  690. mp_clear(s);
  691. XFREE(s, srp->heap, DYNAMIC_TYPE_SRP);
  692. }
  693. if (temp1) {
  694. if (r != MP_INIT_E)
  695. mp_clear(temp1);
  696. XFREE(temp1, srp->heap, DYNAMIC_TYPE_SRP);
  697. }
  698. if (temp2) {
  699. if (r != MP_INIT_E)
  700. mp_clear(temp2);
  701. XFREE(temp2, srp->heap, DYNAMIC_TYPE_SRP);
  702. }
  703. #else
  704. if (r != MP_INIT_E) {
  705. mp_clear(u);
  706. mp_clear(s);
  707. mp_clear(temp1);
  708. mp_clear(temp2);
  709. }
  710. #endif
  711. return r;
  712. }
  713. int wc_SrpGetProof(Srp* srp, byte* proof, word32* size)
  714. {
  715. int r;
  716. if (!srp || !proof || !size)
  717. return BAD_FUNC_ARG;
  718. if (*size < SrpHashSize(srp->type))
  719. return BUFFER_E;
  720. if ((r = SrpHashFinal(srp->side == SRP_CLIENT_SIDE
  721. ? &srp->client_proof
  722. : &srp->server_proof, proof)) != 0)
  723. return r;
  724. *size = SrpHashSize(srp->type);
  725. if (srp->side == SRP_CLIENT_SIDE) {
  726. /* server proof = H( A | client proof | K) */
  727. if (!r) r = SrpHashUpdate(&srp->server_proof, proof, *size);
  728. if (!r) r = SrpHashUpdate(&srp->server_proof, srp->key, srp->keySz);
  729. }
  730. return r;
  731. }
  732. int wc_SrpVerifyPeersProof(Srp* srp, byte* proof, word32 size)
  733. {
  734. byte digest[SRP_MAX_DIGEST_SIZE];
  735. int r;
  736. if (!srp || !proof)
  737. return BAD_FUNC_ARG;
  738. if (size != SrpHashSize(srp->type))
  739. return BUFFER_E;
  740. r = SrpHashFinal(srp->side == SRP_CLIENT_SIDE ? &srp->server_proof
  741. : &srp->client_proof, digest);
  742. if (srp->side == SRP_SERVER_SIDE) {
  743. /* server proof = H( A | client proof | K) */
  744. if (!r) r = SrpHashUpdate(&srp->server_proof, proof, size);
  745. if (!r) r = SrpHashUpdate(&srp->server_proof, srp->key, srp->keySz);
  746. }
  747. if (!r && XMEMCMP(proof, digest, size) != 0)
  748. r = SRP_VERIFY_E;
  749. return r;
  750. }
  751. #endif /* WOLFCRYPT_HAVE_SRP */