1*87c1498dSEd Maste /* OPENBSD ORIGINAL: lib/libc/crypt/chacha_private.h */
2*87c1498dSEd Maste 
3f7167e0eSDag-Erling Smørgrav /*
4f7167e0eSDag-Erling Smørgrav chacha-merged.c version 20080118
5f7167e0eSDag-Erling Smørgrav D. J. Bernstein
6f7167e0eSDag-Erling Smørgrav Public domain.
7f7167e0eSDag-Erling Smørgrav */
8f7167e0eSDag-Erling Smørgrav 
9*87c1498dSEd Maste /* $OpenBSD: chacha_private.h,v 1.3 2022/02/28 21:56:29 dtucker Exp $ */
10f7167e0eSDag-Erling Smørgrav 
11f7167e0eSDag-Erling Smørgrav typedef unsigned char u8;
12f7167e0eSDag-Erling Smørgrav typedef unsigned int u32;
13f7167e0eSDag-Erling Smørgrav 
14f7167e0eSDag-Erling Smørgrav typedef struct
15f7167e0eSDag-Erling Smørgrav {
16f7167e0eSDag-Erling Smørgrav   u32 input[16]; /* could be compressed */
17f7167e0eSDag-Erling Smørgrav } chacha_ctx;
18f7167e0eSDag-Erling Smørgrav 
19f7167e0eSDag-Erling Smørgrav #define U8C(v) (v##U)
20f7167e0eSDag-Erling Smørgrav #define U32C(v) (v##U)
21f7167e0eSDag-Erling Smørgrav 
22f7167e0eSDag-Erling Smørgrav #define U8V(v) ((u8)(v) & U8C(0xFF))
23f7167e0eSDag-Erling Smørgrav #define U32V(v) ((u32)(v) & U32C(0xFFFFFFFF))
24f7167e0eSDag-Erling Smørgrav 
25f7167e0eSDag-Erling Smørgrav #define ROTL32(v, n) \
26f7167e0eSDag-Erling Smørgrav   (U32V((v) << (n)) | ((v) >> (32 - (n))))
27f7167e0eSDag-Erling Smørgrav 
28f7167e0eSDag-Erling Smørgrav #define U8TO32_LITTLE(p) \
29f7167e0eSDag-Erling Smørgrav   (((u32)((p)[0])      ) | \
30f7167e0eSDag-Erling Smørgrav    ((u32)((p)[1]) <<  8) | \
31f7167e0eSDag-Erling Smørgrav    ((u32)((p)[2]) << 16) | \
32f7167e0eSDag-Erling Smørgrav    ((u32)((p)[3]) << 24))
33f7167e0eSDag-Erling Smørgrav 
34f7167e0eSDag-Erling Smørgrav #define U32TO8_LITTLE(p, v) \
35f7167e0eSDag-Erling Smørgrav   do { \
36f7167e0eSDag-Erling Smørgrav     (p)[0] = U8V((v)      ); \
37f7167e0eSDag-Erling Smørgrav     (p)[1] = U8V((v) >>  8); \
38f7167e0eSDag-Erling Smørgrav     (p)[2] = U8V((v) >> 16); \
39f7167e0eSDag-Erling Smørgrav     (p)[3] = U8V((v) >> 24); \
40f7167e0eSDag-Erling Smørgrav   } while (0)
41f7167e0eSDag-Erling Smørgrav 
42f7167e0eSDag-Erling Smørgrav #define ROTATE(v,c) (ROTL32(v,c))
43f7167e0eSDag-Erling Smørgrav #define XOR(v,w) ((v) ^ (w))
44f7167e0eSDag-Erling Smørgrav #define PLUS(v,w) (U32V((v) + (w)))
45f7167e0eSDag-Erling Smørgrav #define PLUSONE(v) (PLUS((v),1))
46f7167e0eSDag-Erling Smørgrav 
47f7167e0eSDag-Erling Smørgrav #define QUARTERROUND(a,b,c,d) \
48f7167e0eSDag-Erling Smørgrav   a = PLUS(a,b); d = ROTATE(XOR(d,a),16); \
49f7167e0eSDag-Erling Smørgrav   c = PLUS(c,d); b = ROTATE(XOR(b,c),12); \
50f7167e0eSDag-Erling Smørgrav   a = PLUS(a,b); d = ROTATE(XOR(d,a), 8); \
51f7167e0eSDag-Erling Smørgrav   c = PLUS(c,d); b = ROTATE(XOR(b,c), 7);
52f7167e0eSDag-Erling Smørgrav 
53f7167e0eSDag-Erling Smørgrav static const char sigma[16] = "expand 32-byte k";
54f7167e0eSDag-Erling Smørgrav static const char tau[16] = "expand 16-byte k";
55f7167e0eSDag-Erling Smørgrav 
56f7167e0eSDag-Erling Smørgrav static void
chacha_keysetup(chacha_ctx * x,const u8 * k,u32 kbits)57*87c1498dSEd Maste chacha_keysetup(chacha_ctx *x,const u8 *k,u32 kbits)
58f7167e0eSDag-Erling Smørgrav {
59f7167e0eSDag-Erling Smørgrav   const char *constants;
60f7167e0eSDag-Erling Smørgrav 
61f7167e0eSDag-Erling Smørgrav   x->input[4] = U8TO32_LITTLE(k + 0);
62f7167e0eSDag-Erling Smørgrav   x->input[5] = U8TO32_LITTLE(k + 4);
63f7167e0eSDag-Erling Smørgrav   x->input[6] = U8TO32_LITTLE(k + 8);
64f7167e0eSDag-Erling Smørgrav   x->input[7] = U8TO32_LITTLE(k + 12);
65f7167e0eSDag-Erling Smørgrav   if (kbits == 256) { /* recommended */
66f7167e0eSDag-Erling Smørgrav     k += 16;
67f7167e0eSDag-Erling Smørgrav     constants = sigma;
68f7167e0eSDag-Erling Smørgrav   } else { /* kbits == 128 */
69f7167e0eSDag-Erling Smørgrav     constants = tau;
70f7167e0eSDag-Erling Smørgrav   }
71f7167e0eSDag-Erling Smørgrav   x->input[8] = U8TO32_LITTLE(k + 0);
72f7167e0eSDag-Erling Smørgrav   x->input[9] = U8TO32_LITTLE(k + 4);
73f7167e0eSDag-Erling Smørgrav   x->input[10] = U8TO32_LITTLE(k + 8);
74f7167e0eSDag-Erling Smørgrav   x->input[11] = U8TO32_LITTLE(k + 12);
75f7167e0eSDag-Erling Smørgrav   x->input[0] = U8TO32_LITTLE(constants + 0);
76f7167e0eSDag-Erling Smørgrav   x->input[1] = U8TO32_LITTLE(constants + 4);
77f7167e0eSDag-Erling Smørgrav   x->input[2] = U8TO32_LITTLE(constants + 8);
78f7167e0eSDag-Erling Smørgrav   x->input[3] = U8TO32_LITTLE(constants + 12);
79f7167e0eSDag-Erling Smørgrav }
80f7167e0eSDag-Erling Smørgrav 
81f7167e0eSDag-Erling Smørgrav static void
chacha_ivsetup(chacha_ctx * x,const u8 * iv)82f7167e0eSDag-Erling Smørgrav chacha_ivsetup(chacha_ctx *x,const u8 *iv)
83f7167e0eSDag-Erling Smørgrav {
84f7167e0eSDag-Erling Smørgrav   x->input[12] = 0;
85f7167e0eSDag-Erling Smørgrav   x->input[13] = 0;
86f7167e0eSDag-Erling Smørgrav   x->input[14] = U8TO32_LITTLE(iv + 0);
87f7167e0eSDag-Erling Smørgrav   x->input[15] = U8TO32_LITTLE(iv + 4);
88f7167e0eSDag-Erling Smørgrav }
89f7167e0eSDag-Erling Smørgrav 
90f7167e0eSDag-Erling Smørgrav static void
chacha_encrypt_bytes(chacha_ctx * x,const u8 * m,u8 * c,u32 bytes)91f7167e0eSDag-Erling Smørgrav chacha_encrypt_bytes(chacha_ctx *x,const u8 *m,u8 *c,u32 bytes)
92f7167e0eSDag-Erling Smørgrav {
93f7167e0eSDag-Erling Smørgrav   u32 x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15;
94f7167e0eSDag-Erling Smørgrav   u32 j0, j1, j2, j3, j4, j5, j6, j7, j8, j9, j10, j11, j12, j13, j14, j15;
95f7167e0eSDag-Erling Smørgrav   u8 *ctarget = NULL;
96f7167e0eSDag-Erling Smørgrav   u8 tmp[64];
97f7167e0eSDag-Erling Smørgrav   u_int i;
98f7167e0eSDag-Erling Smørgrav 
99f7167e0eSDag-Erling Smørgrav   if (!bytes) return;
100f7167e0eSDag-Erling Smørgrav 
101f7167e0eSDag-Erling Smørgrav   j0 = x->input[0];
102f7167e0eSDag-Erling Smørgrav   j1 = x->input[1];
103f7167e0eSDag-Erling Smørgrav   j2 = x->input[2];
104f7167e0eSDag-Erling Smørgrav   j3 = x->input[3];
105f7167e0eSDag-Erling Smørgrav   j4 = x->input[4];
106f7167e0eSDag-Erling Smørgrav   j5 = x->input[5];
107f7167e0eSDag-Erling Smørgrav   j6 = x->input[6];
108f7167e0eSDag-Erling Smørgrav   j7 = x->input[7];
109f7167e0eSDag-Erling Smørgrav   j8 = x->input[8];
110f7167e0eSDag-Erling Smørgrav   j9 = x->input[9];
111f7167e0eSDag-Erling Smørgrav   j10 = x->input[10];
112f7167e0eSDag-Erling Smørgrav   j11 = x->input[11];
113f7167e0eSDag-Erling Smørgrav   j12 = x->input[12];
114f7167e0eSDag-Erling Smørgrav   j13 = x->input[13];
115f7167e0eSDag-Erling Smørgrav   j14 = x->input[14];
116f7167e0eSDag-Erling Smørgrav   j15 = x->input[15];
117f7167e0eSDag-Erling Smørgrav 
118f7167e0eSDag-Erling Smørgrav   for (;;) {
119f7167e0eSDag-Erling Smørgrav     if (bytes < 64) {
120f7167e0eSDag-Erling Smørgrav       for (i = 0;i < bytes;++i) tmp[i] = m[i];
121f7167e0eSDag-Erling Smørgrav       m = tmp;
122f7167e0eSDag-Erling Smørgrav       ctarget = c;
123f7167e0eSDag-Erling Smørgrav       c = tmp;
124f7167e0eSDag-Erling Smørgrav     }
125f7167e0eSDag-Erling Smørgrav     x0 = j0;
126f7167e0eSDag-Erling Smørgrav     x1 = j1;
127f7167e0eSDag-Erling Smørgrav     x2 = j2;
128f7167e0eSDag-Erling Smørgrav     x3 = j3;
129f7167e0eSDag-Erling Smørgrav     x4 = j4;
130f7167e0eSDag-Erling Smørgrav     x5 = j5;
131f7167e0eSDag-Erling Smørgrav     x6 = j6;
132f7167e0eSDag-Erling Smørgrav     x7 = j7;
133f7167e0eSDag-Erling Smørgrav     x8 = j8;
134f7167e0eSDag-Erling Smørgrav     x9 = j9;
135f7167e0eSDag-Erling Smørgrav     x10 = j10;
136f7167e0eSDag-Erling Smørgrav     x11 = j11;
137f7167e0eSDag-Erling Smørgrav     x12 = j12;
138f7167e0eSDag-Erling Smørgrav     x13 = j13;
139f7167e0eSDag-Erling Smørgrav     x14 = j14;
140f7167e0eSDag-Erling Smørgrav     x15 = j15;
141f7167e0eSDag-Erling Smørgrav     for (i = 20;i > 0;i -= 2) {
142f7167e0eSDag-Erling Smørgrav       QUARTERROUND( x0, x4, x8,x12)
143f7167e0eSDag-Erling Smørgrav       QUARTERROUND( x1, x5, x9,x13)
144f7167e0eSDag-Erling Smørgrav       QUARTERROUND( x2, x6,x10,x14)
145f7167e0eSDag-Erling Smørgrav       QUARTERROUND( x3, x7,x11,x15)
146f7167e0eSDag-Erling Smørgrav       QUARTERROUND( x0, x5,x10,x15)
147f7167e0eSDag-Erling Smørgrav       QUARTERROUND( x1, x6,x11,x12)
148f7167e0eSDag-Erling Smørgrav       QUARTERROUND( x2, x7, x8,x13)
149f7167e0eSDag-Erling Smørgrav       QUARTERROUND( x3, x4, x9,x14)
150f7167e0eSDag-Erling Smørgrav     }
151f7167e0eSDag-Erling Smørgrav     x0 = PLUS(x0,j0);
152f7167e0eSDag-Erling Smørgrav     x1 = PLUS(x1,j1);
153f7167e0eSDag-Erling Smørgrav     x2 = PLUS(x2,j2);
154f7167e0eSDag-Erling Smørgrav     x3 = PLUS(x3,j3);
155f7167e0eSDag-Erling Smørgrav     x4 = PLUS(x4,j4);
156f7167e0eSDag-Erling Smørgrav     x5 = PLUS(x5,j5);
157f7167e0eSDag-Erling Smørgrav     x6 = PLUS(x6,j6);
158f7167e0eSDag-Erling Smørgrav     x7 = PLUS(x7,j7);
159f7167e0eSDag-Erling Smørgrav     x8 = PLUS(x8,j8);
160f7167e0eSDag-Erling Smørgrav     x9 = PLUS(x9,j9);
161f7167e0eSDag-Erling Smørgrav     x10 = PLUS(x10,j10);
162f7167e0eSDag-Erling Smørgrav     x11 = PLUS(x11,j11);
163f7167e0eSDag-Erling Smørgrav     x12 = PLUS(x12,j12);
164f7167e0eSDag-Erling Smørgrav     x13 = PLUS(x13,j13);
165f7167e0eSDag-Erling Smørgrav     x14 = PLUS(x14,j14);
166f7167e0eSDag-Erling Smørgrav     x15 = PLUS(x15,j15);
167f7167e0eSDag-Erling Smørgrav 
168f7167e0eSDag-Erling Smørgrav #ifndef KEYSTREAM_ONLY
169f7167e0eSDag-Erling Smørgrav     x0 = XOR(x0,U8TO32_LITTLE(m + 0));
170f7167e0eSDag-Erling Smørgrav     x1 = XOR(x1,U8TO32_LITTLE(m + 4));
171f7167e0eSDag-Erling Smørgrav     x2 = XOR(x2,U8TO32_LITTLE(m + 8));
172f7167e0eSDag-Erling Smørgrav     x3 = XOR(x3,U8TO32_LITTLE(m + 12));
173f7167e0eSDag-Erling Smørgrav     x4 = XOR(x4,U8TO32_LITTLE(m + 16));
174f7167e0eSDag-Erling Smørgrav     x5 = XOR(x5,U8TO32_LITTLE(m + 20));
175f7167e0eSDag-Erling Smørgrav     x6 = XOR(x6,U8TO32_LITTLE(m + 24));
176f7167e0eSDag-Erling Smørgrav     x7 = XOR(x7,U8TO32_LITTLE(m + 28));
177f7167e0eSDag-Erling Smørgrav     x8 = XOR(x8,U8TO32_LITTLE(m + 32));
178f7167e0eSDag-Erling Smørgrav     x9 = XOR(x9,U8TO32_LITTLE(m + 36));
179f7167e0eSDag-Erling Smørgrav     x10 = XOR(x10,U8TO32_LITTLE(m + 40));
180f7167e0eSDag-Erling Smørgrav     x11 = XOR(x11,U8TO32_LITTLE(m + 44));
181f7167e0eSDag-Erling Smørgrav     x12 = XOR(x12,U8TO32_LITTLE(m + 48));
182f7167e0eSDag-Erling Smørgrav     x13 = XOR(x13,U8TO32_LITTLE(m + 52));
183f7167e0eSDag-Erling Smørgrav     x14 = XOR(x14,U8TO32_LITTLE(m + 56));
184f7167e0eSDag-Erling Smørgrav     x15 = XOR(x15,U8TO32_LITTLE(m + 60));
185f7167e0eSDag-Erling Smørgrav #endif
186f7167e0eSDag-Erling Smørgrav 
187f7167e0eSDag-Erling Smørgrav     j12 = PLUSONE(j12);
188f7167e0eSDag-Erling Smørgrav     if (!j12) {
189f7167e0eSDag-Erling Smørgrav       j13 = PLUSONE(j13);
190f7167e0eSDag-Erling Smørgrav       /* stopping at 2^70 bytes per nonce is user's responsibility */
191f7167e0eSDag-Erling Smørgrav     }
192f7167e0eSDag-Erling Smørgrav 
193f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 0,x0);
194f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 4,x1);
195f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 8,x2);
196f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 12,x3);
197f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 16,x4);
198f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 20,x5);
199f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 24,x6);
200f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 28,x7);
201f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 32,x8);
202f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 36,x9);
203f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 40,x10);
204f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 44,x11);
205f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 48,x12);
206f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 52,x13);
207f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 56,x14);
208f7167e0eSDag-Erling Smørgrav     U32TO8_LITTLE(c + 60,x15);
209f7167e0eSDag-Erling Smørgrav 
210f7167e0eSDag-Erling Smørgrav     if (bytes <= 64) {
211f7167e0eSDag-Erling Smørgrav       if (bytes < 64) {
212f7167e0eSDag-Erling Smørgrav         for (i = 0;i < bytes;++i) ctarget[i] = c[i];
213f7167e0eSDag-Erling Smørgrav       }
214f7167e0eSDag-Erling Smørgrav       x->input[12] = j12;
215f7167e0eSDag-Erling Smørgrav       x->input[13] = j13;
216f7167e0eSDag-Erling Smørgrav       return;
217f7167e0eSDag-Erling Smørgrav     }
218f7167e0eSDag-Erling Smørgrav     bytes -= 64;
219f7167e0eSDag-Erling Smørgrav     c += 64;
220f7167e0eSDag-Erling Smørgrav #ifndef KEYSTREAM_ONLY
221f7167e0eSDag-Erling Smørgrav     m += 64;
222f7167e0eSDag-Erling Smørgrav #endif
223f7167e0eSDag-Erling Smørgrav   }
224f7167e0eSDag-Erling Smørgrav }
225