summaryrefslogtreecommitdiffstats
path: root/crypto/deterministic_nonce.c
diff options
context:
space:
mode:
authorslontis <shane.lontis@oracle.com>2022-07-15 21:22:01 +1000
committerHugo Landau <hlandau@openssl.org>2022-11-30 07:31:53 +0000
commitf3090fc710e30a749acaf9e5dfbe20dd163cf15d (patch)
tree720d4b3cada6e81a69a2b2b68f6e8cf592c3e003 /crypto/deterministic_nonce.c
parent9ba4f489ecd30901603d66a8ec578cbca08fac06 (diff)
Implement deterministic ECDSA sign (RFC6979)
This PR is based off the contributions in PR #9223 by Jemmy1228. It has been modified and reworked to: (1) Work with providers (2) Support ECDSA and DSA (3) Add a KDF HMAC_DRBG implementation that shares code with the RAND HMAC_DRBG. A nonce_type is passed around inside the Signing API's, in order to support any future deterministic algorithms. Reviewed-by: Tomas Mraz <tomas@openssl.org> Reviewed-by: Paul Dale <pauli@openssl.org> Reviewed-by: Hugo Landau <hlandau@openssl.org> (Merged from https://github.com/openssl/openssl/pull/18809)
Diffstat (limited to 'crypto/deterministic_nonce.c')
-rw-r--r--crypto/deterministic_nonce.c195
1 files changed, 195 insertions, 0 deletions
diff --git a/crypto/deterministic_nonce.c b/crypto/deterministic_nonce.c
new file mode 100644
index 0000000000..cd28cce513
--- /dev/null
+++ b/crypto/deterministic_nonce.c
@@ -0,0 +1,195 @@
+/*
+ * Copyright 2022 The OpenSSL Project Authors. All Rights Reserved.
+ *
+ * Licensed under the Apache License 2.0 (the "License"). You may not use
+ * this file except in compliance with the License. You can obtain a copy
+ * in the file LICENSE in the source distribution or at
+ * https://www.openssl.org/source/license.html
+ */
+
+#include <openssl/bn.h>
+#include <openssl/evp.h>
+#include <openssl/core_names.h>
+#include <openssl/kdf.h>
+#include "internal/deterministic_nonce.h"
+
+/*
+ * Convert a Bit String to an Integer (See RFC 6979 Section 2.3.2)
+ *
+ * Params:
+ * out The returned Integer as a BIGNUM
+ * qlen_bits The maximum size of the returned integer in bits. The returned
+ * Integer is shifted right if inlen is larger than qlen_bits..
+ * in, inlen The input Bit String (in bytes).
+ * Returns: 1 if successful, or 0 otherwise.
+ */
+static int bits2int(BIGNUM *out, int qlen_bits,
+ const unsigned char *in, size_t inlen)
+{
+ int blen_bits = inlen * 8;
+ int shift;
+
+ if (BN_bin2bn(in, (int)inlen, out) == NULL)
+ return 0;
+
+ shift = blen_bits - qlen_bits;
+ if (shift > 0)
+ return BN_rshift(out, out, shift);
+ return 1;
+}
+
+/*
+ * Convert an Integer to an Octet String (See RFC 6979 2.3.3).
+ * The value is zero padded if required.
+ *
+ * Params:
+ * out The returned Octet String
+ * num The input Integer
+ * rlen The required size of the returned Octet String in bytes
+ * Returns: 1 if successful, or 0 otherwis
+ */
+static int int2octets(unsigned char *out, const BIGNUM *num, int rlen)
+{
+ return BN_bn2binpad(num, out, rlen) >= 0;
+}
+
+/*
+ * Convert a Bit String to an Octet String (See RFC 6979 Section 2.3.4)
+ *
+ * Params:
+ * out The returned octet string.
+ * q The modulus
+ * qlen_bits The length of q in bits
+ * rlen The value of qlen_bits rounded up to the nearest 8 bits.
+ * in, inlen The input bit string (in bytes)
+ * Returns: 1 if successful, or 0 otherwise.
+ */
+static int bits2octets(unsigned char *out, const BIGNUM *q, int qlen_bits,
+ int rlen, const unsigned char *in, size_t inlen)
+{
+ int ret = 0;
+ BIGNUM *z = BN_new();
+
+ if (z == NULL
+ || !bits2int(z, qlen_bits, in, inlen))
+ goto err;
+
+ /* z2 = z1 mod q (Do a simple subtract, since z1 < 2^qlen_bits) */
+ if (BN_cmp(z, q) >= 0
+ && !BN_usub(z, z, q))
+ goto err;
+
+ ret = int2octets(out, z, rlen);
+err:
+ BN_free(z);
+ return ret;
+}
+
+/*
+ * Setup a KDF HMAC_DRBG object using fixed entropy and nonce data.
+ *
+ * Params:
+ * digestname The digest name for the HMAC
+ * entropy, entropylen A fixed input entropy buffer
+ * nonce, noncelen A fixed input nonce buffer
+ * libctx, propq Are used for fetching algorithms
+ *
+ * Returns: The created KDF HMAC_DRBG object if successful, or NULL otherwise.
+ */
+static EVP_KDF_CTX *kdf_setup(const char *digestname,
+ const unsigned char *entropy, size_t entropylen,
+ const unsigned char *nonce, size_t noncelen,
+ OSSL_LIB_CTX *libctx, const char *propq)
+{
+ EVP_KDF_CTX *ctx = NULL;
+ EVP_KDF *kdf = NULL;
+ OSSL_PARAM params[5], *p;
+
+ kdf = EVP_KDF_fetch(libctx, "HMAC-DRBG-KDF", propq);
+ ctx = EVP_KDF_CTX_new(kdf);
+ EVP_KDF_free(kdf);
+ if (ctx == NULL)
+ goto err;
+
+ p = params;
+ *p++ = OSSL_PARAM_construct_utf8_string(OSSL_KDF_PARAM_DIGEST,
+ (char *)digestname, 0);
+ if (propq != NULL)
+ *p++ = OSSL_PARAM_construct_utf8_string(OSSL_KDF_PARAM_PROPERTIES,
+ (char *)propq, 0);
+ *p++ = OSSL_PARAM_construct_octet_string(OSSL_KDF_PARAM_HMACDRBG_ENTROPY,
+ (void *)entropy, entropylen);
+ *p++ = OSSL_PARAM_construct_octet_string(OSSL_KDF_PARAM_HMACDRBG_NONCE,
+ (void *)nonce, noncelen);
+ *p = OSSL_PARAM_construct_end();
+
+ if (EVP_KDF_CTX_set_params(ctx, params) <= 0)
+ goto err;
+
+ return ctx;
+err:
+ EVP_KDF_CTX_free(ctx);
+ return NULL;
+}
+
+/*
+ * Generate a Deterministic nonce 'k' for DSA/ECDSA as defined in
+ * RFC 6979 Section 3.3. "Alternate Description of the Generation of k"
+ *
+ * Params:
+ * out Returns the generated deterministic nonce 'k'
+ * q A large prime number used for modulus operations for DSA and ECDSA.
+ * priv The private key in the range [1, q-1]
+ * hm, hmlen The digested message buffer in bytes
+ * digestname The digest name used for signing. It is used as the HMAC digest.
+ * libctx, propq Used for fetching algorithms
+ *
+ * Returns: 1 if successful, or 0 otherwise.
+ */
+int ossl_gen_deterministic_nonce_rfc6979(BIGNUM *out, const BIGNUM *q,
+ const BIGNUM *priv,
+ const unsigned char *hm, size_t hmlen,
+ const char *digestname,
+ OSSL_LIB_CTX *libctx,
+ const char *propq)
+{
+ EVP_KDF_CTX *kdfctx = NULL;
+ int ret = 0, rlen = 0, qlen_bits = 0;
+ unsigned char *entropyx = NULL, *nonceh = NULL, *T = NULL;
+ size_t allocsz = 0;
+
+ qlen_bits = BN_num_bits(q);
+ if (qlen_bits == 0)
+ goto end;
+
+ /* Note rlen used here is in bytes since the input values are byte arrays */
+ rlen = (qlen_bits + 7) / 8;
+ allocsz = 3 * rlen;
+
+ /* Use a single alloc for the buffers T, nonceh and entropyx */
+ T = (unsigned char *)OPENSSL_zalloc(allocsz);
+ if (T == NULL)
+ goto end;
+ nonceh = T + rlen;
+ entropyx = nonceh + rlen;
+
+ if (!int2octets(entropyx, priv, rlen)
+ || !bits2octets(nonceh, q, qlen_bits, rlen, hm, hmlen))
+ goto end;
+
+ kdfctx = kdf_setup(digestname, entropyx, rlen, nonceh, rlen, libctx, propq);
+ if (kdfctx == NULL)
+ goto end;
+
+ do {
+ if (!EVP_KDF_derive(kdfctx, T, rlen, NULL)
+ || !bits2int(out, qlen_bits, T, rlen))
+ goto end;
+ } while (BN_is_zero(out) || BN_is_one(out) || BN_cmp(out, q) >= 0);
+ ret = 1;
+
+end:
+ EVP_KDF_CTX_free(kdfctx);
+ OPENSSL_clear_free(T, allocsz);
+ return ret;
+}