github.com/luckypickle/go-ethereum-vet@v1.14.2/crypto/secp256k1/libsecp256k1/src/ecmult_gen_impl.h (about) 1 /********************************************************************** 2 * Copyright (c) 2013, 2014, 2015 Pieter Wuille, Gregory Maxwell * 3 * Distributed under the MIT software license, see the accompanying * 4 * file COPYING or http://www.opensource.org/licenses/mit-license.php.* 5 **********************************************************************/ 6 7 #ifndef _SECP256K1_ECMULT_GEN_IMPL_H_ 8 #define _SECP256K1_ECMULT_GEN_IMPL_H_ 9 10 #include "scalar.h" 11 #include "group.h" 12 #include "ecmult_gen.h" 13 #include "hash_impl.h" 14 #ifdef USE_ECMULT_STATIC_PRECOMPUTATION 15 #include "ecmult_static_context.h" 16 #endif 17 static void vet_secp256k1_ecmult_gen_context_init(vet_secp256k1_ecmult_gen_context *ctx) { 18 ctx->prec = NULL; 19 } 20 21 static void vet_secp256k1_ecmult_gen_context_build(vet_secp256k1_ecmult_gen_context *ctx, const vet_secp256k1_callback* cb) { 22 #ifndef USE_ECMULT_STATIC_PRECOMPUTATION 23 vet_secp256k1_ge prec[1024]; 24 vet_secp256k1_gej gj; 25 vet_secp256k1_gej nums_gej; 26 int i, j; 27 #endif 28 29 if (ctx->prec != NULL) { 30 return; 31 } 32 #ifndef USE_ECMULT_STATIC_PRECOMPUTATION 33 ctx->prec = (vet_secp256k1_ge_storage (*)[64][16])checked_malloc(cb, sizeof(*ctx->prec)); 34 35 /* get the generator */ 36 vet_secp256k1_gej_set_ge(&gj, &vet_secp256k1_ge_const_g); 37 38 /* Construct a group element with no known corresponding scalar (nothing up my sleeve). */ 39 { 40 static const unsigned char nums_b32[33] = "The scalar for this x is unknown"; 41 vet_secp256k1_fe nums_x; 42 vet_secp256k1_ge nums_ge; 43 int r; 44 r = vet_secp256k1_fe_set_b32(&nums_x, nums_b32); 45 (void)r; 46 VERIFY_CHECK(r); 47 r = vet_secp256k1_ge_set_xo_var(&nums_ge, &nums_x, 0); 48 (void)r; 49 VERIFY_CHECK(r); 50 vet_secp256k1_gej_set_ge(&nums_gej, &nums_ge); 51 /* Add G to make the bits in x uniformly distributed. */ 52 vet_secp256k1_gej_add_ge_var(&nums_gej, &nums_gej, &vet_secp256k1_ge_const_g, NULL); 53 } 54 55 /* compute prec. */ 56 { 57 vet_secp256k1_gej precj[1024]; /* Jacobian versions of prec. */ 58 vet_secp256k1_gej gbase; 59 vet_secp256k1_gej numsbase; 60 gbase = gj; /* 16^j * G */ 61 numsbase = nums_gej; /* 2^j * nums. */ 62 for (j = 0; j < 64; j++) { 63 /* Set precj[j*16 .. j*16+15] to (numsbase, numsbase + gbase, ..., numsbase + 15*gbase). */ 64 precj[j*16] = numsbase; 65 for (i = 1; i < 16; i++) { 66 vet_secp256k1_gej_add_var(&precj[j*16 + i], &precj[j*16 + i - 1], &gbase, NULL); 67 } 68 /* Multiply gbase by 16. */ 69 for (i = 0; i < 4; i++) { 70 vet_secp256k1_gej_double_var(&gbase, &gbase, NULL); 71 } 72 /* Multiply numbase by 2. */ 73 vet_secp256k1_gej_double_var(&numsbase, &numsbase, NULL); 74 if (j == 62) { 75 /* In the last iteration, numsbase is (1 - 2^j) * nums instead. */ 76 vet_secp256k1_gej_neg(&numsbase, &numsbase); 77 vet_secp256k1_gej_add_var(&numsbase, &numsbase, &nums_gej, NULL); 78 } 79 } 80 vet_secp256k1_ge_set_all_gej_var(prec, precj, 1024, cb); 81 } 82 for (j = 0; j < 64; j++) { 83 for (i = 0; i < 16; i++) { 84 vet_secp256k1_ge_to_storage(&(*ctx->prec)[j][i], &prec[j*16 + i]); 85 } 86 } 87 #else 88 (void)cb; 89 ctx->prec = (vet_secp256k1_ge_storage (*)[64][16])vet_secp256k1_ecmult_static_context; 90 #endif 91 vet_secp256k1_ecmult_gen_blind(ctx, NULL); 92 } 93 94 static int vet_secp256k1_ecmult_gen_context_is_built(const vet_secp256k1_ecmult_gen_context* ctx) { 95 return ctx->prec != NULL; 96 } 97 98 static void vet_secp256k1_ecmult_gen_context_clone(vet_secp256k1_ecmult_gen_context *dst, 99 const vet_secp256k1_ecmult_gen_context *src, const vet_secp256k1_callback* cb) { 100 if (src->prec == NULL) { 101 dst->prec = NULL; 102 } else { 103 #ifndef USE_ECMULT_STATIC_PRECOMPUTATION 104 dst->prec = (vet_secp256k1_ge_storage (*)[64][16])checked_malloc(cb, sizeof(*dst->prec)); 105 memcpy(dst->prec, src->prec, sizeof(*dst->prec)); 106 #else 107 (void)cb; 108 dst->prec = src->prec; 109 #endif 110 dst->initial = src->initial; 111 dst->blind = src->blind; 112 } 113 } 114 115 static void vet_secp256k1_ecmult_gen_context_clear(vet_secp256k1_ecmult_gen_context *ctx) { 116 #ifndef USE_ECMULT_STATIC_PRECOMPUTATION 117 free(ctx->prec); 118 #endif 119 vet_secp256k1_scalar_clear(&ctx->blind); 120 vet_secp256k1_gej_clear(&ctx->initial); 121 ctx->prec = NULL; 122 } 123 124 static void vet_secp256k1_ecmult_gen(const vet_secp256k1_ecmult_gen_context *ctx, vet_secp256k1_gej *r, const vet_secp256k1_scalar *gn) { 125 vet_secp256k1_ge add; 126 vet_secp256k1_ge_storage adds; 127 vet_secp256k1_scalar gnb; 128 int bits; 129 int i, j; 130 memset(&adds, 0, sizeof(adds)); 131 *r = ctx->initial; 132 /* Blind scalar/point multiplication by computing (n-b)G + bG instead of nG. */ 133 vet_secp256k1_scalar_add(&gnb, gn, &ctx->blind); 134 add.infinity = 0; 135 for (j = 0; j < 64; j++) { 136 bits = vet_secp256k1_scalar_get_bits(&gnb, j * 4, 4); 137 for (i = 0; i < 16; i++) { 138 /** This uses a conditional move to avoid any secret data in array indexes. 139 * _Any_ use of secret indexes has been demonstrated to result in timing 140 * sidechannels, even when the cache-line access patterns are uniform. 141 * See also: 142 * "A word of warning", CHES 2013 Rump Session, by Daniel J. Bernstein and Peter Schwabe 143 * (https://cryptojedi.org/peter/data/chesrump-20130822.pdf) and 144 * "Cache Attacks and Countermeasures: the Case of AES", RSA 2006, 145 * by Dag Arne Osvik, Adi Shamir, and Eran Tromer 146 * (http://www.tau.ac.il/~tromer/papers/cache.pdf) 147 */ 148 vet_secp256k1_ge_storage_cmov(&adds, &(*ctx->prec)[j][i], i == bits); 149 } 150 vet_secp256k1_ge_from_storage(&add, &adds); 151 vet_secp256k1_gej_add_ge(r, r, &add); 152 } 153 bits = 0; 154 vet_secp256k1_ge_clear(&add); 155 vet_secp256k1_scalar_clear(&gnb); 156 } 157 158 /* Setup blinding values for secp256k1_ecmult_gen. */ 159 static void vet_secp256k1_ecmult_gen_blind(vet_secp256k1_ecmult_gen_context *ctx, const unsigned char *seed32) { 160 vet_secp256k1_scalar b; 161 vet_secp256k1_gej gb; 162 vet_secp256k1_fe s; 163 unsigned char nonce32[32]; 164 vet_secp256k1_rfc6979_hmac_sha256_t rng; 165 int retry; 166 unsigned char keydata[64] = {0}; 167 if (seed32 == NULL) { 168 /* When seed is NULL, reset the initial point and blinding value. */ 169 vet_secp256k1_gej_set_ge(&ctx->initial, &vet_secp256k1_ge_const_g); 170 vet_secp256k1_gej_neg(&ctx->initial, &ctx->initial); 171 vet_secp256k1_scalar_set_int(&ctx->blind, 1); 172 } 173 /* The prior blinding value (if not reset) is chained forward by including it in the hash. */ 174 vet_secp256k1_scalar_get_b32(nonce32, &ctx->blind); 175 /** Using a CSPRNG allows a failure free interface, avoids needing large amounts of random data, 176 * and guards against weak or adversarial seeds. This is a simpler and safer interface than 177 * asking the caller for blinding values directly and expecting them to retry on failure. 178 */ 179 memcpy(keydata, nonce32, 32); 180 if (seed32 != NULL) { 181 memcpy(keydata + 32, seed32, 32); 182 } 183 vet_secp256k1_rfc6979_hmac_sha256_initialize(&rng, keydata, seed32 ? 64 : 32); 184 memset(keydata, 0, sizeof(keydata)); 185 /* Retry for out of range results to achieve uniformity. */ 186 do { 187 vet_secp256k1_rfc6979_hmac_sha256_generate(&rng, nonce32, 32); 188 retry = !vet_secp256k1_fe_set_b32(&s, nonce32); 189 retry |= vet_secp256k1_fe_is_zero(&s); 190 } while (retry); /* This branch true is cryptographically unreachable. Requires sha256_hmac output > Fp. */ 191 /* Randomize the projection to defend against multiplier sidechannels. */ 192 vet_secp256k1_gej_rescale(&ctx->initial, &s); 193 vet_secp256k1_fe_clear(&s); 194 do { 195 vet_secp256k1_rfc6979_hmac_sha256_generate(&rng, nonce32, 32); 196 vet_secp256k1_scalar_set_b32(&b, nonce32, &retry); 197 /* A blinding value of 0 works, but would undermine the projection hardening. */ 198 retry |= vet_secp256k1_scalar_is_zero(&b); 199 } while (retry); /* This branch true is cryptographically unreachable. Requires sha256_hmac output > order. */ 200 vet_secp256k1_rfc6979_hmac_sha256_finalize(&rng); 201 memset(nonce32, 0, 32); 202 vet_secp256k1_ecmult_gen(ctx, &gb, &b); 203 vet_secp256k1_scalar_negate(&b, &b); 204 ctx->blind = b; 205 ctx->initial = gb; 206 vet_secp256k1_scalar_clear(&b); 207 vet_secp256k1_gej_clear(&gb); 208 } 209 210 #endif