dsa-sign.c 2.37 KB
Newer Older
Niels Möller's avatar
Niels Möller committed
1 2 3 4 5 6 7
/* dsa-sign.c
 *
 * The DSA publickey algorithm.
 */

/* nettle, low-level cryptographics library
 *
Niels Möller's avatar
Niels Möller committed
8
 * Copyright (C) 2002, 2010 Niels Möller
Niels Möller's avatar
Niels Möller committed
9 10 11 12 13 14 15 16 17 18 19 20 21
 *  
 * The nettle library is free software; you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation; either version 2.1 of the License, or (at your
 * option) any later version.
 * 
 * The nettle library is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
 * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
 * License for more details.
 * 
 * You should have received a copy of the GNU Lesser General Public License
 * along with the nettle library; see the file COPYING.LIB.  If not, write to
22 23
 * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
 * MA 02111-1301, USA.
Niels Möller's avatar
Niels Möller committed
24 25 26
 */

#if HAVE_CONFIG_H
27
# include "config.h"
Niels Möller's avatar
Niels Möller committed
28 29
#endif

30
#include <assert.h>
31 32
#include <stdlib.h>

Niels Möller's avatar
Niels Möller committed
33 34 35 36 37
#include "dsa.h"

#include "bignum.h"


38 39 40
int
_dsa_sign(const struct dsa_public_key *pub,
	  const struct dsa_private_key *key,
41
	  void *random_ctx, nettle_random_func *random,
42
	  size_t digest_size,
43 44
	  const uint8_t *digest,
	  struct dsa_signature *signature)
Niels Möller's avatar
Niels Möller committed
45 46 47 48
{
  mpz_t k;
  mpz_t h;
  mpz_t tmp;
49 50 51 52 53 54 55 56

  /* Require precise match of bitsize of q and hash size. The general
     description of DSA in FIPS186-3 allows both larger and smaller q;
     in the the latter case, the hash must be truncated to the right
     number of bits. */
  if (mpz_sizeinbase(pub->q, 2) != 8 * digest_size)
    return 0;

Niels Möller's avatar
Niels Möller committed
57
  /* Select k, 0<k<q, randomly */
58
  mpz_init_set(tmp, pub->q);
Niels Möller's avatar
Niels Möller committed
59 60 61
  mpz_sub_ui(tmp, tmp, 1);

  mpz_init(k);
Niels Möller's avatar
Niels Möller committed
62
  nettle_mpz_random(k, random_ctx, random, tmp);
Niels Möller's avatar
Niels Möller committed
63 64 65
  mpz_add_ui(k, k, 1);

  /* Compute r = (g^k (mod p)) (mod q) */
66 67
  mpz_powm(tmp, pub->g, k, pub->p);
  mpz_fdiv_r(signature->r, tmp, pub->q);
Niels Möller's avatar
Niels Möller committed
68 69

  /* Compute hash */
70
  mpz_init(h);
71
  nettle_mpz_set_str_256_u(h, digest_size, digest);
Niels Möller's avatar
Niels Möller committed
72 73

  /* Compute k^-1 (mod q) */
74
  if (!mpz_invert(k, k, pub->q))
Niels Möller's avatar
Niels Möller committed
75
    /* What do we do now? The key is invalid. */
76
    return 0;
Niels Möller's avatar
Niels Möller committed
77

Niels Möller's avatar
Niels Möller committed
78
  /* Compute signature s = k^-1 (h + xr) (mod q) */
Niels Möller's avatar
Niels Möller committed
79
  mpz_mul(tmp, signature->r, key->x);
80
  mpz_fdiv_r(tmp, tmp, pub->q);
Niels Möller's avatar
Niels Möller committed
81 82
  mpz_add(tmp, tmp, h);
  mpz_mul(tmp, tmp, k);
83
  mpz_fdiv_r(signature->s, tmp, pub->q);
Niels Möller's avatar
Niels Möller committed
84 85 86 87

  mpz_clear(k);
  mpz_clear(h);
  mpz_clear(tmp);
88

89
  return 1;
90
}