test_core_crypto.odin 8.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315
  1. package test_core_crypto
  2. /*
  3. Copyright 2021 zhibog
  4. Made available under the BSD-3 license.
  5. List of contributors:
  6. zhibog, dotbmp: Initial implementation.
  7. Jeroen van Rijn: Test runner setup.
  8. Tests for the various algorithms within the crypto library.
  9. Where possible, the official test vectors are used to validate the implementation.
  10. */
  11. import "core:encoding/hex"
  12. import "core:fmt"
  13. import "core:mem"
  14. import "core:testing"
  15. import "core:crypto"
  16. import "core:crypto/chacha20"
  17. import "core:crypto/chacha20poly1305"
  18. import tc "tests:common"
  19. main :: proc() {
  20. t := testing.T{}
  21. test_rand_bytes(&t)
  22. test_hash(&t)
  23. test_mac(&t)
  24. test_kdf(&t) // After hash/mac tests because those should pass first.
  25. test_ecc25519(&t)
  26. test_chacha20(&t)
  27. test_chacha20poly1305(&t)
  28. test_sha3_variants(&t)
  29. bench_crypto(&t)
  30. tc.report(&t)
  31. }
  32. _PLAINTEXT_SUNSCREEN_STR := "Ladies and Gentlemen of the class of '99: If I could offer you only one tip for the future, sunscreen would be it."
  33. @(test)
  34. test_chacha20 :: proc(t: ^testing.T) {
  35. tc.log(t, "Testing (X)ChaCha20")
  36. // Test cases taken from RFC 8439, and draft-irtf-cfrg-xchacha-03
  37. plaintext := transmute([]byte)(_PLAINTEXT_SUNSCREEN_STR)
  38. key := [chacha20.KEY_SIZE]byte {
  39. 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
  40. 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
  41. 0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
  42. 0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f,
  43. }
  44. nonce := [chacha20.NONCE_SIZE]byte {
  45. 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x4a,
  46. 0x00, 0x00, 0x00, 0x00,
  47. }
  48. ciphertext := [114]byte {
  49. 0x6e, 0x2e, 0x35, 0x9a, 0x25, 0x68, 0xf9, 0x80,
  50. 0x41, 0xba, 0x07, 0x28, 0xdd, 0x0d, 0x69, 0x81,
  51. 0xe9, 0x7e, 0x7a, 0xec, 0x1d, 0x43, 0x60, 0xc2,
  52. 0x0a, 0x27, 0xaf, 0xcc, 0xfd, 0x9f, 0xae, 0x0b,
  53. 0xf9, 0x1b, 0x65, 0xc5, 0x52, 0x47, 0x33, 0xab,
  54. 0x8f, 0x59, 0x3d, 0xab, 0xcd, 0x62, 0xb3, 0x57,
  55. 0x16, 0x39, 0xd6, 0x24, 0xe6, 0x51, 0x52, 0xab,
  56. 0x8f, 0x53, 0x0c, 0x35, 0x9f, 0x08, 0x61, 0xd8,
  57. 0x07, 0xca, 0x0d, 0xbf, 0x50, 0x0d, 0x6a, 0x61,
  58. 0x56, 0xa3, 0x8e, 0x08, 0x8a, 0x22, 0xb6, 0x5e,
  59. 0x52, 0xbc, 0x51, 0x4d, 0x16, 0xcc, 0xf8, 0x06,
  60. 0x81, 0x8c, 0xe9, 0x1a, 0xb7, 0x79, 0x37, 0x36,
  61. 0x5a, 0xf9, 0x0b, 0xbf, 0x74, 0xa3, 0x5b, 0xe6,
  62. 0xb4, 0x0b, 0x8e, 0xed, 0xf2, 0x78, 0x5e, 0x42,
  63. 0x87, 0x4d,
  64. }
  65. ciphertext_str := string(hex.encode(ciphertext[:], context.temp_allocator))
  66. derived_ciphertext: [114]byte
  67. ctx: chacha20.Context = ---
  68. chacha20.init(&ctx, key[:], nonce[:])
  69. chacha20.seek(&ctx, 1) // The test vectors start the counter at 1.
  70. chacha20.xor_bytes(&ctx, derived_ciphertext[:], plaintext[:])
  71. derived_ciphertext_str := string(hex.encode(derived_ciphertext[:], context.temp_allocator))
  72. tc.expect(
  73. t,
  74. derived_ciphertext_str == ciphertext_str,
  75. fmt.tprintf(
  76. "Expected %s for xor_bytes(plaintext_str), but got %s instead",
  77. ciphertext_str,
  78. derived_ciphertext_str,
  79. ),
  80. )
  81. xkey := [chacha20.KEY_SIZE]byte {
  82. 0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
  83. 0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
  84. 0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
  85. 0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
  86. }
  87. xnonce := [chacha20.XNONCE_SIZE]byte {
  88. 0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47,
  89. 0x48, 0x49, 0x4a, 0x4b, 0x4c, 0x4d, 0x4e, 0x4f,
  90. 0x50, 0x51, 0x52, 0x53, 0x54, 0x55, 0x56, 0x57,
  91. }
  92. xciphertext := [114]byte {
  93. 0xbd, 0x6d, 0x17, 0x9d, 0x3e, 0x83, 0xd4, 0x3b,
  94. 0x95, 0x76, 0x57, 0x94, 0x93, 0xc0, 0xe9, 0x39,
  95. 0x57, 0x2a, 0x17, 0x00, 0x25, 0x2b, 0xfa, 0xcc,
  96. 0xbe, 0xd2, 0x90, 0x2c, 0x21, 0x39, 0x6c, 0xbb,
  97. 0x73, 0x1c, 0x7f, 0x1b, 0x0b, 0x4a, 0xa6, 0x44,
  98. 0x0b, 0xf3, 0xa8, 0x2f, 0x4e, 0xda, 0x7e, 0x39,
  99. 0xae, 0x64, 0xc6, 0x70, 0x8c, 0x54, 0xc2, 0x16,
  100. 0xcb, 0x96, 0xb7, 0x2e, 0x12, 0x13, 0xb4, 0x52,
  101. 0x2f, 0x8c, 0x9b, 0xa4, 0x0d, 0xb5, 0xd9, 0x45,
  102. 0xb1, 0x1b, 0x69, 0xb9, 0x82, 0xc1, 0xbb, 0x9e,
  103. 0x3f, 0x3f, 0xac, 0x2b, 0xc3, 0x69, 0x48, 0x8f,
  104. 0x76, 0xb2, 0x38, 0x35, 0x65, 0xd3, 0xff, 0xf9,
  105. 0x21, 0xf9, 0x66, 0x4c, 0x97, 0x63, 0x7d, 0xa9,
  106. 0x76, 0x88, 0x12, 0xf6, 0x15, 0xc6, 0x8b, 0x13,
  107. 0xb5, 0x2e,
  108. }
  109. xciphertext_str := string(hex.encode(xciphertext[:], context.temp_allocator))
  110. chacha20.init(&ctx, xkey[:], xnonce[:])
  111. chacha20.seek(&ctx, 1)
  112. chacha20.xor_bytes(&ctx, derived_ciphertext[:], plaintext[:])
  113. derived_ciphertext_str = string(hex.encode(derived_ciphertext[:], context.temp_allocator))
  114. tc.expect(
  115. t,
  116. derived_ciphertext_str == xciphertext_str,
  117. fmt.tprintf(
  118. "Expected %s for xor_bytes(plaintext_str), but got %s instead",
  119. xciphertext_str,
  120. derived_ciphertext_str,
  121. ),
  122. )
  123. }
  124. @(test)
  125. test_chacha20poly1305 :: proc(t: ^testing.T) {
  126. tc.log(t, "Testing chacha20poly1205")
  127. plaintext := transmute([]byte)(_PLAINTEXT_SUNSCREEN_STR)
  128. aad := [12]byte {
  129. 0x50, 0x51, 0x52, 0x53, 0xc0, 0xc1, 0xc2, 0xc3,
  130. 0xc4, 0xc5, 0xc6, 0xc7,
  131. }
  132. key := [chacha20poly1305.KEY_SIZE]byte {
  133. 0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
  134. 0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
  135. 0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
  136. 0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f,
  137. }
  138. nonce := [chacha20poly1305.NONCE_SIZE]byte {
  139. 0x07, 0x00, 0x00, 0x00, 0x40, 0x41, 0x42, 0x43,
  140. 0x44, 0x45, 0x46, 0x47,
  141. }
  142. ciphertext := [114]byte {
  143. 0xd3, 0x1a, 0x8d, 0x34, 0x64, 0x8e, 0x60, 0xdb,
  144. 0x7b, 0x86, 0xaf, 0xbc, 0x53, 0xef, 0x7e, 0xc2,
  145. 0xa4, 0xad, 0xed, 0x51, 0x29, 0x6e, 0x08, 0xfe,
  146. 0xa9, 0xe2, 0xb5, 0xa7, 0x36, 0xee, 0x62, 0xd6,
  147. 0x3d, 0xbe, 0xa4, 0x5e, 0x8c, 0xa9, 0x67, 0x12,
  148. 0x82, 0xfa, 0xfb, 0x69, 0xda, 0x92, 0x72, 0x8b,
  149. 0x1a, 0x71, 0xde, 0x0a, 0x9e, 0x06, 0x0b, 0x29,
  150. 0x05, 0xd6, 0xa5, 0xb6, 0x7e, 0xcd, 0x3b, 0x36,
  151. 0x92, 0xdd, 0xbd, 0x7f, 0x2d, 0x77, 0x8b, 0x8c,
  152. 0x98, 0x03, 0xae, 0xe3, 0x28, 0x09, 0x1b, 0x58,
  153. 0xfa, 0xb3, 0x24, 0xe4, 0xfa, 0xd6, 0x75, 0x94,
  154. 0x55, 0x85, 0x80, 0x8b, 0x48, 0x31, 0xd7, 0xbc,
  155. 0x3f, 0xf4, 0xde, 0xf0, 0x8e, 0x4b, 0x7a, 0x9d,
  156. 0xe5, 0x76, 0xd2, 0x65, 0x86, 0xce, 0xc6, 0x4b,
  157. 0x61, 0x16,
  158. }
  159. ciphertext_str := string(hex.encode(ciphertext[:], context.temp_allocator))
  160. tag := [chacha20poly1305.TAG_SIZE]byte {
  161. 0x1a, 0xe1, 0x0b, 0x59, 0x4f, 0x09, 0xe2, 0x6a,
  162. 0x7e, 0x90, 0x2e, 0xcb, 0xd0, 0x60, 0x06, 0x91,
  163. }
  164. tag_str := string(hex.encode(tag[:], context.temp_allocator))
  165. derived_tag: [chacha20poly1305.TAG_SIZE]byte
  166. derived_ciphertext: [114]byte
  167. chacha20poly1305.encrypt(
  168. derived_ciphertext[:],
  169. derived_tag[:],
  170. key[:],
  171. nonce[:],
  172. aad[:],
  173. plaintext,
  174. )
  175. derived_ciphertext_str := string(hex.encode(derived_ciphertext[:], context.temp_allocator))
  176. tc.expect(
  177. t,
  178. derived_ciphertext_str == ciphertext_str,
  179. fmt.tprintf(
  180. "Expected ciphertext %s for encrypt(aad, plaintext), but got %s instead",
  181. ciphertext_str,
  182. derived_ciphertext_str,
  183. ),
  184. )
  185. derived_tag_str := string(hex.encode(derived_tag[:], context.temp_allocator))
  186. tc.expect(
  187. t,
  188. derived_tag_str == tag_str,
  189. fmt.tprintf(
  190. "Expected tag %s for encrypt(aad, plaintext), but got %s instead",
  191. tag_str,
  192. derived_tag_str,
  193. ),
  194. )
  195. derived_plaintext: [114]byte
  196. ok := chacha20poly1305.decrypt(
  197. derived_plaintext[:],
  198. tag[:],
  199. key[:],
  200. nonce[:],
  201. aad[:],
  202. ciphertext[:],
  203. )
  204. derived_plaintext_str := string(derived_plaintext[:])
  205. tc.expect(t, ok, "Expected true for decrypt(tag, aad, ciphertext)")
  206. tc.expect(
  207. t,
  208. derived_plaintext_str == _PLAINTEXT_SUNSCREEN_STR,
  209. fmt.tprintf(
  210. "Expected plaintext %s for decrypt(tag, aad, ciphertext), but got %s instead",
  211. _PLAINTEXT_SUNSCREEN_STR,
  212. derived_plaintext_str,
  213. ),
  214. )
  215. derived_ciphertext[0] ~= 0xa5
  216. ok = chacha20poly1305.decrypt(
  217. derived_plaintext[:],
  218. tag[:],
  219. key[:],
  220. nonce[:],
  221. aad[:],
  222. derived_ciphertext[:],
  223. )
  224. tc.expect(t, !ok, "Expected false for decrypt(tag, aad, corrupted_ciphertext)")
  225. aad[0] ~= 0xa5
  226. ok = chacha20poly1305.decrypt(
  227. derived_plaintext[:],
  228. tag[:],
  229. key[:],
  230. nonce[:],
  231. aad[:],
  232. ciphertext[:],
  233. )
  234. tc.expect(t, !ok, "Expected false for decrypt(tag, corrupted_aad, ciphertext)")
  235. }
  236. @(test)
  237. test_rand_bytes :: proc(t: ^testing.T) {
  238. tc.log(t, "Testing rand_bytes")
  239. if !crypto.has_rand_bytes() {
  240. tc.log(t, "rand_bytes not supported - skipping")
  241. return
  242. }
  243. buf := make([]byte, 1 << 25, context.allocator)
  244. defer delete(buf)
  245. // Testing a CSPRNG for correctness is incredibly involved and
  246. // beyond the scope of an implementation that offloads
  247. // responsibility for correctness to the OS.
  248. //
  249. // Just attempt to randomize a sufficiently large buffer, where
  250. // sufficiently large is:
  251. // * Larger than the maximum getentropy request size (256 bytes).
  252. // * Larger than the maximum getrandom request size (2^25 - 1 bytes).
  253. //
  254. // While theoretically non-deterministic, if this fails, chances
  255. // are the CSPRNG is busted.
  256. seems_ok := false
  257. for i := 0; i < 256; i = i + 1 {
  258. mem.zero_explicit(raw_data(buf), len(buf))
  259. crypto.rand_bytes(buf)
  260. if buf[0] != 0 && buf[len(buf) - 1] != 0 {
  261. seems_ok = true
  262. break
  263. }
  264. }
  265. tc.expect(
  266. t,
  267. seems_ok,
  268. "Expected to randomize the head and tail of the buffer within a handful of attempts",
  269. )
  270. }