/src/postgres/src/common/sha1.c
Line | Count | Source |
1 | | /*------------------------------------------------------------------------- |
2 | | * |
3 | | * sha1.c |
4 | | * Implements the SHA1 Secure Hash Algorithm |
5 | | * |
6 | | * Fallback implementation of SHA1, as specified in RFC 3174. |
7 | | * |
8 | | * Portions Copyright (c) 1996-2026, PostgreSQL Global Development Group |
9 | | * Portions Copyright (c) 1994, Regents of the University of California |
10 | | * |
11 | | * IDENTIFICATION |
12 | | * src/common/sha1.c |
13 | | * |
14 | | *------------------------------------------------------------------------- |
15 | | */ |
16 | | |
17 | | /* $KAME: sha1.c,v 1.3 2000/02/22 14:01:18 itojun Exp $ */ |
18 | | |
19 | | /* |
20 | | * Copyright (C) 1995, 1996, 1997, and 1998 WIDE Project. |
21 | | * All rights reserved. |
22 | | * |
23 | | * Redistribution and use in source and binary forms, with or without |
24 | | * modification, are permitted provided that the following conditions |
25 | | * are met: |
26 | | * 1. Redistributions of source code must retain the above copyright |
27 | | * notice, this list of conditions and the following disclaimer. |
28 | | * 2. Redistributions in binary form must reproduce the above copyright |
29 | | * notice, this list of conditions and the following disclaimer in the |
30 | | * documentation and/or other materials provided with the distribution. |
31 | | * 3. Neither the name of the project nor the names of its contributors |
32 | | * may be used to endorse or promote products derived from this software |
33 | | * without specific prior written permission. |
34 | | * |
35 | | * THIS SOFTWARE IS PROVIDED BY THE PROJECT AND CONTRIBUTORS ``AS IS'' AND |
36 | | * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
37 | | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
38 | | * ARE DISCLAIMED. IN NO EVENT SHALL THE PROJECT OR CONTRIBUTORS BE LIABLE |
39 | | * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL |
40 | | * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS |
41 | | * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) |
42 | | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT |
43 | | * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY |
44 | | * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF |
45 | | * SUCH DAMAGE. |
46 | | */ |
47 | | /* |
48 | | * FIPS pub 180-1: Secure Hash Algorithm (SHA-1) |
49 | | * based on: http://www.itl.nist.gov/fipspubs/fip180-1.htm |
50 | | * implemented by Jun-ichiro itojun Itoh <itojun@itojun.org> |
51 | | */ |
52 | | |
53 | | #ifndef FRONTEND |
54 | | #include "postgres.h" |
55 | | #else |
56 | | #include "postgres_fe.h" |
57 | | #endif |
58 | | |
59 | | #include <sys/param.h> |
60 | | |
61 | | #include "sha1_int.h" |
62 | | |
63 | | /* constant table */ |
64 | | static const uint32 _K[] = {0x5a827999, 0x6ed9eba1, 0x8f1bbcdc, 0xca62c1d6}; |
65 | | |
66 | 0 | #define K(t) _K[(t) / 20] |
67 | | |
68 | 0 | #define F0(b, c, d) (((b) & (c)) | ((~(b)) & (d))) |
69 | 0 | #define F1(b, c, d) (((b) ^ (c)) ^ (d)) |
70 | 0 | #define F2(b, c, d) (((b) & (c)) | ((b) & (d)) | ((c) & (d))) |
71 | 0 | #define F3(b, c, d) (((b) ^ (c)) ^ (d)) |
72 | | |
73 | 0 | #define S(n, x) (((x) << (n)) | ((x) >> (32 - (n)))) |
74 | | |
75 | 0 | #define H(n) (ctx->h.b32[(n)]) |
76 | 0 | #define COUNT (ctx->count) |
77 | | #define BCOUNT (ctx->c.b64[0] / 8) |
78 | 0 | #define W(n) (ctx->m.b32[(n)]) |
79 | | |
80 | 0 | #define PUTPAD(x) \ |
81 | 0 | do { \ |
82 | 0 | ctx->m.b8[(COUNT % 64)] = (x); \ |
83 | 0 | COUNT++; \ |
84 | 0 | COUNT %= 64; \ |
85 | 0 | if (COUNT % 64 == 0) \ |
86 | 0 | sha1_step(ctx); \ |
87 | 0 | } while (0) |
88 | | |
89 | | static void |
90 | | sha1_step(pg_sha1_ctx *ctx) |
91 | 0 | { |
92 | 0 | uint32 a, |
93 | 0 | b, |
94 | 0 | c, |
95 | 0 | d, |
96 | 0 | e; |
97 | 0 | size_t t, |
98 | 0 | s; |
99 | 0 | uint32 tmp; |
100 | |
|
101 | 0 | #ifndef WORDS_BIGENDIAN |
102 | 0 | pg_sha1_ctx tctx; |
103 | |
|
104 | 0 | memmove(&tctx.m.b8[0], &ctx->m.b8[0], 64); |
105 | 0 | ctx->m.b8[0] = tctx.m.b8[3]; |
106 | 0 | ctx->m.b8[1] = tctx.m.b8[2]; |
107 | 0 | ctx->m.b8[2] = tctx.m.b8[1]; |
108 | 0 | ctx->m.b8[3] = tctx.m.b8[0]; |
109 | 0 | ctx->m.b8[4] = tctx.m.b8[7]; |
110 | 0 | ctx->m.b8[5] = tctx.m.b8[6]; |
111 | 0 | ctx->m.b8[6] = tctx.m.b8[5]; |
112 | 0 | ctx->m.b8[7] = tctx.m.b8[4]; |
113 | 0 | ctx->m.b8[8] = tctx.m.b8[11]; |
114 | 0 | ctx->m.b8[9] = tctx.m.b8[10]; |
115 | 0 | ctx->m.b8[10] = tctx.m.b8[9]; |
116 | 0 | ctx->m.b8[11] = tctx.m.b8[8]; |
117 | 0 | ctx->m.b8[12] = tctx.m.b8[15]; |
118 | 0 | ctx->m.b8[13] = tctx.m.b8[14]; |
119 | 0 | ctx->m.b8[14] = tctx.m.b8[13]; |
120 | 0 | ctx->m.b8[15] = tctx.m.b8[12]; |
121 | 0 | ctx->m.b8[16] = tctx.m.b8[19]; |
122 | 0 | ctx->m.b8[17] = tctx.m.b8[18]; |
123 | 0 | ctx->m.b8[18] = tctx.m.b8[17]; |
124 | 0 | ctx->m.b8[19] = tctx.m.b8[16]; |
125 | 0 | ctx->m.b8[20] = tctx.m.b8[23]; |
126 | 0 | ctx->m.b8[21] = tctx.m.b8[22]; |
127 | 0 | ctx->m.b8[22] = tctx.m.b8[21]; |
128 | 0 | ctx->m.b8[23] = tctx.m.b8[20]; |
129 | 0 | ctx->m.b8[24] = tctx.m.b8[27]; |
130 | 0 | ctx->m.b8[25] = tctx.m.b8[26]; |
131 | 0 | ctx->m.b8[26] = tctx.m.b8[25]; |
132 | 0 | ctx->m.b8[27] = tctx.m.b8[24]; |
133 | 0 | ctx->m.b8[28] = tctx.m.b8[31]; |
134 | 0 | ctx->m.b8[29] = tctx.m.b8[30]; |
135 | 0 | ctx->m.b8[30] = tctx.m.b8[29]; |
136 | 0 | ctx->m.b8[31] = tctx.m.b8[28]; |
137 | 0 | ctx->m.b8[32] = tctx.m.b8[35]; |
138 | 0 | ctx->m.b8[33] = tctx.m.b8[34]; |
139 | 0 | ctx->m.b8[34] = tctx.m.b8[33]; |
140 | 0 | ctx->m.b8[35] = tctx.m.b8[32]; |
141 | 0 | ctx->m.b8[36] = tctx.m.b8[39]; |
142 | 0 | ctx->m.b8[37] = tctx.m.b8[38]; |
143 | 0 | ctx->m.b8[38] = tctx.m.b8[37]; |
144 | 0 | ctx->m.b8[39] = tctx.m.b8[36]; |
145 | 0 | ctx->m.b8[40] = tctx.m.b8[43]; |
146 | 0 | ctx->m.b8[41] = tctx.m.b8[42]; |
147 | 0 | ctx->m.b8[42] = tctx.m.b8[41]; |
148 | 0 | ctx->m.b8[43] = tctx.m.b8[40]; |
149 | 0 | ctx->m.b8[44] = tctx.m.b8[47]; |
150 | 0 | ctx->m.b8[45] = tctx.m.b8[46]; |
151 | 0 | ctx->m.b8[46] = tctx.m.b8[45]; |
152 | 0 | ctx->m.b8[47] = tctx.m.b8[44]; |
153 | 0 | ctx->m.b8[48] = tctx.m.b8[51]; |
154 | 0 | ctx->m.b8[49] = tctx.m.b8[50]; |
155 | 0 | ctx->m.b8[50] = tctx.m.b8[49]; |
156 | 0 | ctx->m.b8[51] = tctx.m.b8[48]; |
157 | 0 | ctx->m.b8[52] = tctx.m.b8[55]; |
158 | 0 | ctx->m.b8[53] = tctx.m.b8[54]; |
159 | 0 | ctx->m.b8[54] = tctx.m.b8[53]; |
160 | 0 | ctx->m.b8[55] = tctx.m.b8[52]; |
161 | 0 | ctx->m.b8[56] = tctx.m.b8[59]; |
162 | 0 | ctx->m.b8[57] = tctx.m.b8[58]; |
163 | 0 | ctx->m.b8[58] = tctx.m.b8[57]; |
164 | 0 | ctx->m.b8[59] = tctx.m.b8[56]; |
165 | 0 | ctx->m.b8[60] = tctx.m.b8[63]; |
166 | 0 | ctx->m.b8[61] = tctx.m.b8[62]; |
167 | 0 | ctx->m.b8[62] = tctx.m.b8[61]; |
168 | 0 | ctx->m.b8[63] = tctx.m.b8[60]; |
169 | 0 | #endif |
170 | |
|
171 | 0 | a = H(0); |
172 | 0 | b = H(1); |
173 | 0 | c = H(2); |
174 | 0 | d = H(3); |
175 | 0 | e = H(4); |
176 | |
|
177 | 0 | for (t = 0; t < 20; t++) |
178 | 0 | { |
179 | 0 | s = t & 0x0f; |
180 | 0 | if (t >= 16) |
181 | 0 | W(s) = S(1, W((s + 13) & 0x0f) ^ W((s + 8) & 0x0f) ^ W((s + 2) & 0x0f) ^ W(s)); |
182 | 0 | tmp = S(5, a) + F0(b, c, d) + e + W(s) + K(t); |
183 | 0 | e = d; |
184 | 0 | d = c; |
185 | 0 | c = S(30, b); |
186 | 0 | b = a; |
187 | 0 | a = tmp; |
188 | 0 | } |
189 | 0 | for (t = 20; t < 40; t++) |
190 | 0 | { |
191 | 0 | s = t & 0x0f; |
192 | 0 | W(s) = S(1, W((s + 13) & 0x0f) ^ W((s + 8) & 0x0f) ^ W((s + 2) & 0x0f) ^ W(s)); |
193 | 0 | tmp = S(5, a) + F1(b, c, d) + e + W(s) + K(t); |
194 | 0 | e = d; |
195 | 0 | d = c; |
196 | 0 | c = S(30, b); |
197 | 0 | b = a; |
198 | 0 | a = tmp; |
199 | 0 | } |
200 | 0 | for (t = 40; t < 60; t++) |
201 | 0 | { |
202 | 0 | s = t & 0x0f; |
203 | 0 | W(s) = S(1, W((s + 13) & 0x0f) ^ W((s + 8) & 0x0f) ^ W((s + 2) & 0x0f) ^ W(s)); |
204 | 0 | tmp = S(5, a) + F2(b, c, d) + e + W(s) + K(t); |
205 | 0 | e = d; |
206 | 0 | d = c; |
207 | 0 | c = S(30, b); |
208 | 0 | b = a; |
209 | 0 | a = tmp; |
210 | 0 | } |
211 | 0 | for (t = 60; t < 80; t++) |
212 | 0 | { |
213 | 0 | s = t & 0x0f; |
214 | 0 | W(s) = S(1, W((s + 13) & 0x0f) ^ W((s + 8) & 0x0f) ^ W((s + 2) & 0x0f) ^ W(s)); |
215 | 0 | tmp = S(5, a) + F3(b, c, d) + e + W(s) + K(t); |
216 | 0 | e = d; |
217 | 0 | d = c; |
218 | 0 | c = S(30, b); |
219 | 0 | b = a; |
220 | 0 | a = tmp; |
221 | 0 | } |
222 | |
|
223 | 0 | H(0) = H(0) + a; |
224 | 0 | H(1) = H(1) + b; |
225 | 0 | H(2) = H(2) + c; |
226 | 0 | H(3) = H(3) + d; |
227 | 0 | H(4) = H(4) + e; |
228 | |
|
229 | 0 | memset(&ctx->m.b8[0], 0, 64); |
230 | 0 | } |
231 | | |
232 | | static void |
233 | | sha1_pad(pg_sha1_ctx *ctx) |
234 | 0 | { |
235 | 0 | size_t padlen; /* pad length in bytes */ |
236 | 0 | size_t padstart; |
237 | |
|
238 | 0 | PUTPAD(0x80); |
239 | |
|
240 | 0 | padstart = COUNT % 64; |
241 | 0 | padlen = 64 - padstart; |
242 | 0 | if (padlen < 8) |
243 | 0 | { |
244 | 0 | memset(&ctx->m.b8[padstart], 0, padlen); |
245 | 0 | COUNT += padlen; |
246 | 0 | COUNT %= 64; |
247 | 0 | sha1_step(ctx); |
248 | 0 | padstart = COUNT % 64; /* should be 0 */ |
249 | 0 | padlen = 64 - padstart; /* should be 64 */ |
250 | 0 | } |
251 | 0 | memset(&ctx->m.b8[padstart], 0, padlen - 8); |
252 | 0 | COUNT += (padlen - 8); |
253 | 0 | COUNT %= 64; |
254 | | #ifdef WORDS_BIGENDIAN |
255 | | PUTPAD(ctx->c.b8[0]); |
256 | | PUTPAD(ctx->c.b8[1]); |
257 | | PUTPAD(ctx->c.b8[2]); |
258 | | PUTPAD(ctx->c.b8[3]); |
259 | | PUTPAD(ctx->c.b8[4]); |
260 | | PUTPAD(ctx->c.b8[5]); |
261 | | PUTPAD(ctx->c.b8[6]); |
262 | | PUTPAD(ctx->c.b8[7]); |
263 | | #else |
264 | 0 | PUTPAD(ctx->c.b8[7]); |
265 | 0 | PUTPAD(ctx->c.b8[6]); |
266 | 0 | PUTPAD(ctx->c.b8[5]); |
267 | 0 | PUTPAD(ctx->c.b8[4]); |
268 | 0 | PUTPAD(ctx->c.b8[3]); |
269 | 0 | PUTPAD(ctx->c.b8[2]); |
270 | 0 | PUTPAD(ctx->c.b8[1]); |
271 | 0 | PUTPAD(ctx->c.b8[0]); |
272 | 0 | #endif |
273 | 0 | } |
274 | | |
275 | | static void |
276 | | sha1_result(uint8 *digest0, pg_sha1_ctx *ctx) |
277 | 0 | { |
278 | 0 | uint8 *digest; |
279 | |
|
280 | 0 | digest = digest0; |
281 | |
|
282 | | #ifdef WORDS_BIGENDIAN |
283 | | memmove(digest, &ctx->h.b8[0], 20); |
284 | | #else |
285 | 0 | digest[0] = ctx->h.b8[3]; |
286 | 0 | digest[1] = ctx->h.b8[2]; |
287 | 0 | digest[2] = ctx->h.b8[1]; |
288 | 0 | digest[3] = ctx->h.b8[0]; |
289 | 0 | digest[4] = ctx->h.b8[7]; |
290 | 0 | digest[5] = ctx->h.b8[6]; |
291 | 0 | digest[6] = ctx->h.b8[5]; |
292 | 0 | digest[7] = ctx->h.b8[4]; |
293 | 0 | digest[8] = ctx->h.b8[11]; |
294 | 0 | digest[9] = ctx->h.b8[10]; |
295 | 0 | digest[10] = ctx->h.b8[9]; |
296 | 0 | digest[11] = ctx->h.b8[8]; |
297 | 0 | digest[12] = ctx->h.b8[15]; |
298 | 0 | digest[13] = ctx->h.b8[14]; |
299 | 0 | digest[14] = ctx->h.b8[13]; |
300 | 0 | digest[15] = ctx->h.b8[12]; |
301 | 0 | digest[16] = ctx->h.b8[19]; |
302 | 0 | digest[17] = ctx->h.b8[18]; |
303 | 0 | digest[18] = ctx->h.b8[17]; |
304 | 0 | digest[19] = ctx->h.b8[16]; |
305 | 0 | #endif |
306 | 0 | } |
307 | | |
308 | | /* External routines for this SHA1 implementation */ |
309 | | |
310 | | /* |
311 | | * pg_sha1_init |
312 | | * |
313 | | * Initialize a SHA1 context. |
314 | | */ |
315 | | void |
316 | | pg_sha1_init(pg_sha1_ctx *ctx) |
317 | 0 | { |
318 | 0 | memset(ctx, 0, sizeof(pg_sha1_ctx)); |
319 | 0 | H(0) = 0x67452301; |
320 | 0 | H(1) = 0xefcdab89; |
321 | 0 | H(2) = 0x98badcfe; |
322 | 0 | H(3) = 0x10325476; |
323 | 0 | H(4) = 0xc3d2e1f0; |
324 | 0 | } |
325 | | |
326 | | /* |
327 | | * pg_sha1_update |
328 | | * |
329 | | * Update a SHA1 context. |
330 | | */ |
331 | | void |
332 | | pg_sha1_update(pg_sha1_ctx *ctx, const uint8 *data, size_t len) |
333 | 0 | { |
334 | 0 | const uint8 *input; |
335 | 0 | size_t gaplen; |
336 | 0 | size_t gapstart; |
337 | 0 | size_t off; |
338 | 0 | size_t copysiz; |
339 | |
|
340 | 0 | input = data; |
341 | 0 | off = 0; |
342 | |
|
343 | 0 | while (off < len) |
344 | 0 | { |
345 | 0 | gapstart = COUNT % 64; |
346 | 0 | gaplen = 64 - gapstart; |
347 | |
|
348 | 0 | copysiz = (gaplen < len - off) ? gaplen : len - off; |
349 | 0 | memmove(&ctx->m.b8[gapstart], &input[off], copysiz); |
350 | 0 | COUNT += copysiz; |
351 | 0 | COUNT %= 64; |
352 | 0 | ctx->c.b64[0] += copysiz * 8; |
353 | 0 | if (COUNT % 64 == 0) |
354 | 0 | sha1_step(ctx); |
355 | 0 | off += copysiz; |
356 | 0 | } |
357 | 0 | } |
358 | | |
359 | | /* |
360 | | * pg_sha1_final |
361 | | * |
362 | | * Finalize a SHA1 context. |
363 | | */ |
364 | | void |
365 | | pg_sha1_final(pg_sha1_ctx *ctx, uint8 *dest) |
366 | 0 | { |
367 | 0 | sha1_pad(ctx); |
368 | 0 | sha1_result(dest, ctx); |
369 | 0 | } |