2 * random.c: Internal random number generator, guaranteed to work
3 * the same way on all platforms. Used when generating an initial
4 * game state from a random game seed; required to ensure that game
5 * seeds can be exchanged between versions of a puzzle compiled for
8 * The generator is based on SHA-1. This is almost certainly
9 * overkill, but I had the SHA-1 code kicking around and it was
10 * easier to reuse it than to do anything else!
19 /* ----------------------------------------------------------------------
20 * Core SHA algorithm: processes 16-word blocks into a message digest.
23 #define rol(x,y) ( ((x) << (y)) | (((uint32)x) >> (32-y)) )
25 static void SHA_Core_Init(uint32 h[5])
34 static void SHATransform(uint32 * digest, uint32 * block)
40 for (t = 0; t < 16; t++)
43 for (t = 16; t < 80; t++) {
44 uint32 tmp = w[t - 3] ^ w[t - 8] ^ w[t - 14] ^ w[t - 16];
54 for (t = 0; t < 20; t++) {
56 rol(a, 5) + ((b & c) | (d & ~b)) + e + w[t] + 0x5a827999;
63 for (t = 20; t < 40; t++) {
64 uint32 tmp = rol(a, 5) + (b ^ c ^ d) + e + w[t] + 0x6ed9eba1;
71 for (t = 40; t < 60; t++) {
73 5) + ((b & c) | (b & d) | (c & d)) + e + w[t] +
81 for (t = 60; t < 80; t++) {
82 uint32 tmp = rol(a, 5) + (b ^ c ^ d) + e + w[t] + 0xca62c1d6;
97 /* ----------------------------------------------------------------------
98 * Outer SHA algorithm: take an arbitrary length byte string,
99 * convert it into 16-word blocks with the prescribed padding at
100 * the end, and pass those blocks to the core SHA algorithm.
103 void SHA_Init(SHA_State * s)
107 s->lenhi = s->lenlo = 0;
110 void SHA_Bytes(SHA_State * s, const void *p, int len)
112 unsigned char *q = (unsigned char *) p;
113 uint32 wordblock[16];
118 * Update the length field.
121 s->lenhi += (s->lenlo < lenw);
123 if (s->blkused && s->blkused + len < 64) {
125 * Trivial case: just add to the block.
127 memcpy(s->block + s->blkused, q, len);
131 * We must complete and process at least one block.
133 while (s->blkused + len >= 64) {
134 memcpy(s->block + s->blkused, q, 64 - s->blkused);
135 q += 64 - s->blkused;
136 len -= 64 - s->blkused;
137 /* Now process the block. Gather bytes big-endian into words */
138 for (i = 0; i < 16; i++) {
140 (((uint32) s->block[i * 4 + 0]) << 24) |
141 (((uint32) s->block[i * 4 + 1]) << 16) |
142 (((uint32) s->block[i * 4 + 2]) << 8) |
143 (((uint32) s->block[i * 4 + 3]) << 0);
145 SHATransform(s->h, wordblock);
148 memcpy(s->block, q, len);
153 void SHA_Final(SHA_State * s, unsigned char *output)
160 if (s->blkused >= 56)
161 pad = 56 + 64 - s->blkused;
163 pad = 56 - s->blkused;
165 lenhi = (s->lenhi << 3) | (s->lenlo >> (32 - 3));
166 lenlo = (s->lenlo << 3);
170 SHA_Bytes(s, &c, pad);
172 c[0] = (unsigned char)((lenhi >> 24) & 0xFF);
173 c[1] = (unsigned char)((lenhi >> 16) & 0xFF);
174 c[2] = (unsigned char)((lenhi >> 8) & 0xFF);
175 c[3] = (unsigned char)((lenhi >> 0) & 0xFF);
176 c[4] = (unsigned char)((lenlo >> 24) & 0xFF);
177 c[5] = (unsigned char)((lenlo >> 16) & 0xFF);
178 c[6] = (unsigned char)((lenlo >> 8) & 0xFF);
179 c[7] = (unsigned char)((lenlo >> 0) & 0xFF);
183 for (i = 0; i < 5; i++) {
184 output[i * 4] = (unsigned char)((s->h[i] >> 24) & 0xFF);
185 output[i * 4 + 1] = (unsigned char)((s->h[i] >> 16) & 0xFF);
186 output[i * 4 + 2] = (unsigned char)((s->h[i] >> 8) & 0xFF);
187 output[i * 4 + 3] = (unsigned char)((s->h[i]) & 0xFF);
191 void SHA_Simple(const void *p, int len, unsigned char *output)
196 SHA_Bytes(&s, p, len);
197 SHA_Final(&s, output);
200 /* ----------------------------------------------------------------------
201 * The random number generator.
204 struct random_state {
205 unsigned char seedbuf[40];
206 unsigned char databuf[20];
210 random_state *random_new(const char *seed, int len)
214 state = snew(random_state);
216 SHA_Simple(seed, len, state->seedbuf);
217 SHA_Simple(state->seedbuf, 20, state->seedbuf + 20);
218 SHA_Simple(state->seedbuf, 40, state->databuf);
224 random_state *random_copy(random_state *tocopy)
226 random_state *result;
227 result = snew(random_state);
228 memcpy(result->seedbuf, tocopy->seedbuf, sizeof(result->seedbuf));
229 memcpy(result->databuf, tocopy->databuf, sizeof(result->databuf));
230 result->pos = tocopy->pos;
234 unsigned long random_bits(random_state *state, int bits)
236 unsigned long ret = 0;
239 for (n = 0; n < bits; n += 8) {
240 if (state->pos >= 20) {
243 for (i = 0; i < 20; i++) {
244 if (state->seedbuf[i] != 0xFF) {
248 state->seedbuf[i] = 0;
250 SHA_Simple(state->seedbuf, 40, state->databuf);
253 ret = (ret << 8) | state->databuf[state->pos++];
257 * `(1 << bits) - 1' is not good enough, since if bits==32 on a
258 * 32-bit machine, behaviour is undefined and Intel has a nasty
259 * habit of shifting left by zero instead. We'll shift by
260 * bits-1 and then separately shift by one.
262 ret &= (1 << (bits-1)) * 2 - 1;
266 unsigned long random_upto(random_state *state, unsigned long limit)
269 unsigned long max, divisor, data;
271 while ((limit >> bits) != 0)
278 divisor = max / limit;
279 max = limit * divisor;
282 data = random_bits(state, bits);
283 } while (data >= max);
285 return data / divisor;
288 void random_free(random_state *state)
293 char *random_state_encode(random_state *state)
298 for (i = 0; i < lenof(state->seedbuf); i++)
299 len += sprintf(retbuf+len, "%02x", state->seedbuf[i]);
300 for (i = 0; i < lenof(state->databuf); i++)
301 len += sprintf(retbuf+len, "%02x", state->databuf[i]);
302 len += sprintf(retbuf+len, "%02x", state->pos);
304 return dupstr(retbuf);
307 random_state *random_state_decode(const char *input)
310 int pos, byte, digits;
312 state = snew(random_state);
314 memset(state->seedbuf, 0, sizeof(state->seedbuf));
315 memset(state->databuf, 0, sizeof(state->databuf));
323 if (v >= '0' && v <= '9')
325 else if (v >= 'A' && v <= 'F')
327 else if (v >= 'a' && v <= 'f')
332 byte = (byte << 4) | v;
337 * We have a byte. Put it somewhere.
339 if (pos < lenof(state->seedbuf))
340 state->seedbuf[pos++] = byte;
341 else if (pos < lenof(state->seedbuf) + lenof(state->databuf))
342 state->databuf[pos++ - lenof(state->seedbuf)] = byte;
343 else if (pos == lenof(state->seedbuf) + lenof(state->databuf) &&
344 byte <= lenof(state->databuf))