123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219 |
- /* ecc-gots.c - Elliptic Curve GOST signatures
- * Copyright (C) 2007, 2008, 2010, 2011 Free Software Foundation, Inc.
- * Copyright (C) 2013 Dmitry Eremin-Solenikov
- *
- * This file is part of Libgcrypt.
- *
- * Libgcrypt 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.
- *
- * Libgcrypt 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 this program; if not, see <http://www.gnu.org/licenses/>.
- */
- #include <config.h>
- #include <stdio.h>
- #include <stdlib.h>
- #include <string.h>
- #include <errno.h>
- #include "g10lib.h"
- #include "mpi.h"
- #include "cipher.h"
- #include "context.h"
- #include "ec-context.h"
- #include "ecc-common.h"
- #include "pubkey-internal.h"
- /* Compute an GOST R 34.10-01/-12 signature.
- * Return the signature struct (r,s) from the message hash. The caller
- * must have allocated R and S.
- */
- gpg_err_code_t
- _gcry_ecc_gost_sign (gcry_mpi_t input, mpi_ec_t ec,
- gcry_mpi_t r, gcry_mpi_t s)
- {
- gpg_err_code_t rc = 0;
- gcry_mpi_t k, dr, sum, ke, x, e;
- mpi_point_struct I;
- gcry_mpi_t hash;
- unsigned int qbits;
- if (DBG_CIPHER)
- log_mpidump ("gost sign hash ", input );
- qbits = mpi_get_nbits (ec->n);
- /* Convert the INPUT into an MPI if needed. */
- rc = _gcry_dsa_normalize_hash (input, &hash, qbits);
- if (rc)
- return rc;
- k = NULL;
- dr = mpi_alloc (0);
- sum = mpi_alloc (0);
- ke = mpi_alloc (0);
- e = mpi_alloc (0);
- x = mpi_alloc (0);
- point_init (&I);
- mpi_mod (e, input, ec->n); /* e = hash mod n */
- if (!mpi_cmp_ui (e, 0))
- mpi_set_ui (e, 1);
- /* Two loops to avoid R or S are zero. This is more of a joke than
- a real demand because the probability of them being zero is less
- than any hardware failure. Some specs however require it. */
- do
- {
- do
- {
- mpi_free (k);
- k = _gcry_dsa_gen_k (ec->n, GCRY_STRONG_RANDOM);
- _gcry_dsa_modify_k (k, ec->n, qbits);
- _gcry_mpi_ec_mul_point (&I, k, ec->G, ec);
- if (_gcry_mpi_ec_get_affine (x, NULL, &I, ec))
- {
- if (DBG_CIPHER)
- log_debug ("ecc sign: Failed to get affine coordinates\n");
- rc = GPG_ERR_BAD_SIGNATURE;
- goto leave;
- }
- mpi_mod (r, x, ec->n); /* r = x mod n */
- }
- while (!mpi_cmp_ui (r, 0));
- mpi_mulm (dr, ec->d, r, ec->n); /* dr = d*r mod n */
- mpi_mulm (ke, k, e, ec->n); /* ke = k*e mod n */
- mpi_addm (s, ke, dr, ec->n); /* sum = (k*e+ d*r) mod n */
- }
- while (!mpi_cmp_ui (s, 0));
- if (DBG_CIPHER)
- {
- log_mpidump ("gost sign result r ", r);
- log_mpidump ("gost sign result s ", s);
- }
- leave:
- point_free (&I);
- mpi_free (x);
- mpi_free (e);
- mpi_free (ke);
- mpi_free (sum);
- mpi_free (dr);
- mpi_free (k);
- if (hash != input)
- mpi_free (hash);
- return rc;
- }
- /* Verify a GOST R 34.10-01/-12 signature.
- * Check if R and S verifies INPUT.
- */
- gpg_err_code_t
- _gcry_ecc_gost_verify (gcry_mpi_t input, mpi_ec_t ec,
- gcry_mpi_t r, gcry_mpi_t s)
- {
- gpg_err_code_t err = 0;
- gcry_mpi_t e, x, z1, z2, v, rv, zero;
- mpi_point_struct Q, Q1, Q2;
- if (!_gcry_mpi_ec_curve_point (ec->Q, ec))
- return GPG_ERR_BROKEN_PUBKEY;
- if( !(mpi_cmp_ui (r, 0) > 0 && mpi_cmp (r, ec->n) < 0) )
- return GPG_ERR_BAD_SIGNATURE; /* Assertion 0 < r < n failed. */
- if( !(mpi_cmp_ui (s, 0) > 0 && mpi_cmp (s, ec->n) < 0) )
- return GPG_ERR_BAD_SIGNATURE; /* Assertion 0 < s < n failed. */
- x = mpi_alloc (0);
- e = mpi_alloc (0);
- z1 = mpi_alloc (0);
- z2 = mpi_alloc (0);
- v = mpi_alloc (0);
- rv = mpi_alloc (0);
- zero = mpi_alloc (0);
- point_init (&Q);
- point_init (&Q1);
- point_init (&Q2);
- mpi_mod (e, input, ec->n); /* e = hash mod n */
- if (!mpi_cmp_ui (e, 0))
- mpi_set_ui (e, 1);
- mpi_invm (v, e, ec->n); /* v = e^(-1) (mod n) */
- mpi_mulm (z1, s, v, ec->n); /* z1 = s*v (mod n) */
- mpi_mulm (rv, r, v, ec->n); /* rv = r*v (mod n) */
- mpi_subm (z2, zero, rv, ec->n); /* z2 = -r*v (mod n) */
- _gcry_mpi_ec_mul_point (&Q1, z1, ec->G, ec);
- /* log_mpidump ("Q1.x", Q1.x); */
- /* log_mpidump ("Q1.y", Q1.y); */
- /* log_mpidump ("Q1.z", Q1.z); */
- _gcry_mpi_ec_mul_point (&Q2, z2, ec->Q, ec);
- /* log_mpidump ("Q2.x", Q2.x); */
- /* log_mpidump ("Q2.y", Q2.y); */
- /* log_mpidump ("Q2.z", Q2.z); */
- _gcry_mpi_ec_add_points (&Q, &Q1, &Q2, ec);
- /* log_mpidump (" Q.x", Q.x); */
- /* log_mpidump (" Q.y", Q.y); */
- /* log_mpidump (" Q.z", Q.z); */
- if (!mpi_cmp_ui (Q.z, 0))
- {
- if (DBG_CIPHER)
- log_debug ("ecc verify: Rejected\n");
- err = GPG_ERR_BAD_SIGNATURE;
- goto leave;
- }
- if (_gcry_mpi_ec_get_affine (x, NULL, &Q, ec))
- {
- if (DBG_CIPHER)
- log_debug ("ecc verify: Failed to get affine coordinates\n");
- err = GPG_ERR_BAD_SIGNATURE;
- goto leave;
- }
- mpi_mod (x, x, ec->n); /* x = x mod E_n */
- if (mpi_cmp (x, r)) /* x != r */
- {
- if (DBG_CIPHER)
- {
- log_mpidump (" x", x);
- log_mpidump (" r", r);
- log_mpidump (" s", s);
- log_debug ("ecc verify: Not verified\n");
- }
- err = GPG_ERR_BAD_SIGNATURE;
- goto leave;
- }
- if (DBG_CIPHER)
- log_debug ("ecc verify: Accepted\n");
- leave:
- point_free (&Q2);
- point_free (&Q1);
- point_free (&Q);
- mpi_free (zero);
- mpi_free (rv);
- mpi_free (v);
- mpi_free (z2);
- mpi_free (z1);
- mpi_free (x);
- mpi_free (e);
- return err;
- }
|