crypto/ecc.h

   1 /*
   2  * Copyright (c) 2013, Kenneth MacKay
   3  * All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions are
   7  * met:
   8  *  * Redistributions of source code must retain the above copyright
   9  *   notice, this list of conditions and the following disclaimer.
  10  *  * Redistributions in binary form must reproduce the above copyright
  11  *    notice, this list of conditions and the following disclaimer in the
  12  *    documentation and/or other materials provided with the distribution.
  13  *
  14  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  15  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  16  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  17  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  18  * HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  19  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  20  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  21  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  22  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  23  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  24  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  25  */
  26 #ifndef _CRYPTO_ECC_H
  27 #define _CRYPTO_ECC_H
  28
  29 /* One digit is u64 qword. */
  30 #define ECC_CURVE_NIST_P192_DIGITS  3
  31 #define ECC_CURVE_NIST_P256_DIGITS  4
  32 #define ECC_MAX_DIGITS             (512 / 64)
  33
  34 #define ECC_DIGITS_TO_BYTES_SHIFT 3
  35
  36 /**
  37  * struct ecc_point - elliptic curve point in affine coordinates
  38  *
  39  * @x:          X coordinate in vli form.
  40  * @y:          Y coordinate in vli form.
  41  * @ndigits:    Length of vlis in u64 qwords.
  42  */
  43 struct ecc_point {
  44         u64 *x;
  45         u64 *y;
  46         u8 ndigits;
  47 };
  48
  49 #define ECC_POINT_INIT(x, y, ndigits)   (struct ecc_point) { x, y, ndigits }
  50
  51 /**
  52  * struct ecc_curve - definition of elliptic curve
  53  *
  54  * @name:       Short name of the curve.
  55  * @g:          Generator point of the curve.
  56  * @p:          Prime number, if Barrett's reduction is used for this curve
  57  *              pre-calculated value 'mu' is appended to the @p after ndigits.
  58  *              Use of Barrett's reduction is heuristically determined in
  59  *              vli_mmod_fast().
  60  * @n:          Order of the curve group.
  61  * @a:          Curve parameter a.
  62  * @b:          Curve parameter b.
  63  */
  64 struct ecc_curve {
  65         char *name;
  66         struct ecc_point g;
  67         u64 *p;
  68         u64 *n;
  69         u64 *a;
  70         u64 *b;
  71 };
  72
  73 /**
  74  * ecc_is_key_valid() - Validate a given ECDH private key
  75  *
  76  * @curve_id:           id representing the curve to use
  77  * @ndigits:            curve's number of digits
  78  * @private_key:        private key to be used for the given curve
  79  * @private_key_len:    private key length
  80  *
  81  * Returns 0 if the key is acceptable, a negative value otherwise
  82  */
  83 int ecc_is_key_valid(unsigned int curve_id, unsigned int ndigits,
  84                      const u64 *private_key, unsigned int private_key_len);
  85
  86 /**
  87  * ecc_gen_privkey() -  Generates an ECC private key.
  88  * The private key is a random integer in the range 0 < random < n, where n is a
  89  * prime that is the order of the cyclic subgroup generated by the distinguished
  90  * point G.
  91  * @curve_id:           id representing the curve to use
  92  * @ndigits:            curve number of digits
  93  * @private_key:        buffer for storing the generated private key
  94  *
  95  * Returns 0 if the private key was generated successfully, a negative value
  96  * if an error occurred.
  97  */
  98 int ecc_gen_privkey(unsigned int curve_id, unsigned int ndigits, u64 *privkey);
  99
 100 /**
 101  * ecc_make_pub_key() - Compute an ECC public key
 102  *
 103  * @curve_id:           id representing the curve to use
 104  * @ndigits:            curve's number of digits
 105  * @private_key:        pregenerated private key for the given curve
 106  * @public_key:         buffer for storing the generated public key
 107  *
 108  * Returns 0 if the public key was generated successfully, a negative value
 109  * if an error occurred.
 110  */
 111 int ecc_make_pub_key(const unsigned int curve_id, unsigned int ndigits,
 112                      const u64 *private_key, u64 *public_key);
 113
 114 /**
 115  * crypto_ecdh_shared_secret() - Compute a shared secret
 116  *
 117  * @curve_id:           id representing the curve to use
 118  * @ndigits:            curve's number of digits
 119  * @private_key:        private key of part A
 120  * @public_key:         public key of counterpart B
 121  * @secret:             buffer for storing the calculated shared secret
 122  *
 123  * Note: It is recommended that you hash the result of crypto_ecdh_shared_secret
 124  * before using it for symmetric encryption or HMAC.
 125  *
 126  * Returns 0 if the shared secret was generated successfully, a negative value
 127  * if an error occurred.
 128  */
 129 int crypto_ecdh_shared_secret(unsigned int curve_id, unsigned int ndigits,
 130                               const u64 *private_key, const u64 *public_key,
 131                               u64 *secret);
 132
 133 /**
 134  * ecc_is_pubkey_valid_partial() - Partial public key validation
 135  *
 136  * @curve:              elliptic curve domain parameters
 137  * @pk:                 public key as a point
 138  *
 139  * Valdiate public key according to SP800-56A section 5.6.2.3.4 ECC Partial
 140  * Public-Key Validation Routine.
 141  *
 142  * Note: There is no check that the public key is in the correct elliptic curve
 143  * subgroup.
 144  *
 145  * Return: 0 if validation is successful, -EINVAL if validation is failed.
 146  */
 147 int ecc_is_pubkey_valid_partial(const struct ecc_curve *curve,
 148                                 struct ecc_point *pk);
 149
 150 /**
 151  * vli_is_zero() - Determine is vli is zero
 152  *
 153  * @vli:                vli to check.
 154  * @ndigits:            length of the @vli
 155  */
 156 bool vli_is_zero(const u64 *vli, unsigned int ndigits);
 157
 158 /**
 159  * vli_cmp() - compare left and right vlis
 160  *
 161  * @left:               vli
 162  * @right:              vli
 163  * @ndigits:            length of both vlis
 164  *
 165  * Returns sign of @left - @right, i.e. -1 if @left < @right,
 166  * 0 if @left == @right, 1 if @left > @right.
 167  */
 168 int vli_cmp(const u64 *left, const u64 *right, unsigned int ndigits);
 169
 170 /**
 171  * vli_sub() - Subtracts right from left
 172  *
 173  * @result:             where to write result
 174  * @left:               vli
 175  * @right               vli
 176  * @ndigits:            length of all vlis
 177  *
 178  * Note: can modify in-place.
 179  *
 180  * Return: carry bit.
 181  */
 182 u64 vli_sub(u64 *result, const u64 *left, const u64 *right,
 183             unsigned int ndigits);
 184
 185 /**
 186  * vli_from_be64() - Load vli from big-endian u64 array
 187  *
 188  * @dest:               destination vli
 189  * @src:                source array of u64 BE values
 190  * @ndigits:            length of both vli and array
 191  */
 192 void vli_from_be64(u64 *dest, const void *src, unsigned int ndigits);
 193
 194 /**
 195  * vli_from_le64() - Load vli from little-endian u64 array
 196  *
 197  * @dest:               destination vli
 198  * @src:                source array of u64 LE values
 199  * @ndigits:            length of both vli and array
 200  */
 201 void vli_from_le64(u64 *dest, const void *src, unsigned int ndigits);
 202
 203 /**
 204  * vli_mod_inv() - Modular inversion
 205  *
 206  * @result:             where to write vli number
 207  * @input:              vli value to operate on
 208  * @mod:                modulus
 209  * @ndigits:            length of all vlis
 210  */
 211 void vli_mod_inv(u64 *result, const u64 *input, const u64 *mod,
 212                  unsigned int ndigits);
 213
 214 /**
 215  * vli_mod_mult_slow() - Modular multiplication
 216  *
 217  * @result:             where to write result value
 218  * @left:               vli number to multiply with @right
 219  * @right:              vli number to multiply with @left
 220  * @mod:                modulus
 221  * @ndigits:            length of all vlis
 222  *
 223  * Note: Assumes that mod is big enough curve order.
 224  */
 225 void vli_mod_mult_slow(u64 *result, const u64 *left, const u64 *right,
 226                        const u64 *mod, unsigned int ndigits);
 227
 228 /**
 229  * ecc_point_mult_shamir() - Add two points multiplied by scalars
 230  *
 231  * @result:             resulting point
 232  * @x:                  scalar to multiply with @p
 233  * @p:                  point to multiply with @x
 234  * @y:                  scalar to multiply with @q
 235  * @q:                  point to multiply with @y
 236  * @curve:              curve
 237  *
 238  * Returns result = x * p + x * q over the curve.
 239  * This works faster than two multiplications and addition.
 240  */
 241 void ecc_point_mult_shamir(const struct ecc_point *result,
 242                            const u64 *x, const struct ecc_point *p,
 243                            const u64 *y, const struct ecc_point *q,
 244                            const struct ecc_curve *curve);
 245 #endif