1*68546e56SEric Biggers // SPDX-License-Identifier: GPL-2.0-or-later
2*68546e56SEric Biggers /*
3*68546e56SEric Biggers * Copyright 2024- IBM Corp.
4*68546e56SEric Biggers *
5*68546e56SEric Biggers * X25519 scalar multiplication with 51 bits limbs for PPC64le.
6*68546e56SEric Biggers * Based on RFC7748 and AArch64 optimized implementation for X25519
7*68546e56SEric Biggers * - Algorithm 1 Scalar multiplication of a variable point
8*68546e56SEric Biggers */
9*68546e56SEric Biggers
10*68546e56SEric Biggers #include <linux/types.h>
11*68546e56SEric Biggers #include <linux/jump_label.h>
12*68546e56SEric Biggers #include <linux/kernel.h>
13*68546e56SEric Biggers
14*68546e56SEric Biggers #include <linux/cpufeature.h>
15*68546e56SEric Biggers #include <linux/processor.h>
16*68546e56SEric Biggers
17*68546e56SEric Biggers typedef uint64_t fe51[5];
18*68546e56SEric Biggers
19*68546e56SEric Biggers asmlinkage void x25519_fe51_mul(fe51 h, const fe51 f, const fe51 g);
20*68546e56SEric Biggers asmlinkage void x25519_fe51_sqr(fe51 h, const fe51 f);
21*68546e56SEric Biggers asmlinkage void x25519_fe51_mul121666(fe51 h, fe51 f);
22*68546e56SEric Biggers asmlinkage void x25519_fe51_sqr_times(fe51 h, const fe51 f, int n);
23*68546e56SEric Biggers asmlinkage void x25519_fe51_frombytes(fe51 h, const uint8_t *s);
24*68546e56SEric Biggers asmlinkage void x25519_fe51_tobytes(uint8_t *s, const fe51 h);
25*68546e56SEric Biggers asmlinkage void x25519_cswap(fe51 p, fe51 q, unsigned int bit);
26*68546e56SEric Biggers
27*68546e56SEric Biggers #define fmul x25519_fe51_mul
28*68546e56SEric Biggers #define fsqr x25519_fe51_sqr
29*68546e56SEric Biggers #define fmul121666 x25519_fe51_mul121666
30*68546e56SEric Biggers #define fe51_tobytes x25519_fe51_tobytes
31*68546e56SEric Biggers
fadd(fe51 h,const fe51 f,const fe51 g)32*68546e56SEric Biggers static void fadd(fe51 h, const fe51 f, const fe51 g)
33*68546e56SEric Biggers {
34*68546e56SEric Biggers h[0] = f[0] + g[0];
35*68546e56SEric Biggers h[1] = f[1] + g[1];
36*68546e56SEric Biggers h[2] = f[2] + g[2];
37*68546e56SEric Biggers h[3] = f[3] + g[3];
38*68546e56SEric Biggers h[4] = f[4] + g[4];
39*68546e56SEric Biggers }
40*68546e56SEric Biggers
41*68546e56SEric Biggers /*
42*68546e56SEric Biggers * Prime = 2 ** 255 - 19, 255 bits
43*68546e56SEric Biggers * (0x7fffffff ffffffff ffffffff ffffffff ffffffff ffffffff ffffffff ffffffed)
44*68546e56SEric Biggers *
45*68546e56SEric Biggers * Prime in 5 51-bit limbs
46*68546e56SEric Biggers */
47*68546e56SEric Biggers static fe51 prime51 = { 0x7ffffffffffed, 0x7ffffffffffff, 0x7ffffffffffff, 0x7ffffffffffff, 0x7ffffffffffff};
48*68546e56SEric Biggers
fsub(fe51 h,const fe51 f,const fe51 g)49*68546e56SEric Biggers static void fsub(fe51 h, const fe51 f, const fe51 g)
50*68546e56SEric Biggers {
51*68546e56SEric Biggers h[0] = (f[0] + ((prime51[0] * 2))) - g[0];
52*68546e56SEric Biggers h[1] = (f[1] + ((prime51[1] * 2))) - g[1];
53*68546e56SEric Biggers h[2] = (f[2] + ((prime51[2] * 2))) - g[2];
54*68546e56SEric Biggers h[3] = (f[3] + ((prime51[3] * 2))) - g[3];
55*68546e56SEric Biggers h[4] = (f[4] + ((prime51[4] * 2))) - g[4];
56*68546e56SEric Biggers }
57*68546e56SEric Biggers
fe51_frombytes(fe51 h,const uint8_t * s)58*68546e56SEric Biggers static void fe51_frombytes(fe51 h, const uint8_t *s)
59*68546e56SEric Biggers {
60*68546e56SEric Biggers /*
61*68546e56SEric Biggers * Make sure 64-bit aligned.
62*68546e56SEric Biggers */
63*68546e56SEric Biggers unsigned char sbuf[32+8];
64*68546e56SEric Biggers unsigned char *sb = PTR_ALIGN((void *)sbuf, 8);
65*68546e56SEric Biggers
66*68546e56SEric Biggers memcpy(sb, s, 32);
67*68546e56SEric Biggers x25519_fe51_frombytes(h, sb);
68*68546e56SEric Biggers }
69*68546e56SEric Biggers
finv(fe51 o,const fe51 i)70*68546e56SEric Biggers static void finv(fe51 o, const fe51 i)
71*68546e56SEric Biggers {
72*68546e56SEric Biggers fe51 a0, b, c, t00;
73*68546e56SEric Biggers
74*68546e56SEric Biggers fsqr(a0, i);
75*68546e56SEric Biggers x25519_fe51_sqr_times(t00, a0, 2);
76*68546e56SEric Biggers
77*68546e56SEric Biggers fmul(b, t00, i);
78*68546e56SEric Biggers fmul(a0, b, a0);
79*68546e56SEric Biggers
80*68546e56SEric Biggers fsqr(t00, a0);
81*68546e56SEric Biggers
82*68546e56SEric Biggers fmul(b, t00, b);
83*68546e56SEric Biggers x25519_fe51_sqr_times(t00, b, 5);
84*68546e56SEric Biggers
85*68546e56SEric Biggers fmul(b, t00, b);
86*68546e56SEric Biggers x25519_fe51_sqr_times(t00, b, 10);
87*68546e56SEric Biggers
88*68546e56SEric Biggers fmul(c, t00, b);
89*68546e56SEric Biggers x25519_fe51_sqr_times(t00, c, 20);
90*68546e56SEric Biggers
91*68546e56SEric Biggers fmul(t00, t00, c);
92*68546e56SEric Biggers x25519_fe51_sqr_times(t00, t00, 10);
93*68546e56SEric Biggers
94*68546e56SEric Biggers fmul(b, t00, b);
95*68546e56SEric Biggers x25519_fe51_sqr_times(t00, b, 50);
96*68546e56SEric Biggers
97*68546e56SEric Biggers fmul(c, t00, b);
98*68546e56SEric Biggers x25519_fe51_sqr_times(t00, c, 100);
99*68546e56SEric Biggers
100*68546e56SEric Biggers fmul(t00, t00, c);
101*68546e56SEric Biggers x25519_fe51_sqr_times(t00, t00, 50);
102*68546e56SEric Biggers
103*68546e56SEric Biggers fmul(t00, t00, b);
104*68546e56SEric Biggers x25519_fe51_sqr_times(t00, t00, 5);
105*68546e56SEric Biggers
106*68546e56SEric Biggers fmul(o, t00, a0);
107*68546e56SEric Biggers }
108*68546e56SEric Biggers
curve25519_fe51(uint8_t out[32],const uint8_t scalar[32],const uint8_t point[32])109*68546e56SEric Biggers static void curve25519_fe51(uint8_t out[32], const uint8_t scalar[32],
110*68546e56SEric Biggers const uint8_t point[32])
111*68546e56SEric Biggers {
112*68546e56SEric Biggers fe51 x1, x2, z2, x3, z3;
113*68546e56SEric Biggers uint8_t s[32];
114*68546e56SEric Biggers unsigned int swap = 0;
115*68546e56SEric Biggers int i;
116*68546e56SEric Biggers
117*68546e56SEric Biggers memcpy(s, scalar, 32);
118*68546e56SEric Biggers s[0] &= 0xf8;
119*68546e56SEric Biggers s[31] &= 0x7f;
120*68546e56SEric Biggers s[31] |= 0x40;
121*68546e56SEric Biggers fe51_frombytes(x1, point);
122*68546e56SEric Biggers
123*68546e56SEric Biggers z2[0] = z2[1] = z2[2] = z2[3] = z2[4] = 0;
124*68546e56SEric Biggers x3[0] = x1[0];
125*68546e56SEric Biggers x3[1] = x1[1];
126*68546e56SEric Biggers x3[2] = x1[2];
127*68546e56SEric Biggers x3[3] = x1[3];
128*68546e56SEric Biggers x3[4] = x1[4];
129*68546e56SEric Biggers
130*68546e56SEric Biggers x2[0] = z3[0] = 1;
131*68546e56SEric Biggers x2[1] = z3[1] = 0;
132*68546e56SEric Biggers x2[2] = z3[2] = 0;
133*68546e56SEric Biggers x2[3] = z3[3] = 0;
134*68546e56SEric Biggers x2[4] = z3[4] = 0;
135*68546e56SEric Biggers
136*68546e56SEric Biggers for (i = 254; i >= 0; --i) {
137*68546e56SEric Biggers unsigned int k_t = 1 & (s[i / 8] >> (i & 7));
138*68546e56SEric Biggers fe51 a, b, c, d, e;
139*68546e56SEric Biggers fe51 da, cb, aa, bb;
140*68546e56SEric Biggers fe51 dacb_p, dacb_m;
141*68546e56SEric Biggers
142*68546e56SEric Biggers swap ^= k_t;
143*68546e56SEric Biggers x25519_cswap(x2, x3, swap);
144*68546e56SEric Biggers x25519_cswap(z2, z3, swap);
145*68546e56SEric Biggers swap = k_t;
146*68546e56SEric Biggers
147*68546e56SEric Biggers fsub(b, x2, z2); // B = x_2 - z_2
148*68546e56SEric Biggers fadd(a, x2, z2); // A = x_2 + z_2
149*68546e56SEric Biggers fsub(d, x3, z3); // D = x_3 - z_3
150*68546e56SEric Biggers fadd(c, x3, z3); // C = x_3 + z_3
151*68546e56SEric Biggers
152*68546e56SEric Biggers fsqr(bb, b); // BB = B^2
153*68546e56SEric Biggers fsqr(aa, a); // AA = A^2
154*68546e56SEric Biggers fmul(da, d, a); // DA = D * A
155*68546e56SEric Biggers fmul(cb, c, b); // CB = C * B
156*68546e56SEric Biggers
157*68546e56SEric Biggers fsub(e, aa, bb); // E = AA - BB
158*68546e56SEric Biggers fmul(x2, aa, bb); // x2 = AA * BB
159*68546e56SEric Biggers fadd(dacb_p, da, cb); // DA + CB
160*68546e56SEric Biggers fsub(dacb_m, da, cb); // DA - CB
161*68546e56SEric Biggers
162*68546e56SEric Biggers fmul121666(z3, e); // 121666 * E
163*68546e56SEric Biggers fsqr(z2, dacb_m); // (DA - CB)^2
164*68546e56SEric Biggers fsqr(x3, dacb_p); // x3 = (DA + CB)^2
165*68546e56SEric Biggers fadd(b, bb, z3); // BB + 121666 * E
166*68546e56SEric Biggers fmul(z3, x1, z2); // z3 = x1 * (DA - CB)^2
167*68546e56SEric Biggers fmul(z2, e, b); // z2 = e * (BB + (DA + CB)^2)
168*68546e56SEric Biggers }
169*68546e56SEric Biggers
170*68546e56SEric Biggers finv(z2, z2);
171*68546e56SEric Biggers fmul(x2, x2, z2);
172*68546e56SEric Biggers fe51_tobytes(out, x2);
173*68546e56SEric Biggers }
174*68546e56SEric Biggers
curve25519_arch(u8 mypublic[CURVE25519_KEY_SIZE],const u8 secret[CURVE25519_KEY_SIZE],const u8 basepoint[CURVE25519_KEY_SIZE])175*68546e56SEric Biggers static void curve25519_arch(u8 mypublic[CURVE25519_KEY_SIZE],
176*68546e56SEric Biggers const u8 secret[CURVE25519_KEY_SIZE],
177*68546e56SEric Biggers const u8 basepoint[CURVE25519_KEY_SIZE])
178*68546e56SEric Biggers {
179*68546e56SEric Biggers curve25519_fe51(mypublic, secret, basepoint);
180*68546e56SEric Biggers }
181*68546e56SEric Biggers
curve25519_base_arch(u8 pub[CURVE25519_KEY_SIZE],const u8 secret[CURVE25519_KEY_SIZE])182*68546e56SEric Biggers static void curve25519_base_arch(u8 pub[CURVE25519_KEY_SIZE],
183*68546e56SEric Biggers const u8 secret[CURVE25519_KEY_SIZE])
184*68546e56SEric Biggers {
185*68546e56SEric Biggers curve25519_fe51(pub, secret, curve25519_base_point);
186*68546e56SEric Biggers }
187