aead_chacha20poly1305.c 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372
  1. #define TEST_NAME "aead_chacha20poly1305"
  2. #include "cmptest.h"
  3. static int
  4. tv(void)
  5. {
  6. #undef MLEN
  7. #define MLEN 10U
  8. #undef ADLEN
  9. #define ADLEN 10U
  10. #undef CLEN
  11. #define CLEN (MLEN + crypto_aead_chacha20poly1305_ABYTES)
  12. static const unsigned char firstkey[crypto_aead_chacha20poly1305_KEYBYTES]
  13. = { 0x42, 0x90, 0xbc, 0xb1, 0x54, 0x17, 0x35, 0x31, 0xf3, 0x14, 0xaf,
  14. 0x57, 0xf3, 0xbe, 0x3b, 0x50, 0x06, 0xda, 0x37, 0x1e, 0xce, 0x27,
  15. 0x2a, 0xfa, 0x1b, 0x5d, 0xbd, 0xd1, 0x10, 0x0a, 0x10, 0x07 };
  16. static const unsigned char m[MLEN]
  17. = { 0x86, 0xd0, 0x99, 0x74, 0x84, 0x0b, 0xde, 0xd2, 0xa5, 0xca };
  18. static const unsigned char nonce[crypto_aead_chacha20poly1305_NPUBBYTES]
  19. = { 0xcd, 0x7c, 0xf6, 0x7b, 0xe3, 0x9c, 0x79, 0x4a };
  20. static const unsigned char ad[ADLEN]
  21. = { 0x87, 0xe2, 0x29, 0xd4, 0x50, 0x08, 0x45, 0xa0, 0x79, 0xc0 };
  22. unsigned char *c = (unsigned char *) sodium_malloc(CLEN);
  23. unsigned char *detached_c = (unsigned char *) sodium_malloc(MLEN);
  24. unsigned char *mac = (unsigned char *) sodium_malloc(crypto_aead_chacha20poly1305_ABYTES);
  25. unsigned char *m2 = (unsigned char *) sodium_malloc(MLEN);
  26. unsigned long long found_clen;
  27. unsigned long long found_maclen;
  28. unsigned long long m2len;
  29. size_t i;
  30. crypto_aead_chacha20poly1305_encrypt(c, &found_clen, m, MLEN,
  31. ad, ADLEN,
  32. NULL, nonce, firstkey);
  33. if (found_clen != CLEN) {
  34. printf("found_clen is not properly set\n");
  35. }
  36. for (i = 0U; i < CLEN; ++i) {
  37. printf(",0x%02x", (unsigned int) c[i]);
  38. if (i % 8 == 7) {
  39. printf("\n");
  40. }
  41. }
  42. printf("\n");
  43. crypto_aead_chacha20poly1305_encrypt_detached(detached_c,
  44. mac, &found_maclen,
  45. m, MLEN, ad, ADLEN,
  46. NULL, nonce, firstkey);
  47. if (found_maclen != crypto_aead_chacha20poly1305_abytes()) {
  48. printf("found_maclen is not properly set\n");
  49. }
  50. if (memcmp(detached_c, c, MLEN) != 0) {
  51. printf("detached ciphertext is bogus\n");
  52. }
  53. if (crypto_aead_chacha20poly1305_decrypt(m2, &m2len, NULL, c, CLEN,
  54. ad, ADLEN,
  55. nonce, firstkey) != 0) {
  56. printf("crypto_aead_chacha20poly1305_decrypt() failed\n");
  57. }
  58. if (m2len != MLEN) {
  59. printf("m2len is not properly set\n");
  60. }
  61. if (memcmp(m, m2, MLEN) != 0) {
  62. printf("m != m2\n");
  63. }
  64. memset(m2, 0, m2len);
  65. assert(crypto_aead_chacha20poly1305_decrypt_detached(NULL, NULL,
  66. c, MLEN, mac,
  67. ad, ADLEN,
  68. nonce, firstkey) == 0);
  69. if (crypto_aead_chacha20poly1305_decrypt_detached(m2, NULL,
  70. c, MLEN, mac,
  71. ad, ADLEN,
  72. nonce, firstkey) != 0) {
  73. printf("crypto_aead_chacha20poly1305_decrypt_detached() failed\n");
  74. }
  75. if (memcmp(m, m2, MLEN) != 0) {
  76. printf("detached m != m2\n");
  77. }
  78. for (i = 0U; i < CLEN; i++) {
  79. c[i] ^= (i + 1U);
  80. if (crypto_aead_chacha20poly1305_decrypt(m2, NULL, NULL, c, CLEN,
  81. ad, ADLEN, nonce, firstkey)
  82. == 0 || memcmp(m, m2, MLEN) == 0) {
  83. printf("message can be forged\n");
  84. }
  85. c[i] ^= (i + 1U);
  86. }
  87. crypto_aead_chacha20poly1305_encrypt(c, &found_clen, m, MLEN,
  88. NULL, 0U, NULL, nonce, firstkey);
  89. if (found_clen != CLEN) {
  90. printf("found_clen is not properly set (adlen=0)\n");
  91. }
  92. for (i = 0U; i < CLEN; ++i) {
  93. printf(",0x%02x", (unsigned int) c[i]);
  94. if (i % 8 == 7) {
  95. printf("\n");
  96. }
  97. }
  98. printf("\n");
  99. if (crypto_aead_chacha20poly1305_decrypt(m2, &m2len, NULL, c, CLEN,
  100. NULL, 0U, nonce, firstkey) != 0) {
  101. printf("crypto_aead_chacha20poly1305_decrypt() failed (adlen=0)\n");
  102. }
  103. if (m2len != MLEN) {
  104. printf("m2len is not properly set (adlen=0)\n");
  105. }
  106. if (memcmp(m, m2, MLEN) != 0) {
  107. printf("m != m2 (adlen=0)\n");
  108. }
  109. m2len = 1;
  110. if (crypto_aead_chacha20poly1305_decrypt(
  111. m2, &m2len, NULL, NULL,
  112. randombytes_uniform(crypto_aead_chacha20poly1305_ABYTES),
  113. NULL, 0U, nonce, firstkey) != -1) {
  114. printf("crypto_aead_chacha20poly1305_decrypt() worked with a short "
  115. "ciphertext\n");
  116. }
  117. if (m2len != 0) {
  118. printf("Message length should have been set to zero after a failure\n");
  119. }
  120. m2len = 1;
  121. if (crypto_aead_chacha20poly1305_decrypt(m2, &m2len, NULL, c, 0U, NULL, 0U,
  122. nonce, firstkey) != -1) {
  123. printf("crypto_aead_chacha20poly1305_decrypt() worked with an empty "
  124. "ciphertext\n");
  125. }
  126. if (m2len != 0) {
  127. printf("Message length should have been set to zero after a failure\n");
  128. }
  129. memcpy(c, m, MLEN);
  130. crypto_aead_chacha20poly1305_encrypt(c, &found_clen, c, MLEN,
  131. NULL, 0U, NULL, nonce, firstkey);
  132. if (found_clen != CLEN) {
  133. printf("found_clen is not properly set (adlen=0)\n");
  134. }
  135. for (i = 0U; i < CLEN; ++i) {
  136. printf(",0x%02x", (unsigned int) c[i]);
  137. if (i % 8 == 7) {
  138. printf("\n");
  139. }
  140. }
  141. printf("\n");
  142. if (crypto_aead_chacha20poly1305_decrypt(c, &m2len, NULL, c, CLEN,
  143. NULL, 0U, nonce, firstkey) != 0) {
  144. printf("crypto_aead_chacha20poly1305_decrypt() failed (adlen=0)\n");
  145. }
  146. if (m2len != MLEN) {
  147. printf("m2len is not properly set (adlen=0)\n");
  148. }
  149. if (memcmp(m, c, MLEN) != 0) {
  150. printf("m != c (adlen=0)\n");
  151. }
  152. sodium_free(c);
  153. sodium_free(detached_c);
  154. sodium_free(mac);
  155. sodium_free(m2);
  156. assert(crypto_aead_chacha20poly1305_keybytes() > 0U);
  157. assert(crypto_aead_chacha20poly1305_npubbytes() > 0U);
  158. assert(crypto_aead_chacha20poly1305_nsecbytes() == 0U);
  159. assert(crypto_aead_chacha20poly1305_messagebytes_max() > 0U);
  160. assert(crypto_aead_chacha20poly1305_messagebytes_max() == crypto_aead_chacha20poly1305_MESSAGEBYTES_MAX);
  161. assert(crypto_aead_chacha20poly1305_keybytes() == crypto_aead_chacha20poly1305_KEYBYTES);
  162. assert(crypto_aead_chacha20poly1305_nsecbytes() == crypto_aead_chacha20poly1305_NSECBYTES);
  163. assert(crypto_aead_chacha20poly1305_npubbytes() == crypto_aead_chacha20poly1305_NPUBBYTES);
  164. assert(crypto_aead_chacha20poly1305_abytes() == crypto_aead_chacha20poly1305_ABYTES);
  165. return 0;
  166. }
  167. static int
  168. tv_ietf(void)
  169. {
  170. #undef MLEN
  171. #define MLEN 114U
  172. #undef ADLEN
  173. #define ADLEN 12U
  174. #undef CLEN
  175. #define CLEN (MLEN + crypto_aead_chacha20poly1305_ietf_ABYTES)
  176. static const unsigned char firstkey[crypto_aead_chacha20poly1305_ietf_KEYBYTES]
  177. = {
  178. 0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87,
  179. 0x88, 0x89, 0x8a, 0x8b, 0x8c, 0x8d, 0x8e, 0x8f,
  180. 0x90, 0x91, 0x92, 0x93, 0x94, 0x95, 0x96, 0x97,
  181. 0x98, 0x99, 0x9a, 0x9b, 0x9c, 0x9d, 0x9e, 0x9f
  182. };
  183. #undef MESSAGE
  184. #define MESSAGE "Ladies and Gentlemen of the class of '99: If I could offer you " \
  185. "only one tip for the future, sunscreen would be it."
  186. unsigned char *m = (unsigned char *) sodium_malloc(MLEN);
  187. static const unsigned char nonce[crypto_aead_chacha20poly1305_ietf_NPUBBYTES]
  188. = { 0x07, 0x00, 0x00, 0x00,
  189. 0x40, 0x41, 0x42, 0x43, 0x44, 0x45, 0x46, 0x47 };
  190. static const unsigned char ad[ADLEN]
  191. = { 0x50, 0x51, 0x52, 0x53, 0xc0, 0xc1, 0xc2, 0xc3, 0xc4, 0xc5, 0xc6, 0xc7 };
  192. unsigned char *c = (unsigned char *) sodium_malloc(CLEN);
  193. unsigned char *detached_c = (unsigned char *) sodium_malloc(MLEN);
  194. unsigned char *mac = (unsigned char *) sodium_malloc(crypto_aead_chacha20poly1305_ietf_ABYTES);
  195. unsigned char *m2 = (unsigned char *) sodium_malloc(MLEN);
  196. unsigned long long found_clen;
  197. unsigned long long found_maclen;
  198. unsigned long long m2len;
  199. size_t i;
  200. assert(sizeof MESSAGE - 1U == MLEN);
  201. memcpy(m, MESSAGE, MLEN);
  202. crypto_aead_chacha20poly1305_ietf_encrypt(c, &found_clen, m, MLEN,
  203. ad, ADLEN,
  204. NULL, nonce, firstkey);
  205. if (found_clen != MLEN + crypto_aead_chacha20poly1305_ietf_abytes()) {
  206. printf("found_clen is not properly set\n");
  207. }
  208. for (i = 0U; i < CLEN; ++i) {
  209. printf(",0x%02x", (unsigned int) c[i]);
  210. if (i % 8 == 7) {
  211. printf("\n");
  212. }
  213. }
  214. printf("\n");
  215. crypto_aead_chacha20poly1305_ietf_encrypt_detached(detached_c,
  216. mac, &found_maclen,
  217. m, MLEN,
  218. ad, ADLEN,
  219. NULL, nonce, firstkey);
  220. if (found_maclen != crypto_aead_chacha20poly1305_ietf_abytes()) {
  221. printf("found_maclen is not properly set\n");
  222. }
  223. if (memcmp(detached_c, c, MLEN) != 0) {
  224. printf("detached ciphertext is bogus\n");
  225. }
  226. if (crypto_aead_chacha20poly1305_ietf_decrypt(m2, &m2len, NULL, c, CLEN, ad,
  227. ADLEN, nonce, firstkey) != 0) {
  228. printf("crypto_aead_chacha20poly1305_ietf_decrypt() failed\n");
  229. }
  230. if (m2len != MLEN) {
  231. printf("m2len is not properly set\n");
  232. }
  233. if (memcmp(m, m2, MLEN) != 0) {
  234. printf("m != m2\n");
  235. }
  236. memset(m2, 0, m2len);
  237. assert(crypto_aead_chacha20poly1305_ietf_decrypt_detached(NULL, NULL,
  238. c, MLEN, mac,
  239. ad, ADLEN,
  240. nonce, firstkey) == 0);
  241. if (crypto_aead_chacha20poly1305_ietf_decrypt_detached(m2, NULL,
  242. c, MLEN, mac,
  243. ad, ADLEN,
  244. nonce, firstkey) != 0) {
  245. printf("crypto_aead_chacha20poly1305_ietf_decrypt_detached() failed\n");
  246. }
  247. if (memcmp(m, m2, MLEN) != 0) {
  248. printf("detached m != m2\n");
  249. }
  250. for (i = 0U; i < CLEN; i++) {
  251. c[i] ^= (i + 1U);
  252. if (crypto_aead_chacha20poly1305_ietf_decrypt(m2, NULL, NULL, c, CLEN,
  253. ad, ADLEN, nonce, firstkey)
  254. == 0 || memcmp(m, m2, MLEN) == 0) {
  255. printf("message can be forged\n");
  256. }
  257. c[i] ^= (i + 1U);
  258. }
  259. crypto_aead_chacha20poly1305_ietf_encrypt(c, &found_clen, m, MLEN,
  260. NULL, 0U, NULL, nonce, firstkey);
  261. if (found_clen != CLEN) {
  262. printf("clen is not properly set (adlen=0)\n");
  263. }
  264. for (i = 0U; i < CLEN; ++i) {
  265. printf(",0x%02x", (unsigned int) c[i]);
  266. if (i % 8 == 7) {
  267. printf("\n");
  268. }
  269. }
  270. printf("\n");
  271. if (crypto_aead_chacha20poly1305_ietf_decrypt(m2, &m2len, NULL, c, CLEN,
  272. NULL, 0U, nonce, firstkey) != 0) {
  273. printf("crypto_aead_chacha20poly1305_ietf_decrypt() failed (adlen=0)\n");
  274. }
  275. if (m2len != MLEN) {
  276. printf("m2len is not properly set (adlen=0)\n");
  277. }
  278. if (memcmp(m, m2, MLEN) != 0) {
  279. printf("m != m2 (adlen=0)\n");
  280. }
  281. m2len = 1;
  282. if (crypto_aead_chacha20poly1305_ietf_decrypt(
  283. m2, &m2len, NULL, NULL,
  284. randombytes_uniform(crypto_aead_chacha20poly1305_ietf_ABYTES),
  285. NULL, 0U, nonce, firstkey) != -1) {
  286. printf("crypto_aead_chacha20poly1305_ietf_decrypt() worked with a short "
  287. "ciphertext\n");
  288. }
  289. if (m2len != 0) {
  290. printf("Message length should have been set to zero after a failure\n");
  291. }
  292. m2len = 1;
  293. if (crypto_aead_chacha20poly1305_ietf_decrypt(m2, &m2len, NULL, c, 0U, NULL, 0U,
  294. nonce, firstkey) != -1) {
  295. printf("crypto_aead_chacha20poly1305_ietf_decrypt() worked with an empty "
  296. "ciphertext\n");
  297. }
  298. if (m2len != 0) {
  299. printf("Message length should have been set to zero after a failure\n");
  300. }
  301. memcpy(c, m, MLEN);
  302. crypto_aead_chacha20poly1305_ietf_encrypt(c, &found_clen, c, MLEN,
  303. NULL, 0U, NULL, nonce, firstkey);
  304. if (found_clen != CLEN) {
  305. printf("clen is not properly set (adlen=0)\n");
  306. }
  307. for (i = 0U; i < CLEN; ++i) {
  308. printf(",0x%02x", (unsigned int) c[i]);
  309. if (i % 8 == 7) {
  310. printf("\n");
  311. }
  312. }
  313. printf("\n");
  314. if (crypto_aead_chacha20poly1305_ietf_decrypt(c, &m2len, NULL, c, CLEN,
  315. NULL, 0U, nonce, firstkey) != 0) {
  316. printf("crypto_aead_chacha20poly1305_ietf_decrypt() failed (adlen=0)\n");
  317. }
  318. if (m2len != MLEN) {
  319. printf("m2len is not properly set (adlen=0)\n");
  320. }
  321. if (memcmp(m, c, MLEN) != 0) {
  322. printf("m != c (adlen=0)\n");
  323. }
  324. sodium_free(c);
  325. sodium_free(detached_c);
  326. sodium_free(mac);
  327. sodium_free(m2);
  328. sodium_free(m);
  329. assert(crypto_aead_chacha20poly1305_ietf_keybytes() > 0U);
  330. assert(crypto_aead_chacha20poly1305_ietf_keybytes() == crypto_aead_chacha20poly1305_keybytes());
  331. assert(crypto_aead_chacha20poly1305_ietf_npubbytes() > 0U);
  332. assert(crypto_aead_chacha20poly1305_ietf_npubbytes() > crypto_aead_chacha20poly1305_npubbytes());
  333. assert(crypto_aead_chacha20poly1305_ietf_nsecbytes() == 0U);
  334. assert(crypto_aead_chacha20poly1305_ietf_nsecbytes() == crypto_aead_chacha20poly1305_nsecbytes());
  335. assert(crypto_aead_chacha20poly1305_ietf_messagebytes_max() == crypto_aead_chacha20poly1305_ietf_MESSAGEBYTES_MAX);
  336. assert(crypto_aead_chacha20poly1305_IETF_KEYBYTES == crypto_aead_chacha20poly1305_ietf_KEYBYTES);
  337. assert(crypto_aead_chacha20poly1305_IETF_NSECBYTES == crypto_aead_chacha20poly1305_ietf_NSECBYTES);
  338. assert(crypto_aead_chacha20poly1305_IETF_NPUBBYTES == crypto_aead_chacha20poly1305_ietf_NPUBBYTES);
  339. assert(crypto_aead_chacha20poly1305_IETF_ABYTES == crypto_aead_chacha20poly1305_ietf_ABYTES);
  340. assert(crypto_aead_chacha20poly1305_IETF_MESSAGEBYTES_MAX == crypto_aead_chacha20poly1305_ietf_MESSAGEBYTES_MAX);
  341. return 0;
  342. }
  343. int
  344. main(void)
  345. {
  346. tv();
  347. tv_ietf();
  348. return 0;
  349. }