field.h 4.5 KB
Newer Older
1
/*
2
 * Copyright 2017-2018 The OpenSSL Project Authors. All Rights Reserved.
3 4 5 6 7 8 9 10
 * Copyright 2014 Cryptography Research, Inc.
 *
 * Licensed under the OpenSSL license (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
 *
 * Originally written by Mike Hamburg
M
Matt Caswell 已提交
11 12
 */

13 14
#ifndef OSSL_CRYPTO_EC_CURVE448_FIELD_H
# define OSSL_CRYPTO_EC_CURVE448_FIELD_H
15

16
# include "internal/constant_time.h"
17
# include <string.h>
M
Matt Caswell 已提交
18 19 20 21 22 23
# include <assert.h>
# include "word.h"

# define NLIMBS (64/sizeof(word_t))
# define X_SER_BYTES 56
# define SER_BYTES 56
24 25

# if defined(__GNUC__) || defined(__clang__)
26
#  define INLINE_UNUSED __inline__ __attribute__((__unused__,__always_inline__))
27
#  define RESTRICT __restrict__
28
#  define ALIGNED __attribute__((__aligned__(16)))
29 30 31 32 33 34
# else
#  define INLINE_UNUSED ossl_inline
#  define RESTRICT
#  define ALIGNED
# endif

M
Matt Caswell 已提交
35 36
typedef struct gf_s {
    word_t limb[NLIMBS];
37
} ALIGNED gf_s, gf[1];
M
Matt Caswell 已提交
38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56

/* RFC 7748 support */
# define X_PUBLIC_BYTES  X_SER_BYTES
# define X_PRIVATE_BYTES X_PUBLIC_BYTES
# define X_PRIVATE_BITS  448

static INLINE_UNUSED void gf_copy(gf out, const gf a)
{
    *out = *a;
}

static INLINE_UNUSED void gf_add_RAW(gf out, const gf a, const gf b);
static INLINE_UNUSED void gf_sub_RAW(gf out, const gf a, const gf b);
static INLINE_UNUSED void gf_bias(gf inout, int amount);
static INLINE_UNUSED void gf_weak_reduce(gf inout);

void gf_strong_reduce(gf inout);
void gf_add(gf out, const gf a, const gf b);
void gf_sub(gf out, const gf a, const gf b);
57 58 59
void gf_mul(gf_s * RESTRICT out, const gf a, const gf b);
void gf_mulw_unsigned(gf_s * RESTRICT out, const gf a, uint32_t b);
void gf_sqr(gf_s * RESTRICT out, const gf a);
M
Matt Caswell 已提交
60 61 62 63 64 65 66 67 68 69 70
mask_t gf_isr(gf a, const gf x); /** a^2 x = 1, QNR, or 0 if x=0.  Return true if successful */
mask_t gf_eq(const gf x, const gf y);
mask_t gf_lobit(const gf x);
mask_t gf_hibit(const gf x);

void gf_serialize(uint8_t *serial, const gf x, int with_highbit);
mask_t gf_deserialize(gf x, const uint8_t serial[SER_BYTES], int with_hibit,
                      uint8_t hi_nmask);

# include "f_impl.h"            /* Bring in the inline implementations */

71
# define LIMBPERM(i) (i)
M
Matt Caswell 已提交
72 73 74
# define LIMB_MASK(i) (((1)<<LIMB_PLACE_VALUE(i))-1)

static const gf ZERO = {{{0}}}, ONE = {{{1}}};
M
Matt Caswell 已提交
75

76
/* Square x, n times. */
77
static ossl_inline void gf_sqrn(gf_s * RESTRICT y, const gf x, int n)
78
{
M
Matt Caswell 已提交
79
    gf tmp;
80

81 82 83
    assert(n > 0);
    if (n & 1) {
        gf_sqr(y, x);
M
Matt Caswell 已提交
84 85
        n--;
    } else {
86 87 88
        gf_sqr(tmp, x);
        gf_sqr(y, tmp);
        n -= 2;
M
Matt Caswell 已提交
89
    }
90 91 92
    for (; n; n -= 2) {
        gf_sqr(tmp, y);
        gf_sqr(y, tmp);
M
Matt Caswell 已提交
93 94 95
    }
}

96
# define gf_add_nr gf_add_RAW
M
Matt Caswell 已提交
97

98
/* Subtract mod p.  Bias by 2 and don't reduce  */
99 100 101
static ossl_inline void gf_sub_nr(gf c, const gf a, const gf b)
{
    gf_sub_RAW(c, a, b);
M
Matt Caswell 已提交
102
    gf_bias(c, 2);
103 104
    if (GF_HEADROOM < 3)
        gf_weak_reduce(c);
M
Matt Caswell 已提交
105 106
}

107
/* Subtract mod p. Bias by amt but don't reduce.  */
108 109 110
static ossl_inline void gf_subx_nr(gf c, const gf a, const gf b, int amt)
{
    gf_sub_RAW(c, a, b);
M
Matt Caswell 已提交
111
    gf_bias(c, amt);
112 113
    if (GF_HEADROOM < amt + 1)
        gf_weak_reduce(c);
M
Matt Caswell 已提交
114 115
}

116
/* Mul by signed int.  Not constant-time WRT the sign of that int. */
117 118 119
static ossl_inline void gf_mulw(gf c, const gf a, int32_t w)
{
    if (w > 0) {
M
Matt Caswell 已提交
120 121 122
        gf_mulw_unsigned(c, a, w);
    } else {
        gf_mulw_unsigned(c, a, -w);
123
        gf_sub(c, ZERO, c);
M
Matt Caswell 已提交
124 125 126
    }
}

127
/* Constant time, x = is_z ? z : y */
128 129
static ossl_inline void gf_cond_sel(gf x, const gf y, const gf z, mask_t is_z)
{
130 131 132 133
    size_t i;

    for (i = 0; i < NLIMBS; i++) {
#if ARCH_WORD_BITS == 32
134 135
        x[0].limb[i] = constant_time_select_32(is_z, z[0].limb[i],
                                               y[0].limb[i]);
136 137
#else
        /* Must be 64 bit */
138 139
        x[0].limb[i] = constant_time_select_64(is_z, z[0].limb[i],
                                               y[0].limb[i]);
140 141
#endif
    }
M
Matt Caswell 已提交
142 143
}

144
/* Constant time, if (neg) x=-x; */
145 146
static ossl_inline void gf_cond_neg(gf x, mask_t neg)
{
M
Matt Caswell 已提交
147
    gf y;
148

149 150
    gf_sub(y, ZERO, x);
    gf_cond_sel(x, x, y, neg);
M
Matt Caswell 已提交
151 152
}

153
/* Constant time, if (swap) (x,y) = (y,x); */
154
static ossl_inline void gf_cond_swap(gf x, gf_s * RESTRICT y, mask_t swap)
155
{
156 157 158 159
    size_t i;

    for (i = 0; i < NLIMBS; i++) {
#if ARCH_WORD_BITS == 32
160
        constant_time_cond_swap_32(swap, &(x[0].limb[i]), &(y->limb[i]));
161 162
#else
        /* Must be 64 bit */
163
        constant_time_cond_swap_64(swap, &(x[0].limb[i]), &(y->limb[i]));
164 165
#endif
    }
M
Matt Caswell 已提交
166 167
}

168
#endif                          /* OSSL_CRYPTO_EC_CURVE448_FIELD_H */