Coverage Report

Created: 2026-09-12 06:55

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl41/crypto/ec/curve448/field.h
Line
Count
Source
1
/*
2
 * Copyright 2017-2026 The OpenSSL Project Authors. All Rights Reserved.
3
 * Copyright 2014 Cryptography Research, Inc.
4
 *
5
 * Licensed under the Apache License 2.0 (the "License").  You may not use
6
 * this file except in compliance with the License.  You can obtain a copy
7
 * in the file LICENSE in the source distribution or at
8
 * https://www.openssl.org/source/license.html
9
 *
10
 * Originally written by Mike Hamburg
11
 */
12
13
#ifndef OSSL_CRYPTO_EC_CURVE448_FIELD_H
14
#define OSSL_CRYPTO_EC_CURVE448_FIELD_H
15
16
#include "internal/constant_time.h"
17
#include <string.h>
18
#include <assert.h>
19
#include "word.h"
20
21
6.22M
#define NLIMBS (64 / sizeof(word_t))
22
20.5k
#define X_SER_BYTES 56
23
26
#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
#else
30
#define INLINE_UNUSED ossl_inline
31
#define RESTRICT
32
#define ALIGNED
33
#endif
34
35
typedef struct gf_s {
36
    word_t limb[NLIMBS];
37
} ALIGNED gf_s, gf[1];
38
39
/* RFC 7748 support */
40
592
#define X_PUBLIC_BYTES X_SER_BYTES
41
592
#define X_PRIVATE_BYTES X_PUBLIC_BYTES
42
12.0k
#define X_PRIVATE_BITS 448
43
44
static INLINE_UNUSED void gf_copy(gf out, const gf a)
45
1.50k
{
46
1.50k
    *out = *a;
47
1.50k
}
curve448.c:gf_copy
Line
Count
Source
45
776
{
46
776
    *out = *a;
47
776
}
Unexecuted instantiation: curve448_tables.c:gf_copy
Unexecuted instantiation: eddsa.c:gf_copy
f_generic.c:gf_copy
Line
Count
Source
45
725
{
46
725
    *out = *a;
47
725
}
Unexecuted instantiation: scalar.c:gf_copy
Unexecuted instantiation: f_impl64.c:gf_copy
48
49
static INLINE_UNUSED void gf_add_RAW(gf out, const gf a, const gf b);
50
static INLINE_UNUSED void gf_sub_RAW(gf out, const gf a, const gf b);
51
static INLINE_UNUSED void gf_bias(gf inout, int amount);
52
static INLINE_UNUSED void gf_weak_reduce(gf inout);
53
54
void gf_strong_reduce(gf inout);
55
void gf_add(gf out, const gf a, const gf b);
56
void gf_sub(gf out, const gf a, const gf b);
57
void ossl_gf_mul(gf_s *RESTRICT out, const gf a, const gf b);
58
void ossl_gf_mulw_unsigned(gf_s *RESTRICT out, const gf a, uint32_t b);
59
void ossl_gf_sqr(gf_s *RESTRICT out, const gf a);
60
mask_t gf_isr(gf a, const gf x); /** a^2 x = 1, QNR, or 0 if x=0.  Return true if successful */
61
mask_t gf_eq(const gf x, const gf y);
62
mask_t gf_lobit(const gf x);
63
mask_t gf_hibit(const gf x);
64
65
void gf_serialize(uint8_t serial[SER_BYTES], const gf x, int with_highbit);
66
mask_t gf_deserialize(gf x, const uint8_t serial[SER_BYTES], int with_hibit,
67
    uint8_t hi_nmask);
68
69
/* clang-format off */
70
42.4k
#define LIMBPERM(i) (i)
71
#if (ARCH_WORD_BITS == 32)
72
#define GF_HEADROOM 2
73
#define LIMB(x) ((x) & ((1 << 28) - 1)), ((x) >> 28)
74
#define FIELD_LITERAL(a, b, c, d, e, f, g, h)                                      \
75
    {                                                                              \
76
        {                                                                          \
77
            LIMB(a), LIMB(b), LIMB(c), LIMB(d), LIMB(e), LIMB(f), LIMB(g), LIMB(h) \
78
        }                                                                          \
79
    }
80
81
#define LIMB_PLACE_VALUE(i) 28
82
83
void gf_add_RAW(gf out, const gf a, const gf b)
84
{
85
    unsigned int i;
86
87
    for (i = 0; i < NLIMBS; i++)
88
        out->limb[i] = a->limb[i] + b->limb[i];
89
}
90
91
void gf_sub_RAW(gf out, const gf a, const gf b)
92
{
93
    unsigned int i;
94
95
    for (i = 0; i < NLIMBS; i++)
96
        out->limb[i] = a->limb[i] - b->limb[i];
97
}
98
99
void gf_bias(gf a, int amt)
100
{
101
    unsigned int i;
102
    uint32_t co1 = ((1 << 28) - 1) * amt, co2 = co1 - amt;
103
104
    for (i = 0; i < NLIMBS; i++)
105
        a->limb[i] += (i == NLIMBS / 2) ? co2 : co1;
106
}
107
108
void gf_weak_reduce(gf a)
109
{
110
    uint32_t mask = (1 << 28) - 1;
111
    uint32_t tmp = a->limb[NLIMBS - 1] >> 28;
112
    unsigned int i;
113
114
    a->limb[NLIMBS / 2] += tmp;
115
    for (i = NLIMBS - 1; i > 0; i--)
116
        a->limb[i] = (a->limb[i] & mask) + (a->limb[i - 1] >> 28);
117
    a->limb[0] = (a->limb[0] & mask) + tmp;
118
}
119
#define LIMB_MASK(i) (((1) << LIMB_PLACE_VALUE(i)) - 1)
120
#elif (ARCH_WORD_BITS == 64)
121
154k
#define GF_HEADROOM 9999 /* Everything is reduced anyway */
122
#define FIELD_LITERAL(a, b, c, d, e, f, g, h) \
123
    {                                         \
124
        {                                     \
125
            a, b, c, d, e, f, g, h            \
126
        }                                     \
127
    }
128
129
30.7k
#define LIMB_PLACE_VALUE(i) 56
130
131
void gf_add_RAW(gf out, const gf a, const gf b)
132
149k
{
133
149k
    unsigned int i;
134
135
1.34M
    for (i = 0; i < NLIMBS; i++)
136
1.19M
        out->limb[i] = a->limb[i] + b->limb[i];
137
138
149k
    gf_weak_reduce(out);
139
149k
}
curve448.c:gf_add_RAW
Line
Count
Source
132
149k
{
133
149k
    unsigned int i;
134
135
1.34M
    for (i = 0; i < NLIMBS; i++)
136
1.19M
        out->limb[i] = a->limb[i] + b->limb[i];
137
138
149k
    gf_weak_reduce(out);
139
149k
}
Unexecuted instantiation: curve448_tables.c:gf_add_RAW
Unexecuted instantiation: eddsa.c:gf_add_RAW
f_generic.c:gf_add_RAW
Line
Count
Source
132
404
{
133
404
    unsigned int i;
134
135
3.63k
    for (i = 0; i < NLIMBS; i++)
136
3.23k
        out->limb[i] = a->limb[i] + b->limb[i];
137
138
404
    gf_weak_reduce(out);
139
404
}
Unexecuted instantiation: scalar.c:gf_add_RAW
Unexecuted instantiation: f_impl64.c:gf_add_RAW
140
141
void gf_sub_RAW(gf out, const gf a, const gf b)
142
179k
{
143
179k
    uint64_t co1 = ((1ULL << 56) - 1) * 2, co2 = co1 - 2;
144
179k
    unsigned int i;
145
146
1.61M
    for (i = 0; i < NLIMBS; i++)
147
1.43M
        out->limb[i] = a->limb[i] - b->limb[i] + ((i == NLIMBS / 2) ? co2 : co1);
148
149
179k
    gf_weak_reduce(out);
150
179k
}
curve448.c:gf_sub_RAW
Line
Count
Source
142
149k
{
143
149k
    uint64_t co1 = ((1ULL << 56) - 1) * 2, co2 = co1 - 2;
144
149k
    unsigned int i;
145
146
1.34M
    for (i = 0; i < NLIMBS; i++)
147
1.19M
        out->limb[i] = a->limb[i] - b->limb[i] + ((i == NLIMBS / 2) ? co2 : co1);
148
149
149k
    gf_weak_reduce(out);
150
149k
}
Unexecuted instantiation: curve448_tables.c:gf_sub_RAW
Unexecuted instantiation: eddsa.c:gf_sub_RAW
f_generic.c:gf_sub_RAW
Line
Count
Source
142
29.8k
{
143
29.8k
    uint64_t co1 = ((1ULL << 56) - 1) * 2, co2 = co1 - 2;
144
29.8k
    unsigned int i;
145
146
268k
    for (i = 0; i < NLIMBS; i++)
147
238k
        out->limb[i] = a->limb[i] - b->limb[i] + ((i == NLIMBS / 2) ? co2 : co1);
148
149
29.8k
    gf_weak_reduce(out);
150
29.8k
}
Unexecuted instantiation: scalar.c:gf_sub_RAW
Unexecuted instantiation: f_impl64.c:gf_sub_RAW
151
152
void gf_bias(gf a, int amt)
153
179k
{
154
179k
}
curve448.c:gf_bias
Line
Count
Source
153
149k
{
154
149k
}
Unexecuted instantiation: curve448_tables.c:gf_bias
Unexecuted instantiation: eddsa.c:gf_bias
f_generic.c:gf_bias
Line
Count
Source
153
29.8k
{
154
29.8k
}
Unexecuted instantiation: scalar.c:gf_bias
Unexecuted instantiation: f_impl64.c:gf_bias
155
156
void gf_weak_reduce(gf a)
157
359k
{
158
359k
    uint64_t mask = (1ULL << 56) - 1;
159
359k
    uint64_t tmp = a->limb[NLIMBS - 1] >> 56;
160
359k
    unsigned int i;
161
162
359k
    a->limb[NLIMBS / 2] += tmp;
163
2.87M
    for (i = NLIMBS - 1; i > 0; i--)
164
2.51M
        a->limb[i] = (a->limb[i] & mask) + (a->limb[i - 1] >> 56);
165
359k
    a->limb[0] = (a->limb[0] & mask) + tmp;
166
359k
}
curve448.c:gf_weak_reduce
Line
Count
Source
157
298k
{
158
298k
    uint64_t mask = (1ULL << 56) - 1;
159
298k
    uint64_t tmp = a->limb[NLIMBS - 1] >> 56;
160
298k
    unsigned int i;
161
162
298k
    a->limb[NLIMBS / 2] += tmp;
163
2.38M
    for (i = NLIMBS - 1; i > 0; i--)
164
2.09M
        a->limb[i] = (a->limb[i] & mask) + (a->limb[i - 1] >> 56);
165
298k
    a->limb[0] = (a->limb[0] & mask) + tmp;
166
298k
}
Unexecuted instantiation: curve448_tables.c:gf_weak_reduce
Unexecuted instantiation: eddsa.c:gf_weak_reduce
f_generic.c:gf_weak_reduce
Line
Count
Source
157
61.2k
{
158
61.2k
    uint64_t mask = (1ULL << 56) - 1;
159
61.2k
    uint64_t tmp = a->limb[NLIMBS - 1] >> 56;
160
61.2k
    unsigned int i;
161
162
61.2k
    a->limb[NLIMBS / 2] += tmp;
163
490k
    for (i = NLIMBS - 1; i > 0; i--)
164
428k
        a->limb[i] = (a->limb[i] & mask) + (a->limb[i - 1] >> 56);
165
61.2k
    a->limb[0] = (a->limb[0] & mask) + tmp;
166
61.2k
}
Unexecuted instantiation: scalar.c:gf_weak_reduce
Unexecuted instantiation: f_impl64.c:gf_weak_reduce
167
12.1k
#define LIMB_MASK(i) (((1ULL) << LIMB_PLACE_VALUE(i)) - 1)
168
#endif
169
/* clang-format on */
170
171
static const gf ZERO = { { { 0 } } }, ONE = { { { 1 } } };
172
173
/* Square x, n times. */
174
static ossl_inline void gf_sqrn(gf_s *RESTRICT y, const gf x, int n)
175
2.79k
{
176
2.79k
    gf tmp;
177
178
2.79k
    assert(n > 0);
179
2.79k
    if (n & 1) {
180
2.44k
        ossl_gf_sqr(y, x);
181
2.44k
        n--;
182
2.44k
    } else {
183
349
        ossl_gf_sqr(tmp, x);
184
349
        ossl_gf_sqr(y, tmp);
185
349
        n -= 2;
186
349
    }
187
78.1k
    for (; n; n -= 2) {
188
75.3k
        ossl_gf_sqr(tmp, y);
189
75.3k
        ossl_gf_sqr(y, tmp);
190
75.3k
    }
191
2.79k
}
Unexecuted instantiation: curve448.c:gf_sqrn
Unexecuted instantiation: curve448_tables.c:gf_sqrn
Unexecuted instantiation: eddsa.c:gf_sqrn
f_generic.c:gf_sqrn
Line
Count
Source
175
2.79k
{
176
2.79k
    gf tmp;
177
178
2.79k
    assert(n > 0);
179
2.79k
    if (n & 1) {
180
2.44k
        ossl_gf_sqr(y, x);
181
2.44k
        n--;
182
2.44k
    } else {
183
349
        ossl_gf_sqr(tmp, x);
184
349
        ossl_gf_sqr(y, tmp);
185
349
        n -= 2;
186
349
    }
187
78.1k
    for (; n; n -= 2) {
188
75.3k
        ossl_gf_sqr(tmp, y);
189
75.3k
        ossl_gf_sqr(y, tmp);
190
75.3k
    }
191
2.79k
}
Unexecuted instantiation: scalar.c:gf_sqrn
Unexecuted instantiation: f_impl64.c:gf_sqrn
192
193
149k
#define gf_add_nr gf_add_RAW
194
195
/* Subtract mod p.  Bias by 2 and don't reduce  */
196
static ossl_inline void gf_sub_nr(gf c, const gf a, const gf b)
197
138k
{
198
138k
    gf_sub_RAW(c, a, b);
199
138k
    gf_bias(c, 2);
200
138k
    if (GF_HEADROOM < 3)
201
0
        gf_weak_reduce(c);
202
138k
}
curve448.c:gf_sub_nr
Line
Count
Source
197
138k
{
198
138k
    gf_sub_RAW(c, a, b);
199
138k
    gf_bias(c, 2);
200
138k
    if (GF_HEADROOM < 3)
201
0
        gf_weak_reduce(c);
202
138k
}
Unexecuted instantiation: curve448_tables.c:gf_sub_nr
Unexecuted instantiation: eddsa.c:gf_sub_nr
Unexecuted instantiation: f_generic.c:gf_sub_nr
Unexecuted instantiation: scalar.c:gf_sub_nr
Unexecuted instantiation: f_impl64.c:gf_sub_nr
203
204
/* Subtract mod p. Bias by amt but don't reduce.  */
205
static ossl_inline void gf_subx_nr(gf c, const gf a, const gf b, int amt)
206
10.9k
{
207
10.9k
    gf_sub_RAW(c, a, b);
208
10.9k
    gf_bias(c, amt);
209
10.9k
    if (GF_HEADROOM < amt + 1)
210
0
        gf_weak_reduce(c);
211
10.9k
}
curve448.c:gf_subx_nr
Line
Count
Source
206
10.9k
{
207
10.9k
    gf_sub_RAW(c, a, b);
208
10.9k
    gf_bias(c, amt);
209
10.9k
    if (GF_HEADROOM < amt + 1)
210
0
        gf_weak_reduce(c);
211
10.9k
}
Unexecuted instantiation: curve448_tables.c:gf_subx_nr
Unexecuted instantiation: eddsa.c:gf_subx_nr
Unexecuted instantiation: f_generic.c:gf_subx_nr
Unexecuted instantiation: scalar.c:gf_subx_nr
Unexecuted instantiation: f_impl64.c:gf_subx_nr
212
213
/* Mul by signed int.  Not constant-time WRT the sign of that int. */
214
static ossl_inline void gf_mulw(gf c, const gf a, int32_t w)
215
11.6k
{
216
11.6k
    if (w > 0) {
217
11.6k
        ossl_gf_mulw_unsigned(c, a, w);
218
11.6k
    } else {
219
0
        ossl_gf_mulw_unsigned(c, a, -w);
220
0
        gf_sub(c, ZERO, c);
221
0
    }
222
11.6k
}
curve448.c:gf_mulw
Line
Count
Source
215
11.6k
{
216
11.6k
    if (w > 0) {
217
11.6k
        ossl_gf_mulw_unsigned(c, a, w);
218
11.6k
    } else {
219
0
        ossl_gf_mulw_unsigned(c, a, -w);
220
0
        gf_sub(c, ZERO, c);
221
0
    }
222
11.6k
}
Unexecuted instantiation: curve448_tables.c:gf_mulw
Unexecuted instantiation: eddsa.c:gf_mulw
Unexecuted instantiation: f_generic.c:gf_mulw
Unexecuted instantiation: scalar.c:gf_mulw
Unexecuted instantiation: f_impl64.c:gf_mulw
223
224
/* Constant time, x = is_z ? z : y */
225
static ossl_inline void gf_cond_sel(gf x, const gf y, const gf z, mask_t is_z)
226
29.0k
{
227
29.0k
    size_t i;
228
229
261k
    for (i = 0; i < NLIMBS; i++) {
230
#if ARCH_WORD_BITS == 32
231
        x[0].limb[i] = constant_time_select_32(is_z, z[0].limb[i],
232
            y[0].limb[i]);
233
#else
234
        /* Must be 64 bit */
235
232k
        x[0].limb[i] = constant_time_select_64(is_z, z[0].limb[i],
236
232k
            y[0].limb[i]);
237
232k
#endif
238
232k
    }
239
29.0k
}
curve448.c:gf_cond_sel
Line
Count
Source
226
29.0k
{
227
29.0k
    size_t i;
228
229
261k
    for (i = 0; i < NLIMBS; i++) {
230
#if ARCH_WORD_BITS == 32
231
        x[0].limb[i] = constant_time_select_32(is_z, z[0].limb[i],
232
            y[0].limb[i]);
233
#else
234
        /* Must be 64 bit */
235
232k
        x[0].limb[i] = constant_time_select_64(is_z, z[0].limb[i],
236
232k
            y[0].limb[i]);
237
232k
#endif
238
232k
    }
239
29.0k
}
Unexecuted instantiation: curve448_tables.c:gf_cond_sel
Unexecuted instantiation: eddsa.c:gf_cond_sel
Unexecuted instantiation: f_generic.c:gf_cond_sel
Unexecuted instantiation: scalar.c:gf_cond_sel
Unexecuted instantiation: f_impl64.c:gf_cond_sel
240
241
/* Constant time, if (neg) x=-x; */
242
static ossl_inline void gf_cond_neg(gf x, mask_t neg)
243
29.0k
{
244
29.0k
    gf y;
245
246
29.0k
    gf_sub(y, ZERO, x);
247
29.0k
    gf_cond_sel(x, x, y, neg);
248
29.0k
}
curve448.c:gf_cond_neg
Line
Count
Source
243
29.0k
{
244
29.0k
    gf y;
245
246
29.0k
    gf_sub(y, ZERO, x);
247
29.0k
    gf_cond_sel(x, x, y, neg);
248
29.0k
}
Unexecuted instantiation: curve448_tables.c:gf_cond_neg
Unexecuted instantiation: eddsa.c:gf_cond_neg
Unexecuted instantiation: f_generic.c:gf_cond_neg
Unexecuted instantiation: scalar.c:gf_cond_neg
Unexecuted instantiation: f_impl64.c:gf_cond_neg
249
250
/* Constant time, if (swap) (x,y) = (y,x); */
251
static ossl_inline void gf_cond_swap(gf x, gf_s *RESTRICT y, mask_t swap)
252
52.4k
{
253
52.4k
    size_t i;
254
255
471k
    for (i = 0; i < NLIMBS; i++) {
256
#if ARCH_WORD_BITS == 32
257
        constant_time_cond_swap_32(swap, &(x[0].limb[i]), &(y->limb[i]));
258
#else
259
        /* Must be 64 bit */
260
419k
        constant_time_cond_swap_64(swap, &(x[0].limb[i]), &(y->limb[i]));
261
419k
#endif
262
419k
    }
263
52.4k
}
curve448.c:gf_cond_swap
Line
Count
Source
252
52.4k
{
253
52.4k
    size_t i;
254
255
471k
    for (i = 0; i < NLIMBS; i++) {
256
#if ARCH_WORD_BITS == 32
257
        constant_time_cond_swap_32(swap, &(x[0].limb[i]), &(y->limb[i]));
258
#else
259
        /* Must be 64 bit */
260
419k
        constant_time_cond_swap_64(swap, &(x[0].limb[i]), &(y->limb[i]));
261
419k
#endif
262
419k
    }
263
52.4k
}
Unexecuted instantiation: curve448_tables.c:gf_cond_swap
Unexecuted instantiation: eddsa.c:gf_cond_swap
Unexecuted instantiation: f_generic.c:gf_cond_swap
Unexecuted instantiation: scalar.c:gf_cond_swap
Unexecuted instantiation: f_impl64.c:gf_cond_swap
264
265
#endif /* OSSL_CRYPTO_EC_CURVE448_FIELD_H */