mirror of
https://github.com/bitcoin/bitcoin.git
synced 2025-01-29 12:37:30 -03:00
bdca9bcb6c
efad3506a8 Merge #906: Use modified divsteps with initial delta=1/2 for constant-time cc2c09e3a7 Merge #918: Clean up configuration in gen_context 07067967ee add ECMULT_GEN_PREC_BITS to basic_config.h a3aa2628c7 gen_context: Don't include basic-config.h be0609fd54 Add unit tests for edge cases with delta=1/2 variant of divsteps cd393ce228 Optimization: only do 59 hddivsteps per iteration instead of 62 277b224b6a Use modified divsteps with initial delta=1/2 for constant-time 376ca366db Fix typo in explanation 1e5d50fa93 Merge #889: fix uninitialized read in tests c083cc6e52 Merge #903: Make argument of fe_normalizes_to_zero{_var} const 6e898534ff Merge #907: changed import to use brackets <> for openssl 4504472269 changed import to use brackets <> for openssl as they are not local to the project 26de4dfeb1 Merge #831: Safegcd inverses, drop Jacobi symbols, remove libgmp 23c3fb629b Make argument of fe_normalizes_to_zero{_var} const 24ad04fc06 Make scalar_inverse{,_var} benchmark scale with SECP256K1_BENCH_ITERS ebc1af700f Optimization: track f,g limb count and pass to new variable-time update_fg_var b306935ac1 Optimization: use formulas instead of lookup tables for cancelling g bits 9164a1b658 Optimization: special-case zero modulus limbs in modinv64 1f233b3fa0 Remove num/gmp support 20448b8d09 Remove unused Jacobi symbol support 5437e7bdfb Remove unused scalar_sqr aa9cc52180 Improve field/scalar inverse tests 1e0e885c8a Make field/scalar code use the new modinv modules for inverses 436281afdc Move secp256k1_fe_inverse{_var} to per-impl files aa404d53be Move secp256k1_scalar_{inverse{_var},is_even} to per-impl files 08d54964e5 Improve bounds checks in modinv modules 151aac00d3 Add tests for modinv modules d8a92fcc4c Add extensive comments on the safegcd algorithm and implementation 8e415acba2 Add safegcd based modular inverse modules de0a643c3d Add secp256k1_ctz{32,64}_var functions 4c3ba88c3a Merge #901: ci: Switch all Linux builds to Debian and more improvements 9361f360bb ci: Select number of parallel make jobs depending on CI environment 28eccdf806 ci: Split output of logs into multiple sections c7f754fe4d ci: Run PRs on merge result instead of on the source branch b994a8be3c ci: Print information about binaries using "file" f24e122d13 ci: Switch all Linux builds to Debian ebdba03cb5 Merge #891: build: Add workaround for automake 1.13 and older 3a8b47bc6d Merge #894: ctime_test: move context randomization test to the end 7d3497cdc4 ctime_test: move context randomization test to the end 99a1cfec17 print warnings for conditional-uninitialized 3d2cf6c5bd initialize variable in tests f329bba244 build: Add workaround for automake 1.13 and older 24d1656c32 Merge #882: Use bit ops instead of int mult for constant-time logic in gej_add_ge e491d06b98 Use bit ops instead of int mult for constant-time logic in gej_add_ge f8c0b57e6b Merge #864: Add support for Cirrus CI cc2a5451dc ci: Refactor Nix shell files 2480e55c8f ci: Remove support for Travis CI 2b359f1c1d ci: Enable simple cache for brewing valgrind on macOS 8c02e465c5 ci: Add support for Cirrus CI 659d0d4798 Merge #880: Add parens around ROUND_TO_ALIGN's parameter. b6f649889a Add parens around ROUND_TO_ALIGN's parameter. This makes the macro robust against a hypothetical ROUND_TO_ALIGN(foo ? sizeA : size B) invocation. a4abaab793 Merge #877: Add missing secp256k1_ge_set_gej_var decl. 5671e5f3fd Merge #874: Remove underscores from header defs. db726782fa Merge #878: Remove unused secp256k1_fe_inv_all_var b732701faa Merge #875: Avoid casting (void**) values. 75d2ae149e Remove unused secp256k1_fe_inv_all_var 482e4a9cfc Add missing secp256k1_ge_set_gej_var decl. 2730618604 Avoid casting (void**) values. Replaced with an expression that only casts (void*) values. fb390c5299 Remove underscores from header defs. This makes them consistent with other files and avoids reserved identifiers. f2d9aeae6d Merge #862: Autoconf improvements 328aaef22a Merge #845: Extract the secret key from a keypair 3c15130709 Improve CC_FOR_BUILD detection 47802a4762 Restructure and tidy configure.ac 252c19dfc6 Ask brew for valgrind include path 8c727b9087 Merge #860: fixed trivial typo b7bc3a4aaa fixed typo 33cb3c2b1f Add secret key extraction from keypair to constant time tests 36d9dc1e8e Add seckey extraction from keypair to the extrakeys tests fc96aa73f5 Add a function to extract the secretkey from a keypair 98dac87839 Merge #858: Fix insecure links 07aa4c70ff Fix insecure links b61f9da54e Merge #857: docs: fix simple typo, dependecy -> dependency 18aadf9d28 docs: fix simple typo, dependecy -> dependency 2d9e7175c6 Merge #852: Add sage script for generating scalar_split_lambda constants dc6e5c3a5c Merge #854: Rename msg32 to msghash32 in ecdsa_sign/verify and add explanation 6e85d675aa Rename tweak to tweak32 in public API f587f04e35 Rename msg32 to msghash32 in ecdsa_sign/verify and add explanation 329a2e0a3f sage: Add script for generating scalar_split_lambda constants 8f0c6f1545 Merge #851: make test count iteration configurable by environment variable f4fa8d226a forbid a test iteration of 0 or less f554dfc708 sage: Reorganize files 3a106966aa Merge #849: Convert Sage code to Python 3 (as used by Sage >= 9) 13c88efed0 Convert Sage code to Python 3 (as used by Sage >= 9) 0ce4554881 make test count iteration configurable by environment variable 9e5939d284 Merge #835: Don't use reserved identifiers memczero and benchmark_verify_t d0a83f7328 Merge #839: Prevent arithmetic on NULL pointer if the scratch space is too small 903b16aa6c Merge #840: Return NULL early in context_preallocated_create if flags invalid 1f4dd03838 Typedef (u)int128_t only when they're not provided by the compiler ebfa2058e9 Return NULL early in context_preallocated_create if flags invalid 29a299e373 Run the undefined behaviour sanitizer on Travis 7506e064d7 Prevent arithmetic on NULL pointer if the scratch space is too small e89278f211 Don't use reserved identifiers memczero and benchmark_verify_t git-subtree-dir: src/secp256k1 git-subtree-split: efad3506a8937162e8010f5839fdf3771dfcf516
125 lines
5.9 KiB
C
125 lines
5.9 KiB
C
/***********************************************************************
|
|
* Copyright (c) 2013, 2014 Pieter Wuille *
|
|
* Distributed under the MIT software license, see the accompanying *
|
|
* file COPYING or https://www.opensource.org/licenses/mit-license.php.*
|
|
***********************************************************************/
|
|
|
|
#ifndef SECP256K1_FIELD_H
|
|
#define SECP256K1_FIELD_H
|
|
|
|
/** Field element module.
|
|
*
|
|
* Field elements can be represented in several ways, but code accessing
|
|
* it (and implementations) need to take certain properties into account:
|
|
* - Each field element can be normalized or not.
|
|
* - Each field element has a magnitude, which represents how far away
|
|
* its representation is away from normalization. Normalized elements
|
|
* always have a magnitude of 1, but a magnitude of 1 doesn't imply
|
|
* normality.
|
|
*/
|
|
|
|
#if defined HAVE_CONFIG_H
|
|
#include "libsecp256k1-config.h"
|
|
#endif
|
|
|
|
#include "util.h"
|
|
|
|
#if defined(SECP256K1_WIDEMUL_INT128)
|
|
#include "field_5x52.h"
|
|
#elif defined(SECP256K1_WIDEMUL_INT64)
|
|
#include "field_10x26.h"
|
|
#else
|
|
#error "Please select wide multiplication implementation"
|
|
#endif
|
|
|
|
/** Normalize a field element. This brings the field element to a canonical representation, reduces
|
|
* its magnitude to 1, and reduces it modulo field size `p`.
|
|
*/
|
|
static void secp256k1_fe_normalize(secp256k1_fe *r);
|
|
|
|
/** Weakly normalize a field element: reduce its magnitude to 1, but don't fully normalize. */
|
|
static void secp256k1_fe_normalize_weak(secp256k1_fe *r);
|
|
|
|
/** Normalize a field element, without constant-time guarantee. */
|
|
static void secp256k1_fe_normalize_var(secp256k1_fe *r);
|
|
|
|
/** Verify whether a field element represents zero i.e. would normalize to a zero value. */
|
|
static int secp256k1_fe_normalizes_to_zero(const secp256k1_fe *r);
|
|
|
|
/** Verify whether a field element represents zero i.e. would normalize to a zero value,
|
|
* without constant-time guarantee. */
|
|
static int secp256k1_fe_normalizes_to_zero_var(const secp256k1_fe *r);
|
|
|
|
/** Set a field element equal to a small integer. Resulting field element is normalized. */
|
|
static void secp256k1_fe_set_int(secp256k1_fe *r, int a);
|
|
|
|
/** Sets a field element equal to zero, initializing all fields. */
|
|
static void secp256k1_fe_clear(secp256k1_fe *a);
|
|
|
|
/** Verify whether a field element is zero. Requires the input to be normalized. */
|
|
static int secp256k1_fe_is_zero(const secp256k1_fe *a);
|
|
|
|
/** Check the "oddness" of a field element. Requires the input to be normalized. */
|
|
static int secp256k1_fe_is_odd(const secp256k1_fe *a);
|
|
|
|
/** Compare two field elements. Requires magnitude-1 inputs. */
|
|
static int secp256k1_fe_equal(const secp256k1_fe *a, const secp256k1_fe *b);
|
|
|
|
/** Same as secp256k1_fe_equal, but may be variable time. */
|
|
static int secp256k1_fe_equal_var(const secp256k1_fe *a, const secp256k1_fe *b);
|
|
|
|
/** Compare two field elements. Requires both inputs to be normalized */
|
|
static int secp256k1_fe_cmp_var(const secp256k1_fe *a, const secp256k1_fe *b);
|
|
|
|
/** Set a field element equal to 32-byte big endian value. If successful, the resulting field element is normalized. */
|
|
static int secp256k1_fe_set_b32(secp256k1_fe *r, const unsigned char *a);
|
|
|
|
/** Convert a field element to a 32-byte big endian value. Requires the input to be normalized */
|
|
static void secp256k1_fe_get_b32(unsigned char *r, const secp256k1_fe *a);
|
|
|
|
/** Set a field element equal to the additive inverse of another. Takes a maximum magnitude of the input
|
|
* as an argument. The magnitude of the output is one higher. */
|
|
static void secp256k1_fe_negate(secp256k1_fe *r, const secp256k1_fe *a, int m);
|
|
|
|
/** Multiplies the passed field element with a small integer constant. Multiplies the magnitude by that
|
|
* small integer. */
|
|
static void secp256k1_fe_mul_int(secp256k1_fe *r, int a);
|
|
|
|
/** Adds a field element to another. The result has the sum of the inputs' magnitudes as magnitude. */
|
|
static void secp256k1_fe_add(secp256k1_fe *r, const secp256k1_fe *a);
|
|
|
|
/** Sets a field element to be the product of two others. Requires the inputs' magnitudes to be at most 8.
|
|
* The output magnitude is 1 (but not guaranteed to be normalized). */
|
|
static void secp256k1_fe_mul(secp256k1_fe *r, const secp256k1_fe *a, const secp256k1_fe * SECP256K1_RESTRICT b);
|
|
|
|
/** Sets a field element to be the square of another. Requires the input's magnitude to be at most 8.
|
|
* The output magnitude is 1 (but not guaranteed to be normalized). */
|
|
static void secp256k1_fe_sqr(secp256k1_fe *r, const secp256k1_fe *a);
|
|
|
|
/** If a has a square root, it is computed in r and 1 is returned. If a does not
|
|
* have a square root, the root of its negation is computed and 0 is returned.
|
|
* The input's magnitude can be at most 8. The output magnitude is 1 (but not
|
|
* guaranteed to be normalized). The result in r will always be a square
|
|
* itself. */
|
|
static int secp256k1_fe_sqrt(secp256k1_fe *r, const secp256k1_fe *a);
|
|
|
|
/** Sets a field element to be the (modular) inverse of another. Requires the input's magnitude to be
|
|
* at most 8. The output magnitude is 1 (but not guaranteed to be normalized). */
|
|
static void secp256k1_fe_inv(secp256k1_fe *r, const secp256k1_fe *a);
|
|
|
|
/** Potentially faster version of secp256k1_fe_inv, without constant-time guarantee. */
|
|
static void secp256k1_fe_inv_var(secp256k1_fe *r, const secp256k1_fe *a);
|
|
|
|
/** Convert a field element to the storage type. */
|
|
static void secp256k1_fe_to_storage(secp256k1_fe_storage *r, const secp256k1_fe *a);
|
|
|
|
/** Convert a field element back from the storage type. */
|
|
static void secp256k1_fe_from_storage(secp256k1_fe *r, const secp256k1_fe_storage *a);
|
|
|
|
/** If flag is true, set *r equal to *a; otherwise leave it. Constant-time. Both *r and *a must be initialized.*/
|
|
static void secp256k1_fe_storage_cmov(secp256k1_fe_storage *r, const secp256k1_fe_storage *a, int flag);
|
|
|
|
/** If flag is true, set *r equal to *a; otherwise leave it. Constant-time. Both *r and *a must be initialized.*/
|
|
static void secp256k1_fe_cmov(secp256k1_fe *r, const secp256k1_fe *a, int flag);
|
|
|
|
#endif /* SECP256K1_FIELD_H */
|