ml_dsa_sig.c 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368
  1. /*
  2. * Copyright 2024-2025 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 "internal/deprecated.h"
  10. #include <assert.h>
  11. #include <string.h> /* memset */
  12. #include <openssl/core_names.h>
  13. #include <openssl/err.h>
  14. #include <openssl/rand.h>
  15. #include <openssl/proverr.h>
  16. #include "prov/implementations.h"
  17. #include "prov/providercommon.h"
  18. #include "prov/provider_ctx.h"
  19. #include "prov/der_ml_dsa.h"
  20. #include "crypto/ml_dsa.h"
  21. #include "internal/packet.h"
  22. #include "internal/sizes.h"
  23. #define ML_DSA_MESSAGE_ENCODE_RAW 0
  24. #define ML_DSA_MESSAGE_ENCODE_PURE 1
  25. static OSSL_FUNC_signature_sign_message_init_fn ml_dsa_sign_msg_init;
  26. static OSSL_FUNC_signature_sign_fn ml_dsa_sign;
  27. static OSSL_FUNC_signature_verify_message_init_fn ml_dsa_verify_msg_init;
  28. static OSSL_FUNC_signature_verify_fn ml_dsa_verify;
  29. static OSSL_FUNC_signature_digest_sign_init_fn ml_dsa_digest_signverify_init;
  30. static OSSL_FUNC_signature_digest_sign_fn ml_dsa_digest_sign;
  31. static OSSL_FUNC_signature_digest_verify_fn ml_dsa_digest_verify;
  32. static OSSL_FUNC_signature_freectx_fn ml_dsa_freectx;
  33. static OSSL_FUNC_signature_set_ctx_params_fn ml_dsa_set_ctx_params;
  34. static OSSL_FUNC_signature_settable_ctx_params_fn ml_dsa_settable_ctx_params;
  35. static OSSL_FUNC_signature_get_ctx_params_fn ml_dsa_get_ctx_params;
  36. static OSSL_FUNC_signature_gettable_ctx_params_fn ml_dsa_gettable_ctx_params;
  37. static OSSL_FUNC_signature_dupctx_fn ml_dsa_dupctx;
  38. typedef struct {
  39. ML_DSA_KEY *key;
  40. OSSL_LIB_CTX *libctx;
  41. uint8_t context_string[ML_DSA_MAX_CONTEXT_STRING_LEN];
  42. size_t context_string_len;
  43. uint8_t test_entropy[ML_DSA_ENTROPY_LEN];
  44. size_t test_entropy_len;
  45. int msg_encode;
  46. int deterministic;
  47. int evp_type;
  48. /* The Algorithm Identifier of the signature algorithm */
  49. uint8_t aid_buf[OSSL_MAX_ALGORITHM_ID_SIZE];
  50. size_t aid_len;
  51. int mu; /* Flag indicating we should begin from \mu, not the message */
  52. } PROV_ML_DSA_CTX;
  53. static void ml_dsa_freectx(void *vctx)
  54. {
  55. PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
  56. OPENSSL_cleanse(ctx->test_entropy, ctx->test_entropy_len);
  57. OPENSSL_free(ctx);
  58. }
  59. static void *ml_dsa_newctx(void *provctx, int evp_type, const char *propq)
  60. {
  61. PROV_ML_DSA_CTX *ctx;
  62. if (!ossl_prov_is_running())
  63. return NULL;
  64. ctx = OPENSSL_zalloc(sizeof(PROV_ML_DSA_CTX));
  65. if (ctx == NULL)
  66. return NULL;
  67. ctx->libctx = PROV_LIBCTX_OF(provctx);
  68. ctx->msg_encode = ML_DSA_MESSAGE_ENCODE_PURE;
  69. ctx->evp_type = evp_type;
  70. return ctx;
  71. }
  72. static void *ml_dsa_dupctx(void *vctx)
  73. {
  74. PROV_ML_DSA_CTX *srcctx = (PROV_ML_DSA_CTX *)vctx;
  75. if (!ossl_prov_is_running())
  76. return NULL;
  77. /*
  78. * Note that the ML_DSA_KEY is ref counted via EVP_PKEY so we can just copy
  79. * the key here.
  80. */
  81. return OPENSSL_memdup(srcctx, sizeof(*srcctx));
  82. }
  83. static int set_alg_id_buffer(PROV_ML_DSA_CTX *ctx)
  84. {
  85. int ret;
  86. WPACKET pkt;
  87. uint8_t *aid = NULL;
  88. /*
  89. * We do not care about DER writing errors.
  90. * All it really means is that for some reason, there's no
  91. * AlgorithmIdentifier to be had, but the operation itself is
  92. * still valid, just as long as it's not used to construct
  93. * anything that needs an AlgorithmIdentifier.
  94. */
  95. ctx->aid_len = 0;
  96. ret = WPACKET_init_der(&pkt, ctx->aid_buf, sizeof(ctx->aid_buf));
  97. ret = ret && ossl_DER_w_algorithmIdentifier_ML_DSA(&pkt, -1, ctx->key);
  98. if (ret && WPACKET_finish(&pkt)) {
  99. WPACKET_get_total_written(&pkt, &ctx->aid_len);
  100. aid = WPACKET_get_curr(&pkt);
  101. }
  102. WPACKET_cleanup(&pkt);
  103. if (aid != NULL && ctx->aid_len != 0)
  104. memmove(ctx->aid_buf, aid, ctx->aid_len);
  105. return 1;
  106. }
  107. static int ml_dsa_signverify_msg_init(void *vctx, void *vkey,
  108. const OSSL_PARAM params[], int operation,
  109. const char *desc)
  110. {
  111. PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
  112. ML_DSA_KEY *key = vkey;
  113. if (!ossl_prov_is_running()
  114. || ctx == NULL)
  115. return 0;
  116. if (vkey == NULL && ctx->key == NULL) {
  117. ERR_raise(ERR_LIB_PROV, PROV_R_NO_KEY_SET);
  118. return 0;
  119. }
  120. if (key != NULL)
  121. ctx->key = vkey;
  122. if (!ossl_ml_dsa_key_matches(ctx->key, ctx->evp_type))
  123. return 0;
  124. set_alg_id_buffer(ctx);
  125. ctx->mu = 0;
  126. return ml_dsa_set_ctx_params(ctx, params);
  127. }
  128. static int ml_dsa_sign_msg_init(void *vctx, void *vkey, const OSSL_PARAM params[])
  129. {
  130. return ml_dsa_signverify_msg_init(vctx, vkey, params,
  131. EVP_PKEY_OP_SIGN, "ML_DSA Sign Init");
  132. }
  133. static int ml_dsa_digest_signverify_init(void *vctx, const char *mdname,
  134. void *vkey, const OSSL_PARAM params[])
  135. {
  136. PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
  137. if (mdname != NULL && mdname[0] != '\0') {
  138. ERR_raise_data(ERR_LIB_PROV, PROV_R_INVALID_DIGEST,
  139. "Explicit digest not supported for ML-DSA operations");
  140. return 0;
  141. }
  142. ctx->mu = 0;
  143. if (vkey == NULL && ctx->key != NULL)
  144. return ml_dsa_set_ctx_params(ctx, params);
  145. return ml_dsa_signverify_msg_init(vctx, vkey, params,
  146. EVP_PKEY_OP_SIGN, "ML_DSA Sign Init");
  147. }
  148. static int ml_dsa_sign(void *vctx, uint8_t *sig, size_t *siglen, size_t sigsize,
  149. const uint8_t *msg, size_t msg_len)
  150. {
  151. int ret = 0;
  152. PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
  153. uint8_t rand_tmp[ML_DSA_ENTROPY_LEN], *rnd = NULL;
  154. if (!ossl_prov_is_running())
  155. return 0;
  156. if (sig != NULL) {
  157. if (ctx->test_entropy_len != 0) {
  158. rnd = ctx->test_entropy;
  159. } else {
  160. rnd = rand_tmp;
  161. if (ctx->deterministic == 1)
  162. memset(rnd, 0, sizeof(rand_tmp));
  163. else if (RAND_priv_bytes_ex(ctx->libctx, rnd, sizeof(rand_tmp), 0) <= 0)
  164. return 0;
  165. }
  166. }
  167. ret = ossl_ml_dsa_sign(ctx->key, ctx->mu, msg, msg_len,
  168. ctx->context_string, ctx->context_string_len,
  169. rnd, sizeof(rand_tmp), ctx->msg_encode,
  170. sig, siglen, sigsize);
  171. if (rnd != ctx->test_entropy)
  172. OPENSSL_cleanse(rand_tmp, sizeof(rand_tmp));
  173. return ret;
  174. }
  175. static int ml_dsa_digest_sign(void *vctx, uint8_t *sig, size_t *siglen, size_t sigsize,
  176. const uint8_t *tbs, size_t tbslen)
  177. {
  178. return ml_dsa_sign(vctx, sig, siglen, sigsize, tbs, tbslen);
  179. }
  180. static int ml_dsa_verify_msg_init(void *vctx, void *vkey, const OSSL_PARAM params[])
  181. {
  182. return ml_dsa_signverify_msg_init(vctx, vkey, params, EVP_PKEY_OP_VERIFY,
  183. "ML_DSA Verify Init");
  184. }
  185. static int ml_dsa_verify(void *vctx, const uint8_t *sig, size_t siglen,
  186. const uint8_t *msg, size_t msg_len)
  187. {
  188. PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
  189. if (!ossl_prov_is_running())
  190. return 0;
  191. return ossl_ml_dsa_verify(ctx->key, ctx->mu, msg, msg_len,
  192. ctx->context_string, ctx->context_string_len,
  193. ctx->msg_encode, sig, siglen);
  194. }
  195. static int ml_dsa_digest_verify(void *vctx,
  196. const uint8_t *sig, size_t siglen,
  197. const uint8_t *tbs, size_t tbslen)
  198. {
  199. return ml_dsa_verify(vctx, sig, siglen, tbs, tbslen);
  200. }
  201. static int ml_dsa_set_ctx_params(void *vctx, const OSSL_PARAM params[])
  202. {
  203. PROV_ML_DSA_CTX *pctx = (PROV_ML_DSA_CTX *)vctx;
  204. const OSSL_PARAM *p;
  205. if (pctx == NULL)
  206. return 0;
  207. if (ossl_param_is_empty(params))
  208. return 1;
  209. p = OSSL_PARAM_locate_const(params, OSSL_SIGNATURE_PARAM_CONTEXT_STRING);
  210. if (p != NULL) {
  211. void *vp = pctx->context_string;
  212. if (!OSSL_PARAM_get_octet_string(p, &vp, sizeof(pctx->context_string),
  213. &(pctx->context_string_len))) {
  214. pctx->context_string_len = 0;
  215. return 0;
  216. }
  217. }
  218. p = OSSL_PARAM_locate_const(params, OSSL_SIGNATURE_PARAM_TEST_ENTROPY);
  219. if (p != NULL) {
  220. void *vp = pctx->test_entropy;
  221. pctx->test_entropy_len = 0;
  222. if (!OSSL_PARAM_get_octet_string(p, &vp, sizeof(pctx->test_entropy),
  223. &(pctx->test_entropy_len)))
  224. return 0;
  225. if (pctx->test_entropy_len != sizeof(pctx->test_entropy)) {
  226. pctx->test_entropy_len = 0;
  227. ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_SEED_LENGTH);
  228. return 0;
  229. }
  230. }
  231. p = OSSL_PARAM_locate_const(params, OSSL_SIGNATURE_PARAM_DETERMINISTIC);
  232. if (p != NULL && !OSSL_PARAM_get_int(p, &pctx->deterministic))
  233. return 0;
  234. p = OSSL_PARAM_locate_const(params, OSSL_SIGNATURE_PARAM_MESSAGE_ENCODING);
  235. if (p != NULL && !OSSL_PARAM_get_int(p, &pctx->msg_encode))
  236. return 0;
  237. p = OSSL_PARAM_locate_const(params, OSSL_SIGNATURE_PARAM_MU);
  238. if (p != NULL && !OSSL_PARAM_get_int(p, &pctx->mu))
  239. return 0;
  240. return 1;
  241. }
  242. static const OSSL_PARAM *ml_dsa_settable_ctx_params(void *vctx,
  243. ossl_unused void *provctx)
  244. {
  245. static const OSSL_PARAM settable_ctx_params[] = {
  246. OSSL_PARAM_octet_string(OSSL_SIGNATURE_PARAM_CONTEXT_STRING, NULL, 0),
  247. OSSL_PARAM_octet_string(OSSL_SIGNATURE_PARAM_TEST_ENTROPY, NULL, 0),
  248. OSSL_PARAM_int(OSSL_SIGNATURE_PARAM_DETERMINISTIC, 0),
  249. OSSL_PARAM_int(OSSL_SIGNATURE_PARAM_MU, 0),
  250. OSSL_PARAM_int(OSSL_SIGNATURE_PARAM_MESSAGE_ENCODING, 0),
  251. OSSL_PARAM_END
  252. };
  253. return settable_ctx_params;
  254. }
  255. static const OSSL_PARAM known_gettable_ctx_params[] = {
  256. OSSL_PARAM_octet_string(OSSL_SIGNATURE_PARAM_ALGORITHM_ID, NULL, 0),
  257. OSSL_PARAM_END
  258. };
  259. static const OSSL_PARAM *ml_dsa_gettable_ctx_params(ossl_unused void *vctx,
  260. ossl_unused void *provctx)
  261. {
  262. return known_gettable_ctx_params;
  263. }
  264. static int ml_dsa_get_ctx_params(void *vctx, OSSL_PARAM *params)
  265. {
  266. PROV_ML_DSA_CTX *ctx = (PROV_ML_DSA_CTX *)vctx;
  267. OSSL_PARAM *p;
  268. if (ctx == NULL)
  269. return 0;
  270. p = OSSL_PARAM_locate(params, OSSL_SIGNATURE_PARAM_ALGORITHM_ID);
  271. if (p != NULL
  272. && !OSSL_PARAM_set_octet_string(p,
  273. ctx->aid_len == 0 ? NULL : ctx->aid_buf,
  274. ctx->aid_len))
  275. return 0;
  276. return 1;
  277. }
  278. #define MAKE_SIGNATURE_FUNCTIONS(alg) \
  279. static OSSL_FUNC_signature_newctx_fn ml_dsa_##alg##_newctx; \
  280. static void *ml_dsa_##alg##_newctx(void *provctx, const char *propq) \
  281. { \
  282. return ml_dsa_newctx(provctx, EVP_PKEY_ML_DSA_##alg, propq); \
  283. } \
  284. const OSSL_DISPATCH ossl_ml_dsa_##alg##_signature_functions[] = { \
  285. { OSSL_FUNC_SIGNATURE_NEWCTX, (void (*)(void))ml_dsa_##alg##_newctx }, \
  286. { OSSL_FUNC_SIGNATURE_SIGN_MESSAGE_INIT, \
  287. (void (*)(void))ml_dsa_sign_msg_init }, \
  288. { OSSL_FUNC_SIGNATURE_SIGN, (void (*)(void))ml_dsa_sign }, \
  289. { OSSL_FUNC_SIGNATURE_VERIFY_MESSAGE_INIT, \
  290. (void (*)(void))ml_dsa_verify_msg_init }, \
  291. { OSSL_FUNC_SIGNATURE_VERIFY, (void (*)(void))ml_dsa_verify }, \
  292. { OSSL_FUNC_SIGNATURE_DIGEST_SIGN_INIT, \
  293. (void (*)(void))ml_dsa_digest_signverify_init }, \
  294. { OSSL_FUNC_SIGNATURE_DIGEST_SIGN, \
  295. (void (*)(void))ml_dsa_digest_sign }, \
  296. { OSSL_FUNC_SIGNATURE_DIGEST_VERIFY_INIT, \
  297. (void (*)(void))ml_dsa_digest_signverify_init }, \
  298. { OSSL_FUNC_SIGNATURE_DIGEST_VERIFY, \
  299. (void (*)(void))ml_dsa_digest_verify }, \
  300. { OSSL_FUNC_SIGNATURE_FREECTX, (void (*)(void))ml_dsa_freectx }, \
  301. { OSSL_FUNC_SIGNATURE_SET_CTX_PARAMS, \
  302. (void (*)(void))ml_dsa_set_ctx_params }, \
  303. { OSSL_FUNC_SIGNATURE_SETTABLE_CTX_PARAMS, \
  304. (void (*)(void))ml_dsa_settable_ctx_params }, \
  305. { OSSL_FUNC_SIGNATURE_GET_CTX_PARAMS, \
  306. (void (*)(void))ml_dsa_get_ctx_params }, \
  307. { OSSL_FUNC_SIGNATURE_GETTABLE_CTX_PARAMS, \
  308. (void (*)(void))ml_dsa_gettable_ctx_params }, \
  309. { OSSL_FUNC_SIGNATURE_DUPCTX, (void (*)(void))ml_dsa_dupctx }, \
  310. OSSL_DISPATCH_END \
  311. }
  312. MAKE_SIGNATURE_FUNCTIONS(44);
  313. MAKE_SIGNATURE_FUNCTIONS(65);
  314. MAKE_SIGNATURE_FUNCTIONS(87);