Bitcoin Core 31.99.0
P2P Digital Currency
bench_internal.c
Go to the documentation of this file.
1/***********************************************************************
2 * Copyright (c) 2014-2015 Pieter Wuille *
3 * Distributed under the MIT software license, see the accompanying *
4 * file COPYING or https://www.opensource.org/licenses/mit-license.php.*
5 ***********************************************************************/
6#include <stdio.h>
7#include <stdlib.h>
8
9#include "secp256k1.c"
10#include "../include/secp256k1.h"
11
12#include "assumptions.h"
13#include "util.h"
14#include "hash_impl.h"
15#include "field_impl.h"
16#include "group_impl.h"
17#include "scalar_impl.h"
18#include "ecmult_impl.h"
19#include "bench.h"
20
21static void help(const char *executable_path, int default_iters) {
22 printf("Benchmarks various internal routines.\n");
23 printf("\n");
24 printf("The default number of iterations for each benchmark is %d. This can be\n", default_iters);
25 printf("customized using the SECP256K1_BENCH_ITERS environment variable.\n");
26 printf("\n");
27 printf("Usage: %s [args]\n", executable_path);
28 printf("By default, all benchmarks will be run.\n");
29 printf("args:\n");
30 printf(" help : display this help and exit\n");
31 printf(" scalar : all scalar operations (add, half, inverse, mul, negate, split)\n");
32 printf(" field : all field operations (half, inverse, issquare, mul, normalize, sqr, sqrt)\n");
33 printf(" group : all group operations (add, double, to_affine)\n");
34 printf(" ecmult : all point multiplication operations (ecmult_wnaf) \n");
35 printf(" hash : all hash algorithms (hmac, rng6979, sha256)\n");
36 printf(" context : all context object operations (context_create)\n");
37 printf("\n");
38}
39
40typedef struct {
46 unsigned char data[64];
47 int wnaf[256];
48} bench_inv;
49
50static void bench_setup(void* arg) {
51 bench_inv *data = (bench_inv*)arg;
52
53 static const unsigned char init[4][32] = {
54 /* Initializer for scalar[0], fe[0], first half of data, the X coordinate of ge[0],
55 and the (implied affine) X coordinate of gej[0]. */
56 {
57 0x02, 0x03, 0x05, 0x07, 0x0b, 0x0d, 0x11, 0x13,
58 0x17, 0x1d, 0x1f, 0x25, 0x29, 0x2b, 0x2f, 0x35,
59 0x3b, 0x3d, 0x43, 0x47, 0x49, 0x4f, 0x53, 0x59,
60 0x61, 0x65, 0x67, 0x6b, 0x6d, 0x71, 0x7f, 0x83
61 },
62 /* Initializer for scalar[1], fe[1], first half of data, the X coordinate of ge[1],
63 and the (implied affine) X coordinate of gej[1]. */
64 {
65 0x82, 0x83, 0x85, 0x87, 0x8b, 0x8d, 0x81, 0x83,
66 0x97, 0xad, 0xaf, 0xb5, 0xb9, 0xbb, 0xbf, 0xc5,
67 0xdb, 0xdd, 0xe3, 0xe7, 0xe9, 0xef, 0xf3, 0xf9,
68 0x11, 0x15, 0x17, 0x1b, 0x1d, 0xb1, 0xbf, 0xd3
69 },
70 /* Initializer for fe[2] and the Z coordinate of gej[0]. */
71 {
72 0x3d, 0x2d, 0xef, 0xf4, 0x25, 0x98, 0x4f, 0x5d,
73 0xe2, 0xca, 0x5f, 0x41, 0x3f, 0x3f, 0xce, 0x44,
74 0xaa, 0x2c, 0x53, 0x8a, 0xc6, 0x59, 0x1f, 0x38,
75 0x38, 0x23, 0xe4, 0x11, 0x27, 0xc6, 0xa0, 0xe7
76 },
77 /* Initializer for fe[3] and the Z coordinate of gej[1]. */
78 {
79 0xbd, 0x21, 0xa5, 0xe1, 0x13, 0x50, 0x73, 0x2e,
80 0x52, 0x98, 0xc8, 0x9e, 0xab, 0x00, 0xa2, 0x68,
81 0x43, 0xf5, 0xd7, 0x49, 0x80, 0x72, 0xa7, 0xf3,
82 0xd7, 0x60, 0xe6, 0xab, 0x90, 0x92, 0xdf, 0xc5
83 }
84 };
85
86 /* Customize context if needed */
88
89 secp256k1_scalar_set_b32(&data->scalar[0], init[0], NULL);
90 secp256k1_scalar_set_b32(&data->scalar[1], init[1], NULL);
95 CHECK(secp256k1_ge_set_xo_var(&data->ge[0], &data->fe[0], 0));
96 CHECK(secp256k1_ge_set_xo_var(&data->ge[1], &data->fe[1], 1));
97 secp256k1_gej_set_ge(&data->gej[0], &data->ge[0]);
98 secp256k1_gej_rescale(&data->gej[0], &data->fe[2]);
99 secp256k1_gej_set_ge(&data->gej[1], &data->ge[1]);
100 secp256k1_gej_rescale(&data->gej[1], &data->fe[3]);
101 memcpy(data->data, init[0], 32);
102 memcpy(data->data + 32, init[1], 32);
103}
104
105static void bench_scalar_add(void* arg, int iters) {
106 int i, j = 0;
107 bench_inv *data = (bench_inv*)arg;
108
109 for (i = 0; i < iters; i++) {
110 j += secp256k1_scalar_add(&data->scalar[0], &data->scalar[0], &data->scalar[1]);
111 }
112 CHECK(j <= iters);
113}
114
115static void bench_scalar_negate(void* arg, int iters) {
116 int i;
117 bench_inv *data = (bench_inv*)arg;
118
119 for (i = 0; i < iters; i++) {
120 secp256k1_scalar_negate(&data->scalar[0], &data->scalar[0]);
121 }
122}
123
124static void bench_scalar_half(void* arg, int iters) {
125 int i;
126 bench_inv *data = (bench_inv*)arg;
127 secp256k1_scalar s = data->scalar[0];
128
129 for (i = 0; i < iters; i++) {
131 }
132
133 data->scalar[0] = s;
134}
135
136static void bench_scalar_mul(void* arg, int iters) {
137 int i;
138 bench_inv *data = (bench_inv*)arg;
139
140 for (i = 0; i < iters; i++) {
141 secp256k1_scalar_mul(&data->scalar[0], &data->scalar[0], &data->scalar[1]);
142 }
143}
144
145static void bench_scalar_split(void* arg, int iters) {
146 int i, j = 0;
147 bench_inv *data = (bench_inv*)arg;
149
150 for (i = 0; i < iters; i++) {
151 secp256k1_scalar_split_lambda(&tmp, &data->scalar[1], &data->scalar[0]);
152 j += secp256k1_scalar_add(&data->scalar[0], &tmp, &data->scalar[1]);
153 }
154 CHECK(j <= iters);
155}
156
157static void bench_scalar_inverse(void* arg, int iters) {
158 int i, j = 0;
159 bench_inv *data = (bench_inv*)arg;
160
161 for (i = 0; i < iters; i++) {
162 secp256k1_scalar_inverse(&data->scalar[0], &data->scalar[0]);
163 j += secp256k1_scalar_add(&data->scalar[0], &data->scalar[0], &data->scalar[1]);
164 }
165 CHECK(j <= iters);
166}
167
168static void bench_scalar_inverse_var(void* arg, int iters) {
169 int i, j = 0;
170 bench_inv *data = (bench_inv*)arg;
171
172 for (i = 0; i < iters; i++) {
173 secp256k1_scalar_inverse_var(&data->scalar[0], &data->scalar[0]);
174 j += secp256k1_scalar_add(&data->scalar[0], &data->scalar[0], &data->scalar[1]);
175 }
176 CHECK(j <= iters);
177}
178
179static void bench_field_half(void* arg, int iters) {
180 int i;
181 bench_inv *data = (bench_inv*)arg;
182
183 for (i = 0; i < iters; i++) {
184 secp256k1_fe_half(&data->fe[0]);
185 }
186}
187
188static void bench_field_normalize(void* arg, int iters) {
189 int i;
190 bench_inv *data = (bench_inv*)arg;
191
192 for (i = 0; i < iters; i++) {
194 }
195}
196
197static void bench_field_normalize_var(void* arg, int iters) {
198 int i;
199 bench_inv *data = (bench_inv*)arg;
200
201 /* Note that this benchmark measures the optimistic path. The worst-case path with the final
202 reduction is very unlikely to be needed, so this is representative of the common case. */
203 for (i = 0; i < iters; i++) {
205 }
206}
207
208static void bench_field_normalize_weak(void* arg, int iters) {
209 int i;
210 bench_inv *data = (bench_inv*)arg;
211
212 for (i = 0; i < iters; i++) {
214 }
215}
216
217static void bench_field_mul(void* arg, int iters) {
218 int i;
219 bench_inv *data = (bench_inv*)arg;
220
221 for (i = 0; i < iters; i++) {
222 secp256k1_fe_mul(&data->fe[0], &data->fe[0], &data->fe[1]);
223 }
224}
225
226static void bench_field_sqr(void* arg, int iters) {
227 int i;
228 bench_inv *data = (bench_inv*)arg;
229
230 for (i = 0; i < iters; i++) {
231 secp256k1_fe_sqr(&data->fe[0], &data->fe[0]);
232 }
233}
234
235static void bench_field_inverse(void* arg, int iters) {
236 int i;
237 bench_inv *data = (bench_inv*)arg;
238
239 for (i = 0; i < iters; i++) {
240 secp256k1_fe_inv(&data->fe[0], &data->fe[0]);
241 secp256k1_fe_add(&data->fe[0], &data->fe[1]);
242 }
243}
244
245static void bench_field_inverse_var(void* arg, int iters) {
246 int i;
247 bench_inv *data = (bench_inv*)arg;
248
249 for (i = 0; i < iters; i++) {
250 secp256k1_fe_inv_var(&data->fe[0], &data->fe[0]);
251 secp256k1_fe_add(&data->fe[0], &data->fe[1]);
252 }
253}
254
255static void bench_field_sqrt(void* arg, int iters) {
256 int i, j = 0;
257 bench_inv *data = (bench_inv*)arg;
259
260 for (i = 0; i < iters; i++) {
261 t = data->fe[0];
262 j += secp256k1_fe_sqrt(&data->fe[0], &t);
263 secp256k1_fe_add(&data->fe[0], &data->fe[1]);
264 }
265 CHECK(j <= iters);
266}
267
268static void bench_field_is_square_var(void* arg, int iters) {
269 int i, j = 0;
270 bench_inv *data = (bench_inv*)arg;
271 secp256k1_fe t = data->fe[0];
272
273 for (i = 0; i < iters; i++) {
275 secp256k1_fe_add(&t, &data->fe[1]);
277 }
278 CHECK(j <= iters);
279}
280
281static void bench_group_double_var(void* arg, int iters) {
282 int i;
283 bench_inv *data = (bench_inv*)arg;
284
285 for (i = 0; i < iters; i++) {
286 secp256k1_gej_double_var(&data->gej[0], &data->gej[0], NULL);
287 }
288}
289
290static void bench_group_add_var(void* arg, int iters) {
291 int i;
292 bench_inv *data = (bench_inv*)arg;
293
294 for (i = 0; i < iters; i++) {
295 secp256k1_gej_add_var(&data->gej[0], &data->gej[0], &data->gej[1], NULL);
296 }
297}
298
299static void bench_group_add_affine(void* arg, int iters) {
300 int i;
301 bench_inv *data = (bench_inv*)arg;
302
303 for (i = 0; i < iters; i++) {
304 secp256k1_gej_add_ge(&data->gej[0], &data->gej[0], &data->ge[1]);
305 }
306}
307
308static void bench_group_add_affine_var(void* arg, int iters) {
309 int i;
310 bench_inv *data = (bench_inv*)arg;
311
312 for (i = 0; i < iters; i++) {
313 secp256k1_gej_add_ge_var(&data->gej[0], &data->gej[0], &data->ge[1], NULL);
314 }
315}
316
317static void bench_group_add_zinv_var(void* arg, int iters) {
318 int i;
319 bench_inv *data = (bench_inv*)arg;
320
321 for (i = 0; i < iters; i++) {
322 secp256k1_gej_add_zinv_var(&data->gej[0], &data->gej[0], &data->ge[1], &data->gej[0].y);
323 }
324}
325
326static void bench_group_to_affine_var(void* arg, int iters) {
327 int i;
328 bench_inv *data = (bench_inv*)arg;
329
330 for (i = 0; i < iters; ++i) {
331 secp256k1_ge_set_gej_var(&data->ge[1], &data->gej[0]);
332 /* Use the output affine X/Y coordinates to vary the input X/Y/Z coordinates.
333 Note that the resulting coordinates will generally not correspond to a point
334 on the curve, but this is not a problem for the code being benchmarked here.
335 Adding and normalizing have less overhead than EC operations (which could
336 guarantee the point remains on the curve). */
337 secp256k1_fe_add(&data->gej[0].x, &data->ge[1].y);
338 secp256k1_fe_add(&data->gej[0].y, &data->fe[2]);
339 secp256k1_fe_add(&data->gej[0].z, &data->ge[1].x);
343 }
344}
345
346static void bench_ecmult_wnaf(void* arg, int iters) {
347 int i, bits = 0, overflow = 0;
348 bench_inv *data = (bench_inv*)arg;
349
350 for (i = 0; i < iters; i++) {
351 bits += secp256k1_ecmult_wnaf(data->wnaf, 256, &data->scalar[0], WINDOW_A);
352 overflow += secp256k1_scalar_add(&data->scalar[0], &data->scalar[0], &data->scalar[1]);
353 }
354 CHECK(overflow >= 0);
355 CHECK(bits <= 256*iters);
356}
357
358static void bench_sha256(void* arg, int iters) {
359 int i;
360 bench_inv *data = (bench_inv*)arg;
362 const secp256k1_hash_ctx *hash_ctx = secp256k1_get_hash_context(data->ctx);
363
364 for (i = 0; i < iters; i++) {
366 secp256k1_sha256_write(hash_ctx, &sha, data->data, 32);
367 secp256k1_sha256_finalize(hash_ctx, &sha, data->data);
368 }
369}
370
371static void bench_hmac_sha256(void* arg, int iters) {
372 int i;
373 bench_inv *data = (bench_inv*)arg;
375 const secp256k1_hash_ctx *hash_ctx = secp256k1_get_hash_context(data->ctx);
376
377 for (i = 0; i < iters; i++) {
378 secp256k1_hmac_sha256_initialize(hash_ctx, &hmac, data->data, 32);
379 secp256k1_hmac_sha256_write(hash_ctx, &hmac, data->data, 32);
380 secp256k1_hmac_sha256_finalize(hash_ctx, &hmac, data->data);
381 }
382}
383
384static void bench_rfc6979_hmac_sha256(void* arg, int iters) {
385 int i;
386 bench_inv *data = (bench_inv*)arg;
388 const secp256k1_hash_ctx *hash_ctx = secp256k1_get_hash_context(data->ctx);
389
390 for (i = 0; i < iters; i++) {
392 secp256k1_rfc6979_hmac_sha256_generate(hash_ctx, &rng, data->data, 32);
393 }
394}
395
396static void bench_context(void* arg, int iters) {
397 int i;
398 (void)arg;
399 for (i = 0; i < iters; i++) {
401 }
402}
403
404int main(int argc, char **argv) {
406 int d = argc == 1; /* default */
407 int default_iters = 20000;
408 int iters = get_iters(default_iters);
409 if (iters == 0) {
410 help(argv[0], default_iters);
411 return EXIT_FAILURE;
412 }
413
414 if (argc > 1) {
415 if (have_flag(argc, argv, "-h")
416 || have_flag(argc, argv, "--help")
417 || have_flag(argc, argv, "help")) {
418 help(argv[0], default_iters);
419 return EXIT_SUCCESS;
420 }
421 }
422
424
425 if (d || have_flag(argc, argv, "scalar") || have_flag(argc, argv, "half")) run_benchmark("scalar_half", bench_scalar_half, bench_setup, NULL, &data, 10, iters*100);
426 if (d || have_flag(argc, argv, "scalar") || have_flag(argc, argv, "add")) run_benchmark("scalar_add", bench_scalar_add, bench_setup, NULL, &data, 10, iters*100);
427 if (d || have_flag(argc, argv, "scalar") || have_flag(argc, argv, "negate")) run_benchmark("scalar_negate", bench_scalar_negate, bench_setup, NULL, &data, 10, iters*100);
428 if (d || have_flag(argc, argv, "scalar") || have_flag(argc, argv, "mul")) run_benchmark("scalar_mul", bench_scalar_mul, bench_setup, NULL, &data, 10, iters*10);
429 if (d || have_flag(argc, argv, "scalar") || have_flag(argc, argv, "split")) run_benchmark("scalar_split", bench_scalar_split, bench_setup, NULL, &data, 10, iters);
430 if (d || have_flag(argc, argv, "scalar") || have_flag(argc, argv, "inverse")) run_benchmark("scalar_inverse", bench_scalar_inverse, bench_setup, NULL, &data, 10, iters);
431 if (d || have_flag(argc, argv, "scalar") || have_flag(argc, argv, "inverse")) run_benchmark("scalar_inverse_var", bench_scalar_inverse_var, bench_setup, NULL, &data, 10, iters);
432
433 if (d || have_flag(argc, argv, "field") || have_flag(argc, argv, "half")) run_benchmark("field_half", bench_field_half, bench_setup, NULL, &data, 10, iters*100);
434 if (d || have_flag(argc, argv, "field") || have_flag(argc, argv, "normalize")) run_benchmark("field_normalize", bench_field_normalize, bench_setup, NULL, &data, 10, iters*100);
435 if (d || have_flag(argc, argv, "field") || have_flag(argc, argv, "normalize")) run_benchmark("field_normalize_var", bench_field_normalize_var, bench_setup, NULL, &data, 10, iters*100);
436 if (d || have_flag(argc, argv, "field") || have_flag(argc, argv, "normalize")) run_benchmark("field_normalize_weak", bench_field_normalize_weak, bench_setup, NULL, &data, 10, iters*100);
437 if (d || have_flag(argc, argv, "field") || have_flag(argc, argv, "sqr")) run_benchmark("field_sqr", bench_field_sqr, bench_setup, NULL, &data, 10, iters*10);
438 if (d || have_flag(argc, argv, "field") || have_flag(argc, argv, "mul")) run_benchmark("field_mul", bench_field_mul, bench_setup, NULL, &data, 10, iters*10);
439 if (d || have_flag(argc, argv, "field") || have_flag(argc, argv, "inverse")) run_benchmark("field_inverse", bench_field_inverse, bench_setup, NULL, &data, 10, iters);
440 if (d || have_flag(argc, argv, "field") || have_flag(argc, argv, "inverse")) run_benchmark("field_inverse_var", bench_field_inverse_var, bench_setup, NULL, &data, 10, iters);
441 if (d || have_flag(argc, argv, "field") || have_flag(argc, argv, "issquare")) run_benchmark("field_is_square_var", bench_field_is_square_var, bench_setup, NULL, &data, 10, iters);
442 if (d || have_flag(argc, argv, "field") || have_flag(argc, argv, "sqrt")) run_benchmark("field_sqrt", bench_field_sqrt, bench_setup, NULL, &data, 10, iters);
443
444 if (d || have_flag(argc, argv, "group") || have_flag(argc, argv, "double")) run_benchmark("group_double_var", bench_group_double_var, bench_setup, NULL, &data, 10, iters*10);
445 if (d || have_flag(argc, argv, "group") || have_flag(argc, argv, "add")) run_benchmark("group_add_var", bench_group_add_var, bench_setup, NULL, &data, 10, iters*10);
446 if (d || have_flag(argc, argv, "group") || have_flag(argc, argv, "add")) run_benchmark("group_add_affine", bench_group_add_affine, bench_setup, NULL, &data, 10, iters*10);
447 if (d || have_flag(argc, argv, "group") || have_flag(argc, argv, "add")) run_benchmark("group_add_affine_var", bench_group_add_affine_var, bench_setup, NULL, &data, 10, iters*10);
448 if (d || have_flag(argc, argv, "group") || have_flag(argc, argv, "add")) run_benchmark("group_add_zinv_var", bench_group_add_zinv_var, bench_setup, NULL, &data, 10, iters*10);
449 if (d || have_flag(argc, argv, "group") || have_flag(argc, argv, "to_affine")) run_benchmark("group_to_affine_var", bench_group_to_affine_var, bench_setup, NULL, &data, 10, iters);
450
451 if (d || have_flag(argc, argv, "ecmult") || have_flag(argc, argv, "wnaf")) run_benchmark("ecmult_wnaf", bench_ecmult_wnaf, bench_setup, NULL, &data, 10, iters);
452
453 if (d || have_flag(argc, argv, "hash") || have_flag(argc, argv, "sha256")) run_benchmark("hash_sha256", bench_sha256, bench_setup, NULL, &data, 10, iters);
454 if (d || have_flag(argc, argv, "hash") || have_flag(argc, argv, "hmac")) run_benchmark("hash_hmac_sha256", bench_hmac_sha256, bench_setup, NULL, &data, 10, iters);
455 if (d || have_flag(argc, argv, "hash") || have_flag(argc, argv, "rng6979")) run_benchmark("hash_rfc6979_hmac_sha256", bench_rfc6979_hmac_sha256, bench_setup, NULL, &data, 10, iters);
456
457 if (d || have_flag(argc, argv, "context")) run_benchmark("context_create", bench_context, bench_setup, NULL, &data, 10, iters);
458
459 return EXIT_SUCCESS;
460}
static void bench_setup(void *arg)
static void bench_scalar_inverse(void *arg, int iters)
static void bench_scalar_inverse_var(void *arg, int iters)
static void bench_field_mul(void *arg, int iters)
static void bench_sha256(void *arg, int iters)
static void bench_rfc6979_hmac_sha256(void *arg, int iters)
static void bench_scalar_negate(void *arg, int iters)
static void bench_scalar_split(void *arg, int iters)
static void bench_scalar_add(void *arg, int iters)
int main(int argc, char **argv)
static void bench_field_normalize(void *arg, int iters)
static void bench_ecmult_wnaf(void *arg, int iters)
static void bench_group_add_zinv_var(void *arg, int iters)
static void bench_group_double_var(void *arg, int iters)
static void help(const char *executable_path, int default_iters)
static void bench_field_normalize_var(void *arg, int iters)
static void bench_field_inverse(void *arg, int iters)
static void bench_group_to_affine_var(void *arg, int iters)
static void bench_field_sqr(void *arg, int iters)
static void bench_scalar_mul(void *arg, int iters)
static void bench_field_normalize_weak(void *arg, int iters)
static void bench_group_add_affine_var(void *arg, int iters)
static void bench_field_is_square_var(void *arg, int iters)
static void bench_group_add_affine(void *arg, int iters)
static void bench_context(void *arg, int iters)
static void bench_field_half(void *arg, int iters)
static void bench_group_add_var(void *arg, int iters)
static void bench_field_inverse_var(void *arg, int iters)
static void bench_hmac_sha256(void *arg, int iters)
static void bench_field_sqrt(void *arg, int iters)
static void bench_scalar_half(void *arg, int iters)
return EXIT_SUCCESS
static void run_benchmark(char *name, void(*benchmark)(void *), void(*setup)(void *), void(*teardown)(void *), void *data, int count, int iter)
Definition: bench.c:26
static int secp256k1_ecmult_wnaf(int *wnaf, int len, const secp256k1_scalar *a, int w)
Convert a number to WNAF notation.
Definition: ecmult_impl.h:162
#define WINDOW_A
Definition: ecmult_impl.h:32
#define secp256k1_fe_normalize_weak
Definition: field.h:79
#define secp256k1_fe_mul
Definition: field.h:93
static int secp256k1_fe_sqrt(secp256k1_fe *SECP256K1_RESTRICT r, const secp256k1_fe *SECP256K1_RESTRICT a)
Compute a square root of a field element.
#define secp256k1_fe_add
Definition: field.h:92
#define secp256k1_fe_normalize_var
Definition: field.h:80
#define secp256k1_fe_half
Definition: field.h:101
#define secp256k1_fe_inv_var
Definition: field.h:99
#define secp256k1_fe_set_b32_limit
Definition: field.h:88
#define secp256k1_fe_is_square_var
Definition: field.h:103
#define secp256k1_fe_inv
Definition: field.h:98
#define secp256k1_fe_sqr
Definition: field.h:94
#define secp256k1_fe_normalize
Definition: field.h:78
static void secp256k1_gej_double_var(secp256k1_gej *r, const secp256k1_gej *a, secp256k1_fe *rzr)
Set r equal to the double of a.
static void secp256k1_gej_add_zinv_var(secp256k1_gej *r, const secp256k1_gej *a, const secp256k1_ge *b, const secp256k1_fe *bzinv)
Set r equal to the sum of a and b (with the inverse of b's Z coordinate passed as bzinv).
static int secp256k1_ge_set_xo_var(secp256k1_ge *r, const secp256k1_fe *x, int odd)
Set a group element (affine) equal to the point with the given X coordinate, and given oddness for Y.
static void secp256k1_gej_add_ge_var(secp256k1_gej *r, const secp256k1_gej *a, const secp256k1_ge *b, secp256k1_fe *rzr)
Set r equal to the sum of a and b (with b given in affine coordinates).
static void secp256k1_gej_add_ge(secp256k1_gej *r, const secp256k1_gej *a, const secp256k1_ge *b)
Set r equal to the sum of a and b (with b given in affine coordinates, and not infinity).
static void secp256k1_gej_add_var(secp256k1_gej *r, const secp256k1_gej *a, const secp256k1_gej *b, secp256k1_fe *rzr)
Set r equal to the sum of a and b.
static void secp256k1_gej_rescale(secp256k1_gej *r, const secp256k1_fe *b)
Rescale a jacobian point by b which must be non-zero.
static void secp256k1_gej_set_ge(secp256k1_gej *r, const secp256k1_ge *a)
Set a group element (jacobian) equal to another which is given in affine coordinates.
static void secp256k1_ge_set_gej_var(secp256k1_ge *r, secp256k1_gej *a)
Set a group element equal to another which is given in jacobian coordinates.
#define CHECK(cond)
Unconditional failure on condition failure.
Definition: util.h:35
Definition: basic.cpp:8
void printf(FormatStringCheck< sizeof...(Args)> fmt, const Args &... args)
Format list of arguments to std::cout, according to the given format string.
Definition: tinyformat.h:1096
static void secp256k1_scalar_half(secp256k1_scalar *r, const secp256k1_scalar *a)
Multiply a scalar with the multiplicative inverse of 2.
static void secp256k1_scalar_set_b32(secp256k1_scalar *r, const unsigned char *bin, int *overflow)
Set a scalar from a big endian byte array.
static void secp256k1_scalar_inverse_var(secp256k1_scalar *r, const secp256k1_scalar *a)
Compute the inverse of a scalar (modulo the group order), without constant-time guarantee.
static int secp256k1_scalar_add(secp256k1_scalar *r, const secp256k1_scalar *a, const secp256k1_scalar *b)
Add two scalars together (modulo the group order).
static void secp256k1_scalar_mul(secp256k1_scalar *r, const secp256k1_scalar *a, const secp256k1_scalar *b)
Multiply two scalars (modulo the group order).
static void secp256k1_scalar_negate(secp256k1_scalar *r, const secp256k1_scalar *a)
Compute the complement of a scalar (modulo the group order).
static void secp256k1_scalar_split_lambda(secp256k1_scalar *SECP256K1_RESTRICT r1, secp256k1_scalar *SECP256K1_RESTRICT r2, const secp256k1_scalar *SECP256K1_RESTRICT k)
Find r1 and r2 such that r1+r2*lambda = k, where r1 and r2 or their negations are maximum 128 bits lo...
static void secp256k1_scalar_inverse(secp256k1_scalar *r, const secp256k1_scalar *a)
Compute the inverse of a scalar (modulo the group order).
static int get_iters(int default_iters)
Definition: bench.h:150
static void print_output_table_header_row(void)
Definition: bench.h:165
static int have_flag(int argc, char **argv, char *flag)
Definition: bench.h:112
static void secp256k1_hmac_sha256_finalize(const secp256k1_hash_ctx *hash_ctx, secp256k1_hmac_sha256 *hash, unsigned char *out32)
static void secp256k1_sha256_finalize(const secp256k1_hash_ctx *hash_ctx, secp256k1_sha256 *hash, unsigned char *out32)
static void secp256k1_sha256_initialize(secp256k1_sha256 *hash)
static void secp256k1_hmac_sha256_write(const secp256k1_hash_ctx *hash_ctx, secp256k1_hmac_sha256 *hash, const unsigned char *data, size_t size)
static void secp256k1_rfc6979_hmac_sha256_generate(const secp256k1_hash_ctx *hash_ctx, secp256k1_rfc6979_hmac_sha256 *rng, unsigned char *out, size_t outlen)
static void secp256k1_rfc6979_hmac_sha256_initialize(const secp256k1_hash_ctx *hash_ctx, secp256k1_rfc6979_hmac_sha256 *rng, const unsigned char *key, size_t keylen)
static void secp256k1_sha256_write(const secp256k1_hash_ctx *hash_ctx, secp256k1_sha256 *hash, const unsigned char *data, size_t size)
static void secp256k1_hmac_sha256_initialize(const secp256k1_hash_ctx *hash_ctx, secp256k1_hmac_sha256 *hash, const unsigned char *key, size_t size)
static SECP256K1_INLINE const secp256k1_hash_ctx * secp256k1_get_hash_context(const secp256k1_context *ctx)
Definition: secp256k1.c:238
SECP256K1_API void secp256k1_context_destroy(secp256k1_context *ctx) SECP256K1_ARG_NONNULL(1)
Destroy a secp256k1 context object (created in dynamically allocated memory).
Definition: secp256k1.c:190
SECP256K1_API secp256k1_context * secp256k1_context_create(unsigned int flags) SECP256K1_WARN_UNUSED_RESULT
Create a secp256k1 context object (in dynamically allocated memory).
Definition: secp256k1.c:144
#define SECP256K1_CONTEXT_NONE
Context flags to pass to secp256k1_context_create, secp256k1_context_preallocated_size,...
Definition: secp256k1.h:215
SECP256K1_API const secp256k1_context *const secp256k1_context_static
A built-in constant secp256k1 context object with static storage duration, to be used in conjunction ...
Definition: secp256k1.h:246
const secp256k1_context * ctx
This field implementation represents the value as 10 uint32_t limbs in base 2^26.
Definition: field_10x26.h:14
A group element in affine coordinates on the secp256k1 curve, or occasionally on an isomorphic curve ...
Definition: group.h:16
A group element of the secp256k1 curve, in jacobian coordinates.
Definition: group.h:28
A scalar modulo the group order of the secp256k1 curve.
Definition: scalar_4x64.h:13
FastRandomContext rng
Definition: dbwrapper.cpp:414