poly1305_donna_32.h 7.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252
  1. /*
  2. poly1305 implementation using 32 bit * 32 bit = 64 bit multiplication and 64 bit addition
  3. */
  4. #if defined(_MSC_VER)
  5. #define POLY1305_NOINLINE __declspec(noinline)
  6. #elif defined(__GNUC__)
  7. #define POLY1305_NOINLINE __attribute__((noinline))
  8. #else
  9. #define POLY1305_NOINLINE
  10. #endif
  11. #define poly1305_block_size 16
  12. /* 17 + sizeof(size_t) + 14*sizeof(unsigned long) */
  13. typedef struct poly1305_state_internal_t {
  14. unsigned long r[5];
  15. unsigned long h[5];
  16. unsigned long pad[4];
  17. size_t leftover;
  18. unsigned char buffer[poly1305_block_size];
  19. unsigned char final;
  20. } poly1305_state_internal_t;
  21. /* interpret four 8 bit unsigned integers as a 32 bit unsigned integer in little endian */
  22. static unsigned long U8TO32(const unsigned char* p) {
  23. return (
  24. ((unsigned long)(p[0] & 0xff)) | ((unsigned long)(p[1] & 0xff) << 8) |
  25. ((unsigned long)(p[2] & 0xff) << 16) | ((unsigned long)(p[3] & 0xff) << 24));
  26. }
  27. /* store a 32 bit unsigned integer as four 8 bit unsigned integers in little endian */
  28. static void U32TO8(unsigned char* p, unsigned long v) {
  29. p[0] = (v)&0xff;
  30. p[1] = (v >> 8) & 0xff;
  31. p[2] = (v >> 16) & 0xff;
  32. p[3] = (v >> 24) & 0xff;
  33. }
  34. void poly1305_init(poly1305_context* ctx, const unsigned char key[32]) {
  35. poly1305_state_internal_t* st = (poly1305_state_internal_t*)ctx;
  36. /* r &= 0xffffffc0ffffffc0ffffffc0fffffff */
  37. st->r[0] = (U8TO32(&key[0])) & 0x3ffffff;
  38. st->r[1] = (U8TO32(&key[3]) >> 2) & 0x3ffff03;
  39. st->r[2] = (U8TO32(&key[6]) >> 4) & 0x3ffc0ff;
  40. st->r[3] = (U8TO32(&key[9]) >> 6) & 0x3f03fff;
  41. st->r[4] = (U8TO32(&key[12]) >> 8) & 0x00fffff;
  42. /* h = 0 */
  43. st->h[0] = 0;
  44. st->h[1] = 0;
  45. st->h[2] = 0;
  46. st->h[3] = 0;
  47. st->h[4] = 0;
  48. /* save pad for later */
  49. st->pad[0] = U8TO32(&key[16]);
  50. st->pad[1] = U8TO32(&key[20]);
  51. st->pad[2] = U8TO32(&key[24]);
  52. st->pad[3] = U8TO32(&key[28]);
  53. st->leftover = 0;
  54. st->final = 0;
  55. }
  56. static void poly1305_blocks(poly1305_state_internal_t* st, const unsigned char* m, size_t bytes) {
  57. const unsigned long hibit = (st->final) ? 0 : (1UL << 24); /* 1 << 128 */
  58. unsigned long r0, r1, r2, r3, r4;
  59. unsigned long s1, s2, s3, s4;
  60. unsigned long h0, h1, h2, h3, h4;
  61. unsigned long long d0, d1, d2, d3, d4;
  62. unsigned long c;
  63. r0 = st->r[0];
  64. r1 = st->r[1];
  65. r2 = st->r[2];
  66. r3 = st->r[3];
  67. r4 = st->r[4];
  68. s1 = r1 * 5;
  69. s2 = r2 * 5;
  70. s3 = r3 * 5;
  71. s4 = r4 * 5;
  72. h0 = st->h[0];
  73. h1 = st->h[1];
  74. h2 = st->h[2];
  75. h3 = st->h[3];
  76. h4 = st->h[4];
  77. while(bytes >= poly1305_block_size) {
  78. /* h += m[i] */
  79. h0 += (U8TO32(m + 0)) & 0x3ffffff;
  80. h1 += (U8TO32(m + 3) >> 2) & 0x3ffffff;
  81. h2 += (U8TO32(m + 6) >> 4) & 0x3ffffff;
  82. h3 += (U8TO32(m + 9) >> 6) & 0x3ffffff;
  83. h4 += (U8TO32(m + 12) >> 8) | hibit;
  84. /* h *= r */
  85. d0 = ((unsigned long long)h0 * r0) + ((unsigned long long)h1 * s4) +
  86. ((unsigned long long)h2 * s3) + ((unsigned long long)h3 * s2) +
  87. ((unsigned long long)h4 * s1);
  88. d1 = ((unsigned long long)h0 * r1) + ((unsigned long long)h1 * r0) +
  89. ((unsigned long long)h2 * s4) + ((unsigned long long)h3 * s3) +
  90. ((unsigned long long)h4 * s2);
  91. d2 = ((unsigned long long)h0 * r2) + ((unsigned long long)h1 * r1) +
  92. ((unsigned long long)h2 * r0) + ((unsigned long long)h3 * s4) +
  93. ((unsigned long long)h4 * s3);
  94. d3 = ((unsigned long long)h0 * r3) + ((unsigned long long)h1 * r2) +
  95. ((unsigned long long)h2 * r1) + ((unsigned long long)h3 * r0) +
  96. ((unsigned long long)h4 * s4);
  97. d4 = ((unsigned long long)h0 * r4) + ((unsigned long long)h1 * r3) +
  98. ((unsigned long long)h2 * r2) + ((unsigned long long)h3 * r1) +
  99. ((unsigned long long)h4 * r0);
  100. /* (partial) h %= p */
  101. c = (unsigned long)(d0 >> 26);
  102. h0 = (unsigned long)d0 & 0x3ffffff;
  103. d1 += c;
  104. c = (unsigned long)(d1 >> 26);
  105. h1 = (unsigned long)d1 & 0x3ffffff;
  106. d2 += c;
  107. c = (unsigned long)(d2 >> 26);
  108. h2 = (unsigned long)d2 & 0x3ffffff;
  109. d3 += c;
  110. c = (unsigned long)(d3 >> 26);
  111. h3 = (unsigned long)d3 & 0x3ffffff;
  112. d4 += c;
  113. c = (unsigned long)(d4 >> 26);
  114. h4 = (unsigned long)d4 & 0x3ffffff;
  115. h0 += c * 5;
  116. c = (h0 >> 26);
  117. h0 = h0 & 0x3ffffff;
  118. h1 += c;
  119. m += poly1305_block_size;
  120. bytes -= poly1305_block_size;
  121. }
  122. st->h[0] = h0;
  123. st->h[1] = h1;
  124. st->h[2] = h2;
  125. st->h[3] = h3;
  126. st->h[4] = h4;
  127. }
  128. POLY1305_NOINLINE void poly1305_finish(poly1305_context* ctx, unsigned char mac[16]) {
  129. poly1305_state_internal_t* st = (poly1305_state_internal_t*)ctx;
  130. unsigned long h0, h1, h2, h3, h4, c;
  131. unsigned long g0, g1, g2, g3, g4;
  132. unsigned long long f;
  133. unsigned long mask;
  134. /* process the remaining block */
  135. if(st->leftover) {
  136. size_t i = st->leftover;
  137. st->buffer[i++] = 1;
  138. for(; i < poly1305_block_size; i++) st->buffer[i] = 0;
  139. st->final = 1;
  140. poly1305_blocks(st, st->buffer, poly1305_block_size);
  141. }
  142. /* fully carry h */
  143. h0 = st->h[0];
  144. h1 = st->h[1];
  145. h2 = st->h[2];
  146. h3 = st->h[3];
  147. h4 = st->h[4];
  148. c = h1 >> 26;
  149. h1 = h1 & 0x3ffffff;
  150. h2 += c;
  151. c = h2 >> 26;
  152. h2 = h2 & 0x3ffffff;
  153. h3 += c;
  154. c = h3 >> 26;
  155. h3 = h3 & 0x3ffffff;
  156. h4 += c;
  157. c = h4 >> 26;
  158. h4 = h4 & 0x3ffffff;
  159. h0 += c * 5;
  160. c = h0 >> 26;
  161. h0 = h0 & 0x3ffffff;
  162. h1 += c;
  163. /* compute h + -p */
  164. g0 = h0 + 5;
  165. c = g0 >> 26;
  166. g0 &= 0x3ffffff;
  167. g1 = h1 + c;
  168. c = g1 >> 26;
  169. g1 &= 0x3ffffff;
  170. g2 = h2 + c;
  171. c = g2 >> 26;
  172. g2 &= 0x3ffffff;
  173. g3 = h3 + c;
  174. c = g3 >> 26;
  175. g3 &= 0x3ffffff;
  176. g4 = h4 + c - (1UL << 26);
  177. /* select h if h < p, or h + -p if h >= p */
  178. mask = (g4 >> ((sizeof(unsigned long) * 8) - 1)) - 1;
  179. g0 &= mask;
  180. g1 &= mask;
  181. g2 &= mask;
  182. g3 &= mask;
  183. g4 &= mask;
  184. mask = ~mask;
  185. h0 = (h0 & mask) | g0;
  186. h1 = (h1 & mask) | g1;
  187. h2 = (h2 & mask) | g2;
  188. h3 = (h3 & mask) | g3;
  189. h4 = (h4 & mask) | g4;
  190. /* h = h % (2^128) */
  191. h0 = ((h0) | (h1 << 26)) & 0xffffffff;
  192. h1 = ((h1 >> 6) | (h2 << 20)) & 0xffffffff;
  193. h2 = ((h2 >> 12) | (h3 << 14)) & 0xffffffff;
  194. h3 = ((h3 >> 18) | (h4 << 8)) & 0xffffffff;
  195. /* mac = (h + pad) % (2^128) */
  196. f = (unsigned long long)h0 + st->pad[0];
  197. h0 = (unsigned long)f;
  198. f = (unsigned long long)h1 + st->pad[1] + (f >> 32);
  199. h1 = (unsigned long)f;
  200. f = (unsigned long long)h2 + st->pad[2] + (f >> 32);
  201. h2 = (unsigned long)f;
  202. f = (unsigned long long)h3 + st->pad[3] + (f >> 32);
  203. h3 = (unsigned long)f;
  204. U32TO8(mac + 0, h0);
  205. U32TO8(mac + 4, h1);
  206. U32TO8(mac + 8, h2);
  207. U32TO8(mac + 12, h3);
  208. /* zero out the state */
  209. st->h[0] = 0;
  210. st->h[1] = 0;
  211. st->h[2] = 0;
  212. st->h[3] = 0;
  213. st->h[4] = 0;
  214. st->r[0] = 0;
  215. st->r[1] = 0;
  216. st->r[2] = 0;
  217. st->r[3] = 0;
  218. st->r[4] = 0;
  219. st->pad[0] = 0;
  220. st->pad[1] = 0;
  221. st->pad[2] = 0;
  222. st->pad[3] = 0;
  223. }