Coverage Report

Created: 2019-09-11 14:12

/src/botan/build/include/botan/internal/ed25519_internal.h
Line
Count
Source
1
/*
2
* Ed25519
3
* (C) 2017 Ribose Inc
4
*
5
* Based on the public domain code from SUPERCOP ref10 by
6
* Peter Schwabe, Daniel J. Bernstein, Niels Duif, Tanja Lange, Bo-Yin Yang
7
*
8
* Botan is released under the Simplified BSD License (see license.txt)
9
*/
10
11
#ifndef BOTAN_ED25519_INT_H_
12
#define BOTAN_ED25519_INT_H_
13
14
#include <botan/internal/ed25519_fe.h>
15
#include <botan/loadstor.h>
16
17
namespace Botan {
18
19
inline uint64_t load_3(const uint8_t in[3])
20
1.35k
   {
21
1.35k
   return static_cast<uint64_t>(in[0]) |
22
1.35k
      (static_cast<uint64_t>(in[1]) << 8) |
23
1.35k
      (static_cast<uint64_t>(in[2]) << 16);
24
1.35k
   }
25
26
inline uint64_t load_4(const uint8_t* in)
27
1.06k
   {
28
1.06k
   return load_le<uint32_t>(in, 0);
29
1.06k
   }
30
31
template<size_t S, int64_t MUL=1>
32
inline void carry(int64_t& h0, int64_t& h1)
33
2.47M
   {
34
2.47M
   static_assert(S > 0 && S < 64, "Shift in range");
35
2.47M
36
2.47M
   const int64_t X1 = (static_cast<int64_t>(1) << S);
37
2.47M
   const int64_t X2 = (static_cast<int64_t>(1) << (S - 1));
38
2.47M
   int64_t c = (h0 + X2)  >> S;
39
2.47M
   h1 += c * MUL;
40
2.47M
   h0 -= c * X1;
41
2.47M
   }
void Botan::carry<21ul, 1l>(long&, long&)
Line
Count
Source
33
1.63k
   {
34
1.63k
   static_assert(S > 0 && S < 64, "Shift in range");
35
1.63k
36
1.63k
   const int64_t X1 = (static_cast<int64_t>(1) << S);
37
1.63k
   const int64_t X2 = (static_cast<int64_t>(1) << (S - 1));
38
1.63k
   int64_t c = (h0 + X2)  >> S;
39
1.63k
   h1 += c * MUL;
40
1.63k
   h0 -= c * X1;
41
1.63k
   }
void Botan::carry<26ul, 1l>(long&, long&)
Line
Count
Source
33
1.44M
   {
34
1.44M
   static_assert(S > 0 && S < 64, "Shift in range");
35
1.44M
36
1.44M
   const int64_t X1 = (static_cast<int64_t>(1) << S);
37
1.44M
   const int64_t X2 = (static_cast<int64_t>(1) << (S - 1));
38
1.44M
   int64_t c = (h0 + X2)  >> S;
39
1.44M
   h1 += c * MUL;
40
1.44M
   h0 -= c * X1;
41
1.44M
   }
void Botan::carry<25ul, 1l>(long&, long&)
Line
Count
Source
33
825k
   {
34
825k
   static_assert(S > 0 && S < 64, "Shift in range");
35
825k
36
825k
   const int64_t X1 = (static_cast<int64_t>(1) << S);
37
825k
   const int64_t X2 = (static_cast<int64_t>(1) << (S - 1));
38
825k
   int64_t c = (h0 + X2)  >> S;
39
825k
   h1 += c * MUL;
40
825k
   h0 -= c * X1;
41
825k
   }
void Botan::carry<25ul, 19l>(long&, long&)
Line
Count
Source
33
206k
   {
34
206k
   static_assert(S > 0 && S < 64, "Shift in range");
35
206k
36
206k
   const int64_t X1 = (static_cast<int64_t>(1) << S);
37
206k
   const int64_t X2 = (static_cast<int64_t>(1) << (S - 1));
38
206k
   int64_t c = (h0 + X2)  >> S;
39
206k
   h1 += c * MUL;
40
206k
   h0 -= c * X1;
41
206k
   }
42
43
template<size_t S>
44
inline void carry0(int64_t& h0, int64_t& h1)
45
1.70k
   {
46
1.70k
   static_assert(S > 0 && S < 64, "Shift in range");
47
1.70k
48
1.70k
   const int64_t X1 = (static_cast<int64_t>(1) << S);
49
1.70k
   int64_t c = h0 >> S;
50
1.70k
   h1 += c;
51
1.70k
   h0 -= c * X1;
52
1.70k
   }
53
54
template<size_t S>
55
inline void carry0(int32_t& h0, int32_t& h1)
56
2.86k
   {
57
2.86k
   static_assert(S > 0 && S < 32, "Shift in range");
58
2.86k
59
2.86k
   const int32_t X1 = (static_cast<int64_t>(1) << S);
60
2.86k
   int32_t c = h0 >> S;
61
2.86k
   h1 += c;
62
2.86k
   h0 -= c * X1;
63
2.86k
   }
void Botan::carry0<26ul>(int&, int&)
Line
Count
Source
56
1.59k
   {
57
1.59k
   static_assert(S > 0 && S < 32, "Shift in range");
58
1.59k
59
1.59k
   const int32_t X1 = (static_cast<int64_t>(1) << S);
60
1.59k
   int32_t c = h0 >> S;
61
1.59k
   h1 += c;
62
1.59k
   h0 -= c * X1;
63
1.59k
   }
void Botan::carry0<25ul>(int&, int&)
Line
Count
Source
56
1.27k
   {
57
1.27k
   static_assert(S > 0 && S < 32, "Shift in range");
58
1.27k
59
1.27k
   const int32_t X1 = (static_cast<int64_t>(1) << S);
60
1.27k
   int32_t c = h0 >> S;
61
1.27k
   h1 += c;
62
1.27k
   h0 -= c * X1;
63
1.27k
   }
64
65
inline void redc_mul(int64_t& s1,
66
                     int64_t& s2,
67
                     int64_t& s3,
68
                     int64_t& s4,
69
                     int64_t& s5,
70
                     int64_t& s6,
71
                     int64_t& X)
72
994
   {
73
994
   s1 += X * 666643;
74
994
   s2 += X * 470296;
75
994
   s3 += X * 654183;
76
994
   s4 -= X * 997805;
77
994
   s5 += X * 136657;
78
994
   s6 -= X * 683901;
79
994
   X = 0;
80
994
   }
81
82
/*
83
ge means group element.
84
85
Here the group is the set of pairs (x,y) of field elements (see fe.h)
86
satisfying -x^2 + y^2 = 1 + d x^2y^2
87
where d = -121665/121666.
88
89
Representations:
90
  ge_p3 (extended): (X:Y:Z:T) satisfying x=X/Z, y=Y/Z, XY=ZT
91
*/
92
93
typedef struct
94
   {
95
   fe X;
96
   fe Y;
97
   fe Z;
98
   fe T;
99
   } ge_p3;
100
101
int ge_frombytes_negate_vartime(ge_p3*, const uint8_t*);
102
void ge_scalarmult_base(uint8_t out[32], const uint8_t in[32]);
103
104
void ge_double_scalarmult_vartime(uint8_t out[32],
105
                                  const uint8_t a[],
106
                                  const ge_p3* A,
107
                                  const uint8_t b[]);
108
109
/*
110
The set of scalars is \Z/l
111
where l = 2^252 + 27742317777372353535851937790883648493.
112
*/
113
114
void sc_reduce(uint8_t*);
115
void sc_muladd(uint8_t*, const uint8_t*, const uint8_t*, const uint8_t*);
116
117
}
118
119
#endif