Poly1305.swift 8.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305
  1. //
  2. // Poly1305.swift
  3. // CryptoSwift
  4. //
  5. // Created by Marcin Krzyzanowski on 30/08/14.
  6. // Copyright (c) 2014 Marcin Krzyzanowski. All rights reserved.
  7. //
  8. // http://tools.ietf.org/html/draft-agl-tls-chacha20poly1305-04#section-4
  9. //
  10. // Poly1305 takes a 32-byte, one-time key and a message and produces a 16-byte tag that authenticates the
  11. // message such that an attacker has a negligible chance of producing a valid tag for an inauthentic message.
  12. import Foundation
  13. final public class Poly1305 {
  14. let blockSize = 16
  15. private var ctx:Context?
  16. private class Context {
  17. var r = [UInt8](count: 17, repeatedValue: 0)
  18. var h = [UInt8](count: 17, repeatedValue: 0)
  19. var pad = [UInt8](count: 17, repeatedValue: 0)
  20. var buffer = [UInt8](count: 16, repeatedValue: 0)
  21. var final:UInt8 = 0
  22. var leftover:Int = 0
  23. init?(_ key: [UInt8]) {
  24. assert(key.count == 32,"Invalid key length");
  25. if (key.count != 32) {
  26. return nil;
  27. }
  28. for i in 0..<17 {
  29. h[i] = 0
  30. }
  31. r[0] = key[0] & 0xff;
  32. r[1] = key[1] & 0xff;
  33. r[2] = key[2] & 0xff;
  34. r[3] = key[3] & 0x0f;
  35. r[4] = key[4] & 0xfc;
  36. r[5] = key[5] & 0xff;
  37. r[6] = key[6] & 0xff;
  38. r[7] = key[7] & 0x0f;
  39. r[8] = key[8] & 0xfc;
  40. r[9] = key[9] & 0xff;
  41. r[10] = key[10] & 0xff;
  42. r[11] = key[11] & 0x0f;
  43. r[12] = key[12] & 0xfc;
  44. r[13] = key[13] & 0xff;
  45. r[14] = key[14] & 0xff;
  46. r[15] = key[15] & 0x0f;
  47. r[16] = 0
  48. for i in 0..<16 {
  49. pad[i] = key[i + 16]
  50. }
  51. pad[16] = 0
  52. leftover = 0
  53. final = 0
  54. }
  55. deinit {
  56. for i in 0..<buffer.count {
  57. buffer[i] = 0
  58. }
  59. for i in 0..<r.count {
  60. r[i] = 0
  61. h[i] = 0
  62. pad[i] = 0
  63. final = 0
  64. leftover = 0
  65. }
  66. }
  67. }
  68. // MARK: - Internal
  69. /**
  70. Calculate Message Authentication Code (MAC) for message.
  71. Calculation context is discarder on instance deallocation.
  72. :param: key 256-bit key
  73. :param: message Message
  74. :returns: Message Authentication Code
  75. */
  76. class internal func authenticate(# key: [UInt8], message: [UInt8]) -> [UInt8]? {
  77. return Poly1305(key)?.authenticate(message: message)
  78. }
  79. // MARK: - Private
  80. private init? (_ key: [UInt8]) {
  81. ctx = Context(key)
  82. if (ctx == nil) {
  83. return nil
  84. }
  85. }
  86. private func authenticate(# message:[UInt8]) -> [UInt8]? {
  87. if let ctx = self.ctx {
  88. update(ctx, message: message)
  89. return finish(ctx)
  90. }
  91. return nil
  92. }
  93. /**
  94. Add message to be processed
  95. :param: context Context
  96. :param: message message
  97. :param: bytes length of the message fragment to be processed
  98. */
  99. private func update(context:Context, message:[UInt8], bytes:Int? = nil) {
  100. var bytes = bytes ?? message.count
  101. var mPos = 0
  102. /* handle leftover */
  103. if (context.leftover > 0) {
  104. var want = blockSize - context.leftover
  105. if (want > bytes) {
  106. want = bytes
  107. }
  108. for i in 0..<want {
  109. context.buffer[context.leftover + i] = message[mPos + i]
  110. }
  111. bytes -= want
  112. mPos += want
  113. context.leftover += want
  114. if (context.leftover < blockSize) {
  115. return
  116. }
  117. blocks(context, m: context.buffer)
  118. context.leftover = 0
  119. }
  120. /* process full blocks */
  121. if (bytes >= blockSize) {
  122. var want = bytes & ~(blockSize - 1)
  123. blocks(context, m: message, startPos: mPos)
  124. mPos += want
  125. bytes -= want;
  126. }
  127. /* store leftover */
  128. if (bytes > 0) {
  129. for i in 0..<bytes {
  130. context.buffer[context.leftover + i] = message[mPos + i]
  131. }
  132. context.leftover += bytes
  133. }
  134. }
  135. private func finish(context:Context) -> [UInt8]? {
  136. var mac = [UInt8](count: 16, repeatedValue: 0);
  137. /* process the remaining block */
  138. if (context.leftover > 0) {
  139. var i = context.leftover
  140. context.buffer[i++] = 1
  141. for (; i < blockSize; i++) {
  142. context.buffer[i] = 0
  143. }
  144. context.final = 1
  145. blocks(context, m: context.buffer)
  146. }
  147. /* fully reduce h */
  148. freeze(context)
  149. /* h = (h + pad) % (1 << 128) */
  150. add(context, c: context.pad)
  151. for i in 0..<mac.count {
  152. mac[i] = context.h[i]
  153. }
  154. return mac
  155. }
  156. // MARK: - Utils
  157. private func add(context:Context, c:[UInt8]) -> Bool {
  158. if (context.h.count != 17 && c.count != 17) {
  159. return false
  160. }
  161. var u:UInt16 = 0
  162. for i in 0..<17 {
  163. u += UInt16(context.h[i]) + UInt16(c[i])
  164. context.h[i] = UInt8.withValue(u)
  165. u = u >> 8
  166. }
  167. return true
  168. }
  169. private func squeeze(context:Context, hr:[UInt32]) -> Bool {
  170. if (context.h.count != 17 && hr.count != 17) {
  171. return false
  172. }
  173. var u:UInt32 = 0
  174. for i in 0..<16 {
  175. u += hr[i];
  176. context.h[i] = UInt8.withValue(u) // crash! h[i] = UInt8(u) & 0xff
  177. u >>= 8;
  178. }
  179. u += hr[16]
  180. context.h[16] = UInt8.withValue(u) & 0x03
  181. u >>= 2
  182. u += (u << 2); /* u *= 5; */
  183. for i in 0..<16 {
  184. u += UInt32(context.h[i])
  185. context.h[i] = UInt8.withValue(u) // crash! h[i] = UInt8(u) & 0xff
  186. u >>= 8
  187. }
  188. context.h[16] += UInt8.withValue(u);
  189. return true
  190. }
  191. private func freeze(context:Context) -> Bool {
  192. assert(context.h.count == 17,"Invalid length")
  193. if (context.h.count != 17) {
  194. return false
  195. }
  196. let minusp:[UInt8] = [0x05,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0xfc]
  197. var horig:[UInt8] = [UInt8](count: 17, repeatedValue: 0)
  198. /* compute h + -p */
  199. for i in 0..<17 {
  200. horig[i] = context.h[i]
  201. }
  202. add(context, c: minusp)
  203. /* select h if h < p, or h + -p if h >= p */
  204. let bits:[Bit] = (context.h[16] >> 7).bits()
  205. let invertedBits = bits.map({ (bit) -> Bit in
  206. return bit.inverted()
  207. })
  208. let negative = UInt8(bits: invertedBits)
  209. for i in 0..<17 {
  210. context.h[i] ^= negative & (horig[i] ^ context.h[i]);
  211. }
  212. return true;
  213. }
  214. private func blocks(context:Context, m:[UInt8], startPos:Int = 0) -> Int {
  215. var bytes = m.count
  216. let hibit = context.final ^ 1 // 1 <<128
  217. var mPos = startPos
  218. while (bytes >= Int(blockSize)) {
  219. var hr:[UInt32] = [UInt32](count: 17, repeatedValue: 0)
  220. var u:UInt32 = 0
  221. var c:[UInt8] = [UInt8](count: 17, repeatedValue: 0)
  222. /* h += m */
  223. for i in 0..<16 {
  224. c[i] = m[mPos + i]
  225. }
  226. c[16] = hibit
  227. add(context, c: c)
  228. /* h *= r */
  229. for i in 0..<17 {
  230. u = 0
  231. for j in 0...i {
  232. u = u + UInt32(UInt16(context.h[j])) * UInt32(context.r[i - j]) // u += (unsigned short)st->h[j] * st->r[i - j];
  233. }
  234. for j in (i+1)..<17 {
  235. var v:UInt32 = UInt32(UInt16(context.h[j])) * UInt32(context.r[i + 17 - j]) // unsigned long v = (unsigned short)st->h[j] * st->r[i + 17 - j];
  236. v = ((v << 8) &+ (v << 6))
  237. u = u &+ v
  238. }
  239. hr[i] = u
  240. }
  241. squeeze(context, hr: hr)
  242. mPos += blockSize
  243. bytes -= blockSize
  244. }
  245. return mPos
  246. }
  247. }