1e1051a39Sopenharmony_ci/* 2e1051a39Sopenharmony_ci * Copyright 2019-2023 The OpenSSL Project Authors. All Rights Reserved. 3e1051a39Sopenharmony_ci * 4e1051a39Sopenharmony_ci * Licensed under the Apache License 2.0 (the "License"). You may not use 5e1051a39Sopenharmony_ci * this file except in compliance with the License. You can obtain a copy 6e1051a39Sopenharmony_ci * in the file LICENSE in the source distribution or at 7e1051a39Sopenharmony_ci * https://www.openssl.org/source/license.html 8e1051a39Sopenharmony_ci */ 9e1051a39Sopenharmony_ci 10e1051a39Sopenharmony_ci#include <string.h> /* memset */ 11e1051a39Sopenharmony_ci#include <openssl/core_names.h> 12e1051a39Sopenharmony_ci#include "internal/ffc.h" 13e1051a39Sopenharmony_ci#include "internal/param_build_set.h" 14e1051a39Sopenharmony_ci#include "internal/nelem.h" 15e1051a39Sopenharmony_ci 16e1051a39Sopenharmony_ci#ifndef FIPS_MODULE 17e1051a39Sopenharmony_ci# include <openssl/asn1.h> /* ossl_ffc_params_print */ 18e1051a39Sopenharmony_ci#endif 19e1051a39Sopenharmony_ci 20e1051a39Sopenharmony_civoid ossl_ffc_params_init(FFC_PARAMS *params) 21e1051a39Sopenharmony_ci{ 22e1051a39Sopenharmony_ci memset(params, 0, sizeof(*params)); 23e1051a39Sopenharmony_ci params->pcounter = -1; 24e1051a39Sopenharmony_ci params->gindex = FFC_UNVERIFIABLE_GINDEX; 25e1051a39Sopenharmony_ci params->flags = FFC_PARAM_FLAG_VALIDATE_PQG; 26e1051a39Sopenharmony_ci} 27e1051a39Sopenharmony_ci 28e1051a39Sopenharmony_civoid ossl_ffc_params_cleanup(FFC_PARAMS *params) 29e1051a39Sopenharmony_ci{ 30e1051a39Sopenharmony_ci BN_free(params->p); 31e1051a39Sopenharmony_ci BN_free(params->q); 32e1051a39Sopenharmony_ci BN_free(params->g); 33e1051a39Sopenharmony_ci BN_free(params->j); 34e1051a39Sopenharmony_ci OPENSSL_free(params->seed); 35e1051a39Sopenharmony_ci ossl_ffc_params_init(params); 36e1051a39Sopenharmony_ci} 37e1051a39Sopenharmony_ci 38e1051a39Sopenharmony_civoid ossl_ffc_params_set0_pqg(FFC_PARAMS *d, BIGNUM *p, BIGNUM *q, BIGNUM *g) 39e1051a39Sopenharmony_ci{ 40e1051a39Sopenharmony_ci if (p != NULL && p != d->p) { 41e1051a39Sopenharmony_ci BN_free(d->p); 42e1051a39Sopenharmony_ci d->p = p; 43e1051a39Sopenharmony_ci } 44e1051a39Sopenharmony_ci if (q != NULL && q != d->q) { 45e1051a39Sopenharmony_ci BN_free(d->q); 46e1051a39Sopenharmony_ci d->q = q; 47e1051a39Sopenharmony_ci } 48e1051a39Sopenharmony_ci if (g != NULL && g != d->g) { 49e1051a39Sopenharmony_ci BN_free(d->g); 50e1051a39Sopenharmony_ci d->g = g; 51e1051a39Sopenharmony_ci } 52e1051a39Sopenharmony_ci} 53e1051a39Sopenharmony_ci 54e1051a39Sopenharmony_civoid ossl_ffc_params_get0_pqg(const FFC_PARAMS *d, const BIGNUM **p, 55e1051a39Sopenharmony_ci const BIGNUM **q, const BIGNUM **g) 56e1051a39Sopenharmony_ci{ 57e1051a39Sopenharmony_ci if (p != NULL) 58e1051a39Sopenharmony_ci *p = d->p; 59e1051a39Sopenharmony_ci if (q != NULL) 60e1051a39Sopenharmony_ci *q = d->q; 61e1051a39Sopenharmony_ci if (g != NULL) 62e1051a39Sopenharmony_ci *g = d->g; 63e1051a39Sopenharmony_ci} 64e1051a39Sopenharmony_ci 65e1051a39Sopenharmony_ci 66e1051a39Sopenharmony_ci/* j is the 'cofactor' that is optionally output for ASN1. */ 67e1051a39Sopenharmony_civoid ossl_ffc_params_set0_j(FFC_PARAMS *d, BIGNUM *j) 68e1051a39Sopenharmony_ci{ 69e1051a39Sopenharmony_ci BN_free(d->j); 70e1051a39Sopenharmony_ci d->j = NULL; 71e1051a39Sopenharmony_ci if (j != NULL) 72e1051a39Sopenharmony_ci d->j = j; 73e1051a39Sopenharmony_ci} 74e1051a39Sopenharmony_ci 75e1051a39Sopenharmony_ciint ossl_ffc_params_set_seed(FFC_PARAMS *params, 76e1051a39Sopenharmony_ci const unsigned char *seed, size_t seedlen) 77e1051a39Sopenharmony_ci{ 78e1051a39Sopenharmony_ci if (params == NULL) 79e1051a39Sopenharmony_ci return 0; 80e1051a39Sopenharmony_ci 81e1051a39Sopenharmony_ci if (params->seed != NULL) { 82e1051a39Sopenharmony_ci if (params->seed == seed) 83e1051a39Sopenharmony_ci return 1; 84e1051a39Sopenharmony_ci OPENSSL_free(params->seed); 85e1051a39Sopenharmony_ci } 86e1051a39Sopenharmony_ci 87e1051a39Sopenharmony_ci if (seed != NULL && seedlen > 0) { 88e1051a39Sopenharmony_ci params->seed = OPENSSL_memdup(seed, seedlen); 89e1051a39Sopenharmony_ci if (params->seed == NULL) 90e1051a39Sopenharmony_ci return 0; 91e1051a39Sopenharmony_ci params->seedlen = seedlen; 92e1051a39Sopenharmony_ci } else { 93e1051a39Sopenharmony_ci params->seed = NULL; 94e1051a39Sopenharmony_ci params->seedlen = 0; 95e1051a39Sopenharmony_ci } 96e1051a39Sopenharmony_ci return 1; 97e1051a39Sopenharmony_ci} 98e1051a39Sopenharmony_ci 99e1051a39Sopenharmony_civoid ossl_ffc_params_set_gindex(FFC_PARAMS *params, int index) 100e1051a39Sopenharmony_ci{ 101e1051a39Sopenharmony_ci params->gindex = index; 102e1051a39Sopenharmony_ci} 103e1051a39Sopenharmony_ci 104e1051a39Sopenharmony_civoid ossl_ffc_params_set_pcounter(FFC_PARAMS *params, int index) 105e1051a39Sopenharmony_ci{ 106e1051a39Sopenharmony_ci params->pcounter = index; 107e1051a39Sopenharmony_ci} 108e1051a39Sopenharmony_ci 109e1051a39Sopenharmony_civoid ossl_ffc_params_set_h(FFC_PARAMS *params, int index) 110e1051a39Sopenharmony_ci{ 111e1051a39Sopenharmony_ci params->h = index; 112e1051a39Sopenharmony_ci} 113e1051a39Sopenharmony_ci 114e1051a39Sopenharmony_civoid ossl_ffc_params_set_flags(FFC_PARAMS *params, unsigned int flags) 115e1051a39Sopenharmony_ci{ 116e1051a39Sopenharmony_ci params->flags = flags; 117e1051a39Sopenharmony_ci} 118e1051a39Sopenharmony_ci 119e1051a39Sopenharmony_civoid ossl_ffc_params_enable_flags(FFC_PARAMS *params, unsigned int flags, 120e1051a39Sopenharmony_ci int enable) 121e1051a39Sopenharmony_ci{ 122e1051a39Sopenharmony_ci if (enable) 123e1051a39Sopenharmony_ci params->flags |= flags; 124e1051a39Sopenharmony_ci else 125e1051a39Sopenharmony_ci params->flags &= ~flags; 126e1051a39Sopenharmony_ci} 127e1051a39Sopenharmony_ci 128e1051a39Sopenharmony_ciint ossl_ffc_set_digest(FFC_PARAMS *params, const char *alg, const char *props) 129e1051a39Sopenharmony_ci{ 130e1051a39Sopenharmony_ci params->mdname = alg; 131e1051a39Sopenharmony_ci params->mdprops = props; 132e1051a39Sopenharmony_ci return 1; 133e1051a39Sopenharmony_ci} 134e1051a39Sopenharmony_ci 135e1051a39Sopenharmony_ciint ossl_ffc_params_set_validate_params(FFC_PARAMS *params, 136e1051a39Sopenharmony_ci const unsigned char *seed, 137e1051a39Sopenharmony_ci size_t seedlen, int counter) 138e1051a39Sopenharmony_ci{ 139e1051a39Sopenharmony_ci if (!ossl_ffc_params_set_seed(params, seed, seedlen)) 140e1051a39Sopenharmony_ci return 0; 141e1051a39Sopenharmony_ci params->pcounter = counter; 142e1051a39Sopenharmony_ci return 1; 143e1051a39Sopenharmony_ci} 144e1051a39Sopenharmony_ci 145e1051a39Sopenharmony_civoid ossl_ffc_params_get_validate_params(const FFC_PARAMS *params, 146e1051a39Sopenharmony_ci unsigned char **seed, size_t *seedlen, 147e1051a39Sopenharmony_ci int *pcounter) 148e1051a39Sopenharmony_ci{ 149e1051a39Sopenharmony_ci if (seed != NULL) 150e1051a39Sopenharmony_ci *seed = params->seed; 151e1051a39Sopenharmony_ci if (seedlen != NULL) 152e1051a39Sopenharmony_ci *seedlen = params->seedlen; 153e1051a39Sopenharmony_ci if (pcounter != NULL) 154e1051a39Sopenharmony_ci *pcounter = params->pcounter; 155e1051a39Sopenharmony_ci} 156e1051a39Sopenharmony_ci 157e1051a39Sopenharmony_cistatic int ffc_bn_cpy(BIGNUM **dst, const BIGNUM *src) 158e1051a39Sopenharmony_ci{ 159e1051a39Sopenharmony_ci BIGNUM *a; 160e1051a39Sopenharmony_ci 161e1051a39Sopenharmony_ci /* 162e1051a39Sopenharmony_ci * If source is read only just copy the pointer, so 163e1051a39Sopenharmony_ci * we don't have to reallocate it. 164e1051a39Sopenharmony_ci */ 165e1051a39Sopenharmony_ci if (src == NULL) 166e1051a39Sopenharmony_ci a = NULL; 167e1051a39Sopenharmony_ci else if (BN_get_flags(src, BN_FLG_STATIC_DATA) 168e1051a39Sopenharmony_ci && !BN_get_flags(src, BN_FLG_MALLOCED)) 169e1051a39Sopenharmony_ci a = (BIGNUM *)src; 170e1051a39Sopenharmony_ci else if ((a = BN_dup(src)) == NULL) 171e1051a39Sopenharmony_ci return 0; 172e1051a39Sopenharmony_ci BN_clear_free(*dst); 173e1051a39Sopenharmony_ci *dst = a; 174e1051a39Sopenharmony_ci return 1; 175e1051a39Sopenharmony_ci} 176e1051a39Sopenharmony_ci 177e1051a39Sopenharmony_ciint ossl_ffc_params_copy(FFC_PARAMS *dst, const FFC_PARAMS *src) 178e1051a39Sopenharmony_ci{ 179e1051a39Sopenharmony_ci if (!ffc_bn_cpy(&dst->p, src->p) 180e1051a39Sopenharmony_ci || !ffc_bn_cpy(&dst->g, src->g) 181e1051a39Sopenharmony_ci || !ffc_bn_cpy(&dst->q, src->q) 182e1051a39Sopenharmony_ci || !ffc_bn_cpy(&dst->j, src->j)) 183e1051a39Sopenharmony_ci return 0; 184e1051a39Sopenharmony_ci 185e1051a39Sopenharmony_ci dst->mdname = src->mdname; 186e1051a39Sopenharmony_ci dst->mdprops = src->mdprops; 187e1051a39Sopenharmony_ci OPENSSL_free(dst->seed); 188e1051a39Sopenharmony_ci dst->seedlen = src->seedlen; 189e1051a39Sopenharmony_ci if (src->seed != NULL) { 190e1051a39Sopenharmony_ci dst->seed = OPENSSL_memdup(src->seed, src->seedlen); 191e1051a39Sopenharmony_ci if (dst->seed == NULL) 192e1051a39Sopenharmony_ci return 0; 193e1051a39Sopenharmony_ci } else { 194e1051a39Sopenharmony_ci dst->seed = NULL; 195e1051a39Sopenharmony_ci } 196e1051a39Sopenharmony_ci dst->nid = src->nid; 197e1051a39Sopenharmony_ci dst->pcounter = src->pcounter; 198e1051a39Sopenharmony_ci dst->h = src->h; 199e1051a39Sopenharmony_ci dst->gindex = src->gindex; 200e1051a39Sopenharmony_ci dst->flags = src->flags; 201e1051a39Sopenharmony_ci dst->keylength = src->keylength; 202e1051a39Sopenharmony_ci return 1; 203e1051a39Sopenharmony_ci} 204e1051a39Sopenharmony_ci 205e1051a39Sopenharmony_ciint ossl_ffc_params_cmp(const FFC_PARAMS *a, const FFC_PARAMS *b, int ignore_q) 206e1051a39Sopenharmony_ci{ 207e1051a39Sopenharmony_ci return BN_cmp(a->p, b->p) == 0 208e1051a39Sopenharmony_ci && BN_cmp(a->g, b->g) == 0 209e1051a39Sopenharmony_ci && (ignore_q || BN_cmp(a->q, b->q) == 0); /* Note: q may be NULL */ 210e1051a39Sopenharmony_ci} 211e1051a39Sopenharmony_ci 212e1051a39Sopenharmony_ciint ossl_ffc_params_todata(const FFC_PARAMS *ffc, OSSL_PARAM_BLD *bld, 213e1051a39Sopenharmony_ci OSSL_PARAM params[]) 214e1051a39Sopenharmony_ci{ 215e1051a39Sopenharmony_ci int test_flags; 216e1051a39Sopenharmony_ci 217e1051a39Sopenharmony_ci if (ffc == NULL) 218e1051a39Sopenharmony_ci return 0; 219e1051a39Sopenharmony_ci 220e1051a39Sopenharmony_ci if (ffc->p != NULL 221e1051a39Sopenharmony_ci && !ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_FFC_P, ffc->p)) 222e1051a39Sopenharmony_ci return 0; 223e1051a39Sopenharmony_ci if (ffc->q != NULL 224e1051a39Sopenharmony_ci && !ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_FFC_Q, ffc->q)) 225e1051a39Sopenharmony_ci return 0; 226e1051a39Sopenharmony_ci if (ffc->g != NULL 227e1051a39Sopenharmony_ci && !ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_FFC_G, ffc->g)) 228e1051a39Sopenharmony_ci return 0; 229e1051a39Sopenharmony_ci if (ffc->j != NULL 230e1051a39Sopenharmony_ci && !ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_FFC_COFACTOR, 231e1051a39Sopenharmony_ci ffc->j)) 232e1051a39Sopenharmony_ci return 0; 233e1051a39Sopenharmony_ci if (!ossl_param_build_set_int(bld, params, OSSL_PKEY_PARAM_FFC_GINDEX, 234e1051a39Sopenharmony_ci ffc->gindex)) 235e1051a39Sopenharmony_ci return 0; 236e1051a39Sopenharmony_ci if (!ossl_param_build_set_int(bld, params, OSSL_PKEY_PARAM_FFC_PCOUNTER, 237e1051a39Sopenharmony_ci ffc->pcounter)) 238e1051a39Sopenharmony_ci return 0; 239e1051a39Sopenharmony_ci if (!ossl_param_build_set_int(bld, params, OSSL_PKEY_PARAM_FFC_H, ffc->h)) 240e1051a39Sopenharmony_ci return 0; 241e1051a39Sopenharmony_ci if (ffc->seed != NULL 242e1051a39Sopenharmony_ci && !ossl_param_build_set_octet_string(bld, params, 243e1051a39Sopenharmony_ci OSSL_PKEY_PARAM_FFC_SEED, 244e1051a39Sopenharmony_ci ffc->seed, ffc->seedlen)) 245e1051a39Sopenharmony_ci return 0; 246e1051a39Sopenharmony_ci if (ffc->nid != NID_undef) { 247e1051a39Sopenharmony_ci const DH_NAMED_GROUP *group = ossl_ffc_uid_to_dh_named_group(ffc->nid); 248e1051a39Sopenharmony_ci const char *name = ossl_ffc_named_group_get_name(group); 249e1051a39Sopenharmony_ci 250e1051a39Sopenharmony_ci if (name == NULL 251e1051a39Sopenharmony_ci || !ossl_param_build_set_utf8_string(bld, params, 252e1051a39Sopenharmony_ci OSSL_PKEY_PARAM_GROUP_NAME, 253e1051a39Sopenharmony_ci name)) 254e1051a39Sopenharmony_ci return 0; 255e1051a39Sopenharmony_ci } 256e1051a39Sopenharmony_ci test_flags = ((ffc->flags & FFC_PARAM_FLAG_VALIDATE_PQ) != 0); 257e1051a39Sopenharmony_ci if (!ossl_param_build_set_int(bld, params, 258e1051a39Sopenharmony_ci OSSL_PKEY_PARAM_FFC_VALIDATE_PQ, test_flags)) 259e1051a39Sopenharmony_ci return 0; 260e1051a39Sopenharmony_ci test_flags = ((ffc->flags & FFC_PARAM_FLAG_VALIDATE_G) != 0); 261e1051a39Sopenharmony_ci if (!ossl_param_build_set_int(bld, params, 262e1051a39Sopenharmony_ci OSSL_PKEY_PARAM_FFC_VALIDATE_G, test_flags)) 263e1051a39Sopenharmony_ci return 0; 264e1051a39Sopenharmony_ci test_flags = ((ffc->flags & FFC_PARAM_FLAG_VALIDATE_LEGACY) != 0); 265e1051a39Sopenharmony_ci if (!ossl_param_build_set_int(bld, params, 266e1051a39Sopenharmony_ci OSSL_PKEY_PARAM_FFC_VALIDATE_LEGACY, 267e1051a39Sopenharmony_ci test_flags)) 268e1051a39Sopenharmony_ci return 0; 269e1051a39Sopenharmony_ci 270e1051a39Sopenharmony_ci if (ffc->mdname != NULL 271e1051a39Sopenharmony_ci && !ossl_param_build_set_utf8_string(bld, params, 272e1051a39Sopenharmony_ci OSSL_PKEY_PARAM_FFC_DIGEST, 273e1051a39Sopenharmony_ci ffc->mdname)) 274e1051a39Sopenharmony_ci return 0; 275e1051a39Sopenharmony_ci if (ffc->mdprops != NULL 276e1051a39Sopenharmony_ci && !ossl_param_build_set_utf8_string(bld, params, 277e1051a39Sopenharmony_ci OSSL_PKEY_PARAM_FFC_DIGEST_PROPS, 278e1051a39Sopenharmony_ci ffc->mdprops)) 279e1051a39Sopenharmony_ci return 0; 280e1051a39Sopenharmony_ci return 1; 281e1051a39Sopenharmony_ci} 282e1051a39Sopenharmony_ci 283e1051a39Sopenharmony_ci#ifndef FIPS_MODULE 284e1051a39Sopenharmony_ciint ossl_ffc_params_print(BIO *bp, const FFC_PARAMS *ffc, int indent) 285e1051a39Sopenharmony_ci{ 286e1051a39Sopenharmony_ci if (!ASN1_bn_print(bp, "prime P:", ffc->p, NULL, indent)) 287e1051a39Sopenharmony_ci goto err; 288e1051a39Sopenharmony_ci if (!ASN1_bn_print(bp, "generator G:", ffc->g, NULL, indent)) 289e1051a39Sopenharmony_ci goto err; 290e1051a39Sopenharmony_ci if (ffc->q != NULL 291e1051a39Sopenharmony_ci && !ASN1_bn_print(bp, "subgroup order Q:", ffc->q, NULL, indent)) 292e1051a39Sopenharmony_ci goto err; 293e1051a39Sopenharmony_ci if (ffc->j != NULL 294e1051a39Sopenharmony_ci && !ASN1_bn_print(bp, "subgroup factor:", ffc->j, NULL, indent)) 295e1051a39Sopenharmony_ci goto err; 296e1051a39Sopenharmony_ci if (ffc->seed != NULL) { 297e1051a39Sopenharmony_ci size_t i; 298e1051a39Sopenharmony_ci 299e1051a39Sopenharmony_ci if (!BIO_indent(bp, indent, 128) 300e1051a39Sopenharmony_ci || BIO_puts(bp, "seed:") <= 0) 301e1051a39Sopenharmony_ci goto err; 302e1051a39Sopenharmony_ci for (i = 0; i < ffc->seedlen; i++) { 303e1051a39Sopenharmony_ci if ((i % 15) == 0) { 304e1051a39Sopenharmony_ci if (BIO_puts(bp, "\n") <= 0 305e1051a39Sopenharmony_ci || !BIO_indent(bp, indent + 4, 128)) 306e1051a39Sopenharmony_ci goto err; 307e1051a39Sopenharmony_ci } 308e1051a39Sopenharmony_ci if (BIO_printf(bp, "%02x%s", ffc->seed[i], 309e1051a39Sopenharmony_ci ((i + 1) == ffc->seedlen) ? "" : ":") <= 0) 310e1051a39Sopenharmony_ci goto err; 311e1051a39Sopenharmony_ci } 312e1051a39Sopenharmony_ci if (BIO_write(bp, "\n", 1) <= 0) 313e1051a39Sopenharmony_ci return 0; 314e1051a39Sopenharmony_ci } 315e1051a39Sopenharmony_ci if (ffc->pcounter != -1) { 316e1051a39Sopenharmony_ci if (!BIO_indent(bp, indent, 128) 317e1051a39Sopenharmony_ci || BIO_printf(bp, "counter: %d\n", ffc->pcounter) <= 0) 318e1051a39Sopenharmony_ci goto err; 319e1051a39Sopenharmony_ci } 320e1051a39Sopenharmony_ci return 1; 321e1051a39Sopenharmony_cierr: 322e1051a39Sopenharmony_ci return 0; 323e1051a39Sopenharmony_ci} 324e1051a39Sopenharmony_ci#endif /* FIPS_MODULE */ 325