1*04171cfcSAugustin Cavalier /* $OpenBSD: sha1.c,v 1.11 2014/12/28 10:04:35 tedu Exp $ */
2*04171cfcSAugustin Cavalier
3*04171cfcSAugustin Cavalier /*
4*04171cfcSAugustin Cavalier * SHA-1 in C
5*04171cfcSAugustin Cavalier * By Steve Reid <steve@edmweb.com>
6*04171cfcSAugustin Cavalier * 100% Public Domain
7*04171cfcSAugustin Cavalier *
8*04171cfcSAugustin Cavalier * Test Vectors (from FIPS PUB 180-1)
9*04171cfcSAugustin Cavalier * "abc"
10*04171cfcSAugustin Cavalier * A9993E36 4706816A BA3E2571 7850C26C 9CD0D89D
11*04171cfcSAugustin Cavalier * "abcdbcdecdefdefgefghfghighijhijkijkljklmklmnlmnomnopnopq"
12*04171cfcSAugustin Cavalier * 84983E44 1C3BD26E BAAE4AA1 F95129E5 E54670F1
13*04171cfcSAugustin Cavalier * A million repetitions of "a"
14*04171cfcSAugustin Cavalier * 34AA973C D4C4DAA4 F61EEB2B DBAD2731 6534016F
15*04171cfcSAugustin Cavalier */
16*04171cfcSAugustin Cavalier
17*04171cfcSAugustin Cavalier /* #define LITTLE_ENDIAN * This should be #define'd already, if true. */
18*04171cfcSAugustin Cavalier /* #define SHA1HANDSOFF * Copies data before messing with it. */
19*04171cfcSAugustin Cavalier
20*04171cfcSAugustin Cavalier #define SHA1HANDSOFF
21*04171cfcSAugustin Cavalier
22*04171cfcSAugustin Cavalier #include <sys/param.h>
23*04171cfcSAugustin Cavalier #include <sys/systm.h>
24*04171cfcSAugustin Cavalier
25*04171cfcSAugustin Cavalier #include <crypto/sha1.h>
26*04171cfcSAugustin Cavalier
27*04171cfcSAugustin Cavalier #define rol(value, bits) (((value) << (bits)) | ((value) >> (32 - (bits))))
28*04171cfcSAugustin Cavalier
29*04171cfcSAugustin Cavalier /* blk0() and blk() perform the initial expand. */
30*04171cfcSAugustin Cavalier /* I got the idea of expanding during the round function from SSLeay */
31*04171cfcSAugustin Cavalier #if BYTE_ORDER == LITTLE_ENDIAN
32*04171cfcSAugustin Cavalier #define blk0(i) (block->l[i] = (rol(block->l[i],24)&0xFF00FF00) \
33*04171cfcSAugustin Cavalier |(rol(block->l[i],8)&0x00FF00FF))
34*04171cfcSAugustin Cavalier #else
35*04171cfcSAugustin Cavalier #define blk0(i) block->l[i]
36*04171cfcSAugustin Cavalier #endif
37*04171cfcSAugustin Cavalier #define blk(i) (block->l[i&15] = rol(block->l[(i+13)&15]^block->l[(i+8)&15] \
38*04171cfcSAugustin Cavalier ^block->l[(i+2)&15]^block->l[i&15],1))
39*04171cfcSAugustin Cavalier
40*04171cfcSAugustin Cavalier /* (R0+R1), R2, R3, R4 are the different operations used in SHA1 */
41*04171cfcSAugustin Cavalier #define R0(v,w,x,y,z,i) z+=((w&(x^y))^y)+blk0(i)+0x5A827999+rol(v,5);w=rol(w,30);
42*04171cfcSAugustin Cavalier #define R1(v,w,x,y,z,i) z+=((w&(x^y))^y)+blk(i)+0x5A827999+rol(v,5);w=rol(w,30);
43*04171cfcSAugustin Cavalier #define R2(v,w,x,y,z,i) z+=(w^x^y)+blk(i)+0x6ED9EBA1+rol(v,5);w=rol(w,30);
44*04171cfcSAugustin Cavalier #define R3(v,w,x,y,z,i) z+=(((w|x)&y)|(w&x))+blk(i)+0x8F1BBCDC+rol(v,5);w=rol(w,30);
45*04171cfcSAugustin Cavalier #define R4(v,w,x,y,z,i) z+=(w^x^y)+blk(i)+0xCA62C1D6+rol(v,5);w=rol(w,30);
46*04171cfcSAugustin Cavalier
47*04171cfcSAugustin Cavalier /* Hash a single 512-bit block. This is the core of the algorithm. */
48*04171cfcSAugustin Cavalier
49*04171cfcSAugustin Cavalier void
SHA1Transform(u_int32_t state[5],const unsigned char buffer[SHA1_BLOCK_LENGTH])50*04171cfcSAugustin Cavalier SHA1Transform(u_int32_t state[5], const unsigned char buffer[SHA1_BLOCK_LENGTH])
51*04171cfcSAugustin Cavalier {
52*04171cfcSAugustin Cavalier u_int32_t a, b, c, d, e;
53*04171cfcSAugustin Cavalier typedef union {
54*04171cfcSAugustin Cavalier unsigned char c[64];
55*04171cfcSAugustin Cavalier unsigned int l[16];
56*04171cfcSAugustin Cavalier } CHAR64LONG16;
57*04171cfcSAugustin Cavalier CHAR64LONG16* block;
58*04171cfcSAugustin Cavalier #ifdef SHA1HANDSOFF
59*04171cfcSAugustin Cavalier unsigned char workspace[SHA1_BLOCK_LENGTH];
60*04171cfcSAugustin Cavalier
61*04171cfcSAugustin Cavalier block = (CHAR64LONG16 *)workspace;
62*04171cfcSAugustin Cavalier memcpy(block, buffer, SHA1_BLOCK_LENGTH);
63*04171cfcSAugustin Cavalier #else
64*04171cfcSAugustin Cavalier block = (CHAR64LONG16 *)buffer;
65*04171cfcSAugustin Cavalier #endif
66*04171cfcSAugustin Cavalier /* Copy context->state[] to working vars */
67*04171cfcSAugustin Cavalier a = state[0];
68*04171cfcSAugustin Cavalier b = state[1];
69*04171cfcSAugustin Cavalier c = state[2];
70*04171cfcSAugustin Cavalier d = state[3];
71*04171cfcSAugustin Cavalier e = state[4];
72*04171cfcSAugustin Cavalier
73*04171cfcSAugustin Cavalier /* 4 rounds of 20 operations each. Loop unrolled. */
74*04171cfcSAugustin Cavalier R0(a,b,c,d,e, 0); R0(e,a,b,c,d, 1); R0(d,e,a,b,c, 2); R0(c,d,e,a,b, 3);
75*04171cfcSAugustin Cavalier R0(b,c,d,e,a, 4); R0(a,b,c,d,e, 5); R0(e,a,b,c,d, 6); R0(d,e,a,b,c, 7);
76*04171cfcSAugustin Cavalier R0(c,d,e,a,b, 8); R0(b,c,d,e,a, 9); R0(a,b,c,d,e,10); R0(e,a,b,c,d,11);
77*04171cfcSAugustin Cavalier R0(d,e,a,b,c,12); R0(c,d,e,a,b,13); R0(b,c,d,e,a,14); R0(a,b,c,d,e,15);
78*04171cfcSAugustin Cavalier R1(e,a,b,c,d,16); R1(d,e,a,b,c,17); R1(c,d,e,a,b,18); R1(b,c,d,e,a,19);
79*04171cfcSAugustin Cavalier R2(a,b,c,d,e,20); R2(e,a,b,c,d,21); R2(d,e,a,b,c,22); R2(c,d,e,a,b,23);
80*04171cfcSAugustin Cavalier R2(b,c,d,e,a,24); R2(a,b,c,d,e,25); R2(e,a,b,c,d,26); R2(d,e,a,b,c,27);
81*04171cfcSAugustin Cavalier R2(c,d,e,a,b,28); R2(b,c,d,e,a,29); R2(a,b,c,d,e,30); R2(e,a,b,c,d,31);
82*04171cfcSAugustin Cavalier R2(d,e,a,b,c,32); R2(c,d,e,a,b,33); R2(b,c,d,e,a,34); R2(a,b,c,d,e,35);
83*04171cfcSAugustin Cavalier R2(e,a,b,c,d,36); R2(d,e,a,b,c,37); R2(c,d,e,a,b,38); R2(b,c,d,e,a,39);
84*04171cfcSAugustin Cavalier R3(a,b,c,d,e,40); R3(e,a,b,c,d,41); R3(d,e,a,b,c,42); R3(c,d,e,a,b,43);
85*04171cfcSAugustin Cavalier R3(b,c,d,e,a,44); R3(a,b,c,d,e,45); R3(e,a,b,c,d,46); R3(d,e,a,b,c,47);
86*04171cfcSAugustin Cavalier R3(c,d,e,a,b,48); R3(b,c,d,e,a,49); R3(a,b,c,d,e,50); R3(e,a,b,c,d,51);
87*04171cfcSAugustin Cavalier R3(d,e,a,b,c,52); R3(c,d,e,a,b,53); R3(b,c,d,e,a,54); R3(a,b,c,d,e,55);
88*04171cfcSAugustin Cavalier R3(e,a,b,c,d,56); R3(d,e,a,b,c,57); R3(c,d,e,a,b,58); R3(b,c,d,e,a,59);
89*04171cfcSAugustin Cavalier R4(a,b,c,d,e,60); R4(e,a,b,c,d,61); R4(d,e,a,b,c,62); R4(c,d,e,a,b,63);
90*04171cfcSAugustin Cavalier R4(b,c,d,e,a,64); R4(a,b,c,d,e,65); R4(e,a,b,c,d,66); R4(d,e,a,b,c,67);
91*04171cfcSAugustin Cavalier R4(c,d,e,a,b,68); R4(b,c,d,e,a,69); R4(a,b,c,d,e,70); R4(e,a,b,c,d,71);
92*04171cfcSAugustin Cavalier R4(d,e,a,b,c,72); R4(c,d,e,a,b,73); R4(b,c,d,e,a,74); R4(a,b,c,d,e,75);
93*04171cfcSAugustin Cavalier R4(e,a,b,c,d,76); R4(d,e,a,b,c,77); R4(c,d,e,a,b,78); R4(b,c,d,e,a,79);
94*04171cfcSAugustin Cavalier
95*04171cfcSAugustin Cavalier /* Add the working vars back into context.state[] */
96*04171cfcSAugustin Cavalier state[0] += a;
97*04171cfcSAugustin Cavalier state[1] += b;
98*04171cfcSAugustin Cavalier state[2] += c;
99*04171cfcSAugustin Cavalier state[3] += d;
100*04171cfcSAugustin Cavalier state[4] += e;
101*04171cfcSAugustin Cavalier /* Wipe variables */
102*04171cfcSAugustin Cavalier a = b = c = d = e = 0;
103*04171cfcSAugustin Cavalier }
104*04171cfcSAugustin Cavalier
105*04171cfcSAugustin Cavalier
106*04171cfcSAugustin Cavalier /* SHA1Init - Initialize new context */
107*04171cfcSAugustin Cavalier
108*04171cfcSAugustin Cavalier void
SHA1Init(SHA1_CTX * context)109*04171cfcSAugustin Cavalier SHA1Init(SHA1_CTX *context)
110*04171cfcSAugustin Cavalier {
111*04171cfcSAugustin Cavalier /* SHA1 initialization constants */
112*04171cfcSAugustin Cavalier context->count = 0;
113*04171cfcSAugustin Cavalier context->state[0] = 0x67452301;
114*04171cfcSAugustin Cavalier context->state[1] = 0xEFCDAB89;
115*04171cfcSAugustin Cavalier context->state[2] = 0x98BADCFE;
116*04171cfcSAugustin Cavalier context->state[3] = 0x10325476;
117*04171cfcSAugustin Cavalier context->state[4] = 0xC3D2E1F0;
118*04171cfcSAugustin Cavalier }
119*04171cfcSAugustin Cavalier
120*04171cfcSAugustin Cavalier
121*04171cfcSAugustin Cavalier /* Run your data through this. */
122*04171cfcSAugustin Cavalier
123*04171cfcSAugustin Cavalier void
SHA1Update(SHA1_CTX * context,const void * dataptr,unsigned int len)124*04171cfcSAugustin Cavalier SHA1Update(SHA1_CTX *context, const void *dataptr, unsigned int len)
125*04171cfcSAugustin Cavalier {
126*04171cfcSAugustin Cavalier const uint8_t *data = dataptr;
127*04171cfcSAugustin Cavalier unsigned int i;
128*04171cfcSAugustin Cavalier unsigned int j;
129*04171cfcSAugustin Cavalier
130*04171cfcSAugustin Cavalier j = (u_int32_t)((context->count >> 3) & 63);
131*04171cfcSAugustin Cavalier context->count += (len << 3);
132*04171cfcSAugustin Cavalier if ((j + len) > 63) {
133*04171cfcSAugustin Cavalier memcpy(&context->buffer[j], data, (i = 64 - j));
134*04171cfcSAugustin Cavalier SHA1Transform(context->state, context->buffer);
135*04171cfcSAugustin Cavalier for ( ; i + 63 < len; i += 64) {
136*04171cfcSAugustin Cavalier SHA1Transform(context->state, &data[i]);
137*04171cfcSAugustin Cavalier }
138*04171cfcSAugustin Cavalier j = 0;
139*04171cfcSAugustin Cavalier }
140*04171cfcSAugustin Cavalier else i = 0;
141*04171cfcSAugustin Cavalier memcpy(&context->buffer[j], &data[i], len - i);
142*04171cfcSAugustin Cavalier }
143*04171cfcSAugustin Cavalier
144*04171cfcSAugustin Cavalier
145*04171cfcSAugustin Cavalier /* Add padding and return the message digest. */
146*04171cfcSAugustin Cavalier
147*04171cfcSAugustin Cavalier void
SHA1Final(unsigned char digest[SHA1_DIGEST_LENGTH],SHA1_CTX * context)148*04171cfcSAugustin Cavalier SHA1Final(unsigned char digest[SHA1_DIGEST_LENGTH], SHA1_CTX *context)
149*04171cfcSAugustin Cavalier {
150*04171cfcSAugustin Cavalier unsigned int i;
151*04171cfcSAugustin Cavalier unsigned char finalcount[8];
152*04171cfcSAugustin Cavalier
153*04171cfcSAugustin Cavalier for (i = 0; i < 8; i++) {
154*04171cfcSAugustin Cavalier finalcount[i] = (unsigned char)((context->count >>
155*04171cfcSAugustin Cavalier ((7 - (i & 7)) * 8)) & 255); /* Endian independent */
156*04171cfcSAugustin Cavalier }
157*04171cfcSAugustin Cavalier SHA1Update(context, "\200", 1);
158*04171cfcSAugustin Cavalier while ((context->count & 504) != 448) {
159*04171cfcSAugustin Cavalier SHA1Update(context, "\0", 1);
160*04171cfcSAugustin Cavalier }
161*04171cfcSAugustin Cavalier SHA1Update(context, finalcount, 8); /* Should cause a SHA1Transform() */
162*04171cfcSAugustin Cavalier
163*04171cfcSAugustin Cavalier for (i = 0; i < SHA1_DIGEST_LENGTH; i++) {
164*04171cfcSAugustin Cavalier digest[i] = (unsigned char)((context->state[i >> 2] >>
165*04171cfcSAugustin Cavalier ((3 - (i & 3)) * 8)) & 255);
166*04171cfcSAugustin Cavalier }
167*04171cfcSAugustin Cavalier explicit_bzero(&finalcount, sizeof(finalcount));
168*04171cfcSAugustin Cavalier explicit_bzero(context, sizeof(*context));
169*04171cfcSAugustin Cavalier }
170