sha3_prov.c 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434
  1. /*
  2. * Copyright 2019-2022 The OpenSSL Project Authors. All Rights Reserved.
  3. *
  4. * Licensed under the Apache License 2.0 (the "License"). You may not use
  5. * this file except in compliance with the License. You can obtain a copy
  6. * in the file LICENSE in the source distribution or at
  7. * https://www.openssl.org/source/license.html
  8. */
  9. #include <string.h>
  10. #include <openssl/core_names.h>
  11. #include <openssl/crypto.h>
  12. #include <openssl/evp.h>
  13. #include <openssl/params.h>
  14. #include <openssl/err.h>
  15. #include <openssl/proverr.h>
  16. #include "internal/sha3.h"
  17. #include "prov/digestcommon.h"
  18. #include "prov/implementations.h"
  19. #define SHA3_FLAGS PROV_DIGEST_FLAG_ALGID_ABSENT
  20. #define SHAKE_FLAGS PROV_DIGEST_FLAG_XOF
  21. #define KMAC_FLAGS PROV_DIGEST_FLAG_XOF
  22. /*
  23. * Forward declaration of any unique methods implemented here. This is not strictly
  24. * necessary for the compiler, but provides an assurance that the signatures
  25. * of the functions in the dispatch table are correct.
  26. */
  27. static OSSL_FUNC_digest_init_fn keccak_init;
  28. static OSSL_FUNC_digest_init_fn keccak_init_params;
  29. static OSSL_FUNC_digest_update_fn keccak_update;
  30. static OSSL_FUNC_digest_final_fn keccak_final;
  31. static OSSL_FUNC_digest_freectx_fn keccak_freectx;
  32. static OSSL_FUNC_digest_dupctx_fn keccak_dupctx;
  33. static OSSL_FUNC_digest_set_ctx_params_fn shake_set_ctx_params;
  34. static OSSL_FUNC_digest_settable_ctx_params_fn shake_settable_ctx_params;
  35. static sha3_absorb_fn generic_sha3_absorb;
  36. static sha3_final_fn generic_sha3_final;
  37. #if defined(OPENSSL_CPUID_OBJ) && defined(__s390__) && defined(KECCAK1600_ASM)
  38. /*
  39. * IBM S390X support
  40. */
  41. # include "s390x_arch.h"
  42. # define S390_SHA3 1
  43. # define S390_SHA3_CAPABLE(name) \
  44. ((OPENSSL_s390xcap_P.kimd[0] & S390X_CAPBIT(S390X_##name)) && \
  45. (OPENSSL_s390xcap_P.klmd[0] & S390X_CAPBIT(S390X_##name)))
  46. #endif
  47. static int keccak_init(void *vctx, ossl_unused const OSSL_PARAM params[])
  48. {
  49. if (!ossl_prov_is_running())
  50. return 0;
  51. /* The newctx() handles most of the ctx fixed setup. */
  52. ossl_sha3_reset((KECCAK1600_CTX *)vctx);
  53. return 1;
  54. }
  55. static int keccak_init_params(void *vctx, const OSSL_PARAM params[])
  56. {
  57. return keccak_init(vctx, NULL)
  58. && shake_set_ctx_params(vctx, params);
  59. }
  60. static int keccak_update(void *vctx, const unsigned char *inp, size_t len)
  61. {
  62. KECCAK1600_CTX *ctx = vctx;
  63. const size_t bsz = ctx->block_size;
  64. size_t num, rem;
  65. if (len == 0)
  66. return 1;
  67. /* Is there anything in the buffer already ? */
  68. if ((num = ctx->bufsz) != 0) {
  69. /* Calculate how much space is left in the buffer */
  70. rem = bsz - num;
  71. /* If the new input does not fill the buffer then just add it */
  72. if (len < rem) {
  73. memcpy(ctx->buf + num, inp, len);
  74. ctx->bufsz += len;
  75. return 1;
  76. }
  77. /* otherwise fill up the buffer and absorb the buffer */
  78. memcpy(ctx->buf + num, inp, rem);
  79. /* Update the input pointer */
  80. inp += rem;
  81. len -= rem;
  82. ctx->meth.absorb(ctx, ctx->buf, bsz);
  83. ctx->bufsz = 0;
  84. }
  85. /* Absorb the input - rem = leftover part of the input < blocksize) */
  86. rem = ctx->meth.absorb(ctx, inp, len);
  87. /* Copy the leftover bit of the input into the buffer */
  88. if (rem) {
  89. memcpy(ctx->buf, inp + len - rem, rem);
  90. ctx->bufsz = rem;
  91. }
  92. return 1;
  93. }
  94. static int keccak_final(void *vctx, unsigned char *out, size_t *outl,
  95. size_t outsz)
  96. {
  97. int ret = 1;
  98. KECCAK1600_CTX *ctx = vctx;
  99. if (!ossl_prov_is_running())
  100. return 0;
  101. if (outsz > 0)
  102. ret = ctx->meth.final(out, ctx);
  103. *outl = ctx->md_size;
  104. return ret;
  105. }
  106. /*-
  107. * Generic software version of the absorb() and final().
  108. */
  109. static size_t generic_sha3_absorb(void *vctx, const void *inp, size_t len)
  110. {
  111. KECCAK1600_CTX *ctx = vctx;
  112. return SHA3_absorb(ctx->A, inp, len, ctx->block_size);
  113. }
  114. static int generic_sha3_final(unsigned char *md, void *vctx)
  115. {
  116. return ossl_sha3_final(md, (KECCAK1600_CTX *)vctx);
  117. }
  118. static PROV_SHA3_METHOD sha3_generic_md =
  119. {
  120. generic_sha3_absorb,
  121. generic_sha3_final
  122. };
  123. #if defined(S390_SHA3)
  124. static sha3_absorb_fn s390x_sha3_absorb;
  125. static sha3_final_fn s390x_sha3_final;
  126. static sha3_final_fn s390x_shake_final;
  127. /*-
  128. * The platform specific parts of the absorb() and final() for S390X.
  129. */
  130. static size_t s390x_sha3_absorb(void *vctx, const void *inp, size_t len)
  131. {
  132. KECCAK1600_CTX *ctx = vctx;
  133. size_t rem = len % ctx->block_size;
  134. s390x_kimd(inp, len - rem, ctx->pad, ctx->A);
  135. return rem;
  136. }
  137. static int s390x_sha3_final(unsigned char *md, void *vctx)
  138. {
  139. KECCAK1600_CTX *ctx = vctx;
  140. if (!ossl_prov_is_running())
  141. return 0;
  142. s390x_klmd(ctx->buf, ctx->bufsz, NULL, 0, ctx->pad, ctx->A);
  143. memcpy(md, ctx->A, ctx->md_size);
  144. return 1;
  145. }
  146. static int s390x_shake_final(unsigned char *md, void *vctx)
  147. {
  148. KECCAK1600_CTX *ctx = vctx;
  149. if (!ossl_prov_is_running())
  150. return 0;
  151. s390x_klmd(ctx->buf, ctx->bufsz, md, ctx->md_size, ctx->pad, ctx->A);
  152. return 1;
  153. }
  154. static int s390x_keccakc_final(unsigned char *md, void *vctx, int padding)
  155. {
  156. KECCAK1600_CTX *ctx = vctx;
  157. size_t bsz = ctx->block_size;
  158. size_t num = ctx->bufsz;
  159. size_t needed = ctx->md_size;
  160. if (!ossl_prov_is_running())
  161. return 0;
  162. if (ctx->md_size == 0)
  163. return 1;
  164. memset(ctx->buf + num, 0, bsz - num);
  165. ctx->buf[num] = padding;
  166. ctx->buf[bsz - 1] |= 0x80;
  167. s390x_kimd(ctx->buf, bsz, ctx->pad, ctx->A);
  168. num = needed > bsz ? bsz : needed;
  169. memcpy(md, ctx->A, num);
  170. needed -= num;
  171. if (needed > 0)
  172. s390x_klmd(NULL, 0, md + bsz, needed, ctx->pad | S390X_KLMD_PS, ctx->A);
  173. return 1;
  174. }
  175. static int s390x_keccak_final(unsigned char *md, void *vctx)
  176. {
  177. return s390x_keccakc_final(md, vctx, 0x01);
  178. }
  179. static int s390x_kmac_final(unsigned char *md, void *vctx)
  180. {
  181. return s390x_keccakc_final(md, vctx, 0x04);
  182. }
  183. static PROV_SHA3_METHOD sha3_s390x_md =
  184. {
  185. s390x_sha3_absorb,
  186. s390x_sha3_final
  187. };
  188. static PROV_SHA3_METHOD keccak_s390x_md =
  189. {
  190. s390x_sha3_absorb,
  191. s390x_keccak_final
  192. };
  193. static PROV_SHA3_METHOD shake_s390x_md =
  194. {
  195. s390x_sha3_absorb,
  196. s390x_shake_final
  197. };
  198. static PROV_SHA3_METHOD kmac_s390x_md =
  199. {
  200. s390x_sha3_absorb,
  201. s390x_kmac_final
  202. };
  203. # define SHA3_SET_MD(uname, typ) \
  204. if (S390_SHA3_CAPABLE(uname)) { \
  205. ctx->pad = S390X_##uname; \
  206. ctx->meth = typ##_s390x_md; \
  207. } else { \
  208. ctx->meth = sha3_generic_md; \
  209. }
  210. # define KMAC_SET_MD(bitlen) \
  211. if (S390_SHA3_CAPABLE(SHAKE_##bitlen)) { \
  212. ctx->pad = S390X_SHAKE_##bitlen; \
  213. ctx->meth = kmac_s390x_md; \
  214. } else { \
  215. ctx->meth = sha3_generic_md; \
  216. }
  217. #elif defined(__aarch64__)
  218. # include "arm_arch.h"
  219. static sha3_absorb_fn armsha3_sha3_absorb;
  220. size_t SHA3_absorb_cext(uint64_t A[5][5], const unsigned char *inp, size_t len,
  221. size_t r);
  222. /*-
  223. * Hardware-assisted ARMv8.2 SHA3 extension version of the absorb()
  224. */
  225. static size_t armsha3_sha3_absorb(void *vctx, const void *inp, size_t len)
  226. {
  227. KECCAK1600_CTX *ctx = vctx;
  228. return SHA3_absorb_cext(ctx->A, inp, len, ctx->block_size);
  229. }
  230. static PROV_SHA3_METHOD sha3_ARMSHA3_md =
  231. {
  232. armsha3_sha3_absorb,
  233. generic_sha3_final
  234. };
  235. # define SHA3_SET_MD(uname, typ) \
  236. if (OPENSSL_armcap_P & ARMV8_HAVE_SHA3_AND_WORTH_USING) { \
  237. ctx->meth = sha3_ARMSHA3_md; \
  238. } else { \
  239. ctx->meth = sha3_generic_md; \
  240. }
  241. # define KMAC_SET_MD(bitlen) \
  242. if (OPENSSL_armcap_P & ARMV8_HAVE_SHA3_AND_WORTH_USING) { \
  243. ctx->meth = sha3_ARMSHA3_md; \
  244. } else { \
  245. ctx->meth = sha3_generic_md; \
  246. }
  247. #else
  248. # define SHA3_SET_MD(uname, typ) ctx->meth = sha3_generic_md;
  249. # define KMAC_SET_MD(bitlen) ctx->meth = sha3_generic_md;
  250. #endif /* S390_SHA3 */
  251. #define SHA3_newctx(typ, uname, name, bitlen, pad) \
  252. static OSSL_FUNC_digest_newctx_fn name##_newctx; \
  253. static void *name##_newctx(void *provctx) \
  254. { \
  255. KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
  256. : NULL; \
  257. \
  258. if (ctx == NULL) \
  259. return NULL; \
  260. ossl_sha3_init(ctx, pad, bitlen); \
  261. SHA3_SET_MD(uname, typ) \
  262. return ctx; \
  263. }
  264. #define KMAC_newctx(uname, bitlen, pad) \
  265. static OSSL_FUNC_digest_newctx_fn uname##_newctx; \
  266. static void *uname##_newctx(void *provctx) \
  267. { \
  268. KECCAK1600_CTX *ctx = ossl_prov_is_running() ? OPENSSL_zalloc(sizeof(*ctx)) \
  269. : NULL; \
  270. \
  271. if (ctx == NULL) \
  272. return NULL; \
  273. ossl_keccak_kmac_init(ctx, pad, bitlen); \
  274. KMAC_SET_MD(bitlen) \
  275. return ctx; \
  276. }
  277. #define PROV_FUNC_SHA3_DIGEST_COMMON(name, bitlen, blksize, dgstsize, flags) \
  278. PROV_FUNC_DIGEST_GET_PARAM(name, blksize, dgstsize, flags) \
  279. const OSSL_DISPATCH ossl_##name##_functions[] = { \
  280. { OSSL_FUNC_DIGEST_NEWCTX, (void (*)(void))name##_newctx }, \
  281. { OSSL_FUNC_DIGEST_UPDATE, (void (*)(void))keccak_update }, \
  282. { OSSL_FUNC_DIGEST_FINAL, (void (*)(void))keccak_final }, \
  283. { OSSL_FUNC_DIGEST_FREECTX, (void (*)(void))keccak_freectx }, \
  284. { OSSL_FUNC_DIGEST_DUPCTX, (void (*)(void))keccak_dupctx }, \
  285. PROV_DISPATCH_FUNC_DIGEST_GET_PARAMS(name)
  286. #define PROV_FUNC_SHA3_DIGEST(name, bitlen, blksize, dgstsize, flags) \
  287. PROV_FUNC_SHA3_DIGEST_COMMON(name, bitlen, blksize, dgstsize, flags), \
  288. { OSSL_FUNC_DIGEST_INIT, (void (*)(void))keccak_init }, \
  289. PROV_DISPATCH_FUNC_DIGEST_CONSTRUCT_END
  290. #define PROV_FUNC_SHAKE_DIGEST(name, bitlen, blksize, dgstsize, flags) \
  291. PROV_FUNC_SHA3_DIGEST_COMMON(name, bitlen, blksize, dgstsize, flags), \
  292. { OSSL_FUNC_DIGEST_INIT, (void (*)(void))keccak_init_params }, \
  293. { OSSL_FUNC_DIGEST_SET_CTX_PARAMS, (void (*)(void))shake_set_ctx_params }, \
  294. { OSSL_FUNC_DIGEST_SETTABLE_CTX_PARAMS, \
  295. (void (*)(void))shake_settable_ctx_params }, \
  296. PROV_DISPATCH_FUNC_DIGEST_CONSTRUCT_END
  297. static void keccak_freectx(void *vctx)
  298. {
  299. KECCAK1600_CTX *ctx = (KECCAK1600_CTX *)vctx;
  300. OPENSSL_clear_free(ctx, sizeof(*ctx));
  301. }
  302. static void *keccak_dupctx(void *ctx)
  303. {
  304. KECCAK1600_CTX *in = (KECCAK1600_CTX *)ctx;
  305. KECCAK1600_CTX *ret = ossl_prov_is_running() ? OPENSSL_malloc(sizeof(*ret))
  306. : NULL;
  307. if (ret != NULL)
  308. *ret = *in;
  309. return ret;
  310. }
  311. static const OSSL_PARAM known_shake_settable_ctx_params[] = {
  312. {OSSL_DIGEST_PARAM_XOFLEN, OSSL_PARAM_UNSIGNED_INTEGER, NULL, 0, 0},
  313. OSSL_PARAM_END
  314. };
  315. static const OSSL_PARAM *shake_settable_ctx_params(ossl_unused void *ctx,
  316. ossl_unused void *provctx)
  317. {
  318. return known_shake_settable_ctx_params;
  319. }
  320. static int shake_set_ctx_params(void *vctx, const OSSL_PARAM params[])
  321. {
  322. const OSSL_PARAM *p;
  323. KECCAK1600_CTX *ctx = (KECCAK1600_CTX *)vctx;
  324. if (ctx == NULL)
  325. return 0;
  326. if (params == NULL)
  327. return 1;
  328. p = OSSL_PARAM_locate_const(params, OSSL_DIGEST_PARAM_XOFLEN);
  329. if (p != NULL && !OSSL_PARAM_get_size_t(p, &ctx->md_size)) {
  330. ERR_raise(ERR_LIB_PROV, PROV_R_FAILED_TO_GET_PARAMETER);
  331. return 0;
  332. }
  333. return 1;
  334. }
  335. #define IMPLEMENT_SHA3_functions(bitlen) \
  336. SHA3_newctx(sha3, SHA3_##bitlen, sha3_##bitlen, bitlen, '\x06') \
  337. PROV_FUNC_SHA3_DIGEST(sha3_##bitlen, bitlen, \
  338. SHA3_BLOCKSIZE(bitlen), SHA3_MDSIZE(bitlen), \
  339. SHA3_FLAGS)
  340. #define IMPLEMENT_KECCAK_functions(bitlen) \
  341. SHA3_newctx(keccak, KECCAK_##bitlen, keccak_##bitlen, bitlen, '\x01') \
  342. PROV_FUNC_SHA3_DIGEST(keccak_##bitlen, bitlen, \
  343. SHA3_BLOCKSIZE(bitlen), SHA3_MDSIZE(bitlen), \
  344. SHA3_FLAGS)
  345. #define IMPLEMENT_SHAKE_functions(bitlen) \
  346. SHA3_newctx(shake, SHAKE_##bitlen, shake_##bitlen, bitlen, '\x1f') \
  347. PROV_FUNC_SHAKE_DIGEST(shake_##bitlen, bitlen, \
  348. SHA3_BLOCKSIZE(bitlen), SHA3_MDSIZE(bitlen), \
  349. SHAKE_FLAGS)
  350. #define IMPLEMENT_KMAC_functions(bitlen) \
  351. KMAC_newctx(keccak_kmac_##bitlen, bitlen, '\x04') \
  352. PROV_FUNC_SHAKE_DIGEST(keccak_kmac_##bitlen, bitlen, \
  353. SHA3_BLOCKSIZE(bitlen), KMAC_MDSIZE(bitlen), \
  354. KMAC_FLAGS)
  355. /* ossl_sha3_224_functions */
  356. IMPLEMENT_SHA3_functions(224)
  357. /* ossl_sha3_256_functions */
  358. IMPLEMENT_SHA3_functions(256)
  359. /* ossl_sha3_384_functions */
  360. IMPLEMENT_SHA3_functions(384)
  361. /* ossl_sha3_512_functions */
  362. IMPLEMENT_SHA3_functions(512)
  363. /* ossl_keccak_224_functions */
  364. IMPLEMENT_KECCAK_functions(224)
  365. /* ossl_keccak_256_functions */
  366. IMPLEMENT_KECCAK_functions(256)
  367. /* ossl_keccak_384_functions */
  368. IMPLEMENT_KECCAK_functions(384)
  369. /* ossl_keccak_512_functions */
  370. IMPLEMENT_KECCAK_functions(512)
  371. /* ossl_shake_128_functions */
  372. IMPLEMENT_SHAKE_functions(128)
  373. /* ossl_shake_256_functions */
  374. IMPLEMENT_SHAKE_functions(256)
  375. /* ossl_keccak_kmac_128_functions */
  376. IMPLEMENT_KMAC_functions(128)
  377. /* ossl_keccak_kmac_256_functions */
  378. IMPLEMENT_KMAC_functions(256)