1
2 #define TEST_NAME "xchacha20"
3 #include "cmptest.h"
4
5 typedef struct HChaCha20TV_ {
6 const char key[crypto_core_hchacha20_KEYBYTES * 2 + 1];
7 const char in[crypto_core_hchacha20_INPUTBYTES * 2 + 1];
8 const char out[crypto_core_hchacha20_OUTPUTBYTES * 2 + 1];
9 } HChaCha20TV;
10
11 static const unsigned char small_order_p[crypto_scalarmult_BYTES] = {
12 0xe0, 0xeb, 0x7a, 0x7c, 0x3b, 0x41, 0xb8, 0xae, 0x16, 0x56, 0xe3,
13 0xfa, 0xf1, 0x9f, 0xc4, 0x6a, 0xda, 0x09, 0x8d, 0xeb, 0x9c, 0x32,
14 0xb1, 0xfd, 0x86, 0x62, 0x05, 0x16, 0x5f, 0x49, 0xb8, 0x00
15 };
16
17 static void
tv_hchacha20(void)18 tv_hchacha20(void)
19 {
20 static const HChaCha20TV tvs[] = {
21 { "24f11cce8a1b3d61e441561a696c1c1b7e173d084fd4812425435a8896a013dc", "d9660c5900ae19ddad28d6e06e45fe5e", "5966b3eec3bff1189f831f06afe4d4e3be97fa9235ec8c20d08acfbbb4e851e3" },
22 { "80a5f6272031e18bb9bcd84f3385da65e7731b7039f13f5e3d475364cd4d42f7", "c0eccc384b44c88e92c57eb2d5ca4dfa", "6ed11741f724009a640a44fce7320954c46e18e0d7ae063bdbc8d7cf372709df" },
23 { "cb1fc686c0eec11a89438b6f4013bf110e7171dace3297f3a657a309b3199629", "fcd49b93e5f8f299227e64d40dc864a3", "84b7e96937a1a0a406bb7162eeaad34308d49de60fd2f7ec9dc6a79cbab2ca34" },
24 { "6640f4d80af5496ca1bc2cfff1fefbe99638dbceaabd7d0ade118999d45f053d", "31f59ceeeafdbfe8cae7914caeba90d6", "9af4697d2f5574a44834a2c2ae1a0505af9f5d869dbe381a994a18eb374c36a0" },
25 { "0693ff36d971225a44ac92c092c60b399e672e4cc5aafd5e31426f123787ac27", "3a6293da061da405db45be1731d5fc4d", "f87b38609142c01095bfc425573bb3c698f9ae866b7e4216840b9c4caf3b0865" },
26 { "809539bd2639a23bf83578700f055f313561c7785a4a19fc9114086915eee551", "780c65d6a3318e479c02141d3f0b3918", "902ea8ce4680c09395ce71874d242f84274243a156938aaa2dd37ac5be382b42" },
27 { "1a170ddf25a4fd69b648926e6d794e73408805835c64b2c70efddd8cd1c56ce0", "05dbee10de87eb0c5acb2b66ebbe67d3", "a4e20b634c77d7db908d387b48ec2b370059db916e8ea7716dc07238532d5981" },
28 { "3b354e4bb69b5b4a1126f509e84cad49f18c9f5f29f0be0c821316a6986e15a6", "d8a89af02f4b8b2901d8321796388b6c", "9816cb1a5b61993735a4b161b51ed2265b696e7ded5309c229a5a99f53534fbc" },
29 { "4b9a818892e15a530db50dd2832e95ee192e5ed6afffb408bd624a0c4e12a081", "a9079c551de70501be0286d1bc78b045", "ebc5224cf41ea97473683b6c2f38a084bf6e1feaaeff62676db59d5b719d999b" },
30 { "c49758f00003714c38f1d4972bde57ee8271f543b91e07ebce56b554eb7fa6a7", "31f0204e10cf4f2035f9e62bb5ba7303", "0dd8cc400f702d2c06ed920be52048a287076b86480ae273c6d568a2e9e7518c" }
31 };
32 const HChaCha20TV *tv;
33 unsigned char *constant;
34 unsigned char *key;
35 unsigned char *in;
36 unsigned char *out;
37 unsigned char *out2;
38 size_t i;
39
40 constant = (unsigned char *) sodium_malloc(crypto_core_hchacha20_CONSTBYTES);
41 key = (unsigned char *) sodium_malloc(crypto_core_hchacha20_KEYBYTES);
42 in = (unsigned char *) sodium_malloc(crypto_core_hchacha20_INPUTBYTES);
43 out = (unsigned char *) sodium_malloc(crypto_core_hchacha20_OUTPUTBYTES);
44 out2 = (unsigned char *) sodium_malloc(crypto_core_hchacha20_OUTPUTBYTES);
45 for (i = 0; i < (sizeof tvs) / (sizeof tvs[0]); i++) {
46 tv = &tvs[i];
47 sodium_hex2bin(key, crypto_core_hchacha20_KEYBYTES,
48 tv->key, strlen(tv->key), NULL, NULL, NULL);
49 sodium_hex2bin(in, crypto_core_hchacha20_INPUTBYTES,
50 tv->in, strlen(tv->in), NULL, NULL, NULL);
51 sodium_hex2bin(out, crypto_core_hchacha20_OUTPUTBYTES,
52 tv->out, strlen(tv->out), NULL, NULL, NULL);
53 crypto_core_hchacha20(out2, in, key, NULL);
54 assert(memcmp(out, out2, crypto_core_hchacha20_OUTPUTBYTES) == 0);
55 }
56
57 sodium_hex2bin(constant, crypto_core_hchacha20_CONSTBYTES,
58 "0d29b795c1ca70c1652e823364d32417",
59 crypto_core_hchacha20_CONSTBYTES * 2 + 1, NULL, NULL, NULL);
60 sodium_hex2bin(out, crypto_core_hchacha20_OUTPUTBYTES,
61 "934d941d78eb9bfc2f0376f7ccd4a11ecf0c6a44104618a9749ef47fe97037a2",
62 crypto_core_hchacha20_OUTPUTBYTES * 2 + 1, NULL, NULL, NULL);
63
64 crypto_core_hchacha20(out2, in, key, constant);
65 assert(memcmp(out, out2, crypto_core_hchacha20_OUTPUTBYTES) == 0);
66
67 sodium_free(out2);
68 sodium_free(out);
69 sodium_free(in);
70 sodium_free(key);
71 sodium_free(constant);
72
73 assert(crypto_core_hchacha20_outputbytes() == crypto_core_hchacha20_OUTPUTBYTES);
74 assert(crypto_core_hchacha20_inputbytes() == crypto_core_hchacha20_INPUTBYTES);
75 assert(crypto_core_hchacha20_keybytes() == crypto_core_hchacha20_KEYBYTES);
76 assert(crypto_core_hchacha20_constbytes() == crypto_core_hchacha20_CONSTBYTES);
77
78 printf("tv_hchacha20: ok\n");
79 }
80
81 #define XCHACHA20_OUT_MAX 100
82
83 typedef struct XChaCha20TV_ {
84 const char key[crypto_stream_xchacha20_KEYBYTES * 2 + 1];
85 const char nonce[crypto_stream_xchacha20_NONCEBYTES * 2 + 1];
86 const char out[XCHACHA20_OUT_MAX * 2 + 1];
87 } XChaCha20TV;
88
89 static void
tv_stream_xchacha20(void)90 tv_stream_xchacha20(void)
91 {
92 static const XChaCha20TV tvs[] = {
93 { "79c99798ac67300bbb2704c95c341e3245f3dcb21761b98e52ff45b24f304fc4", "b33ffd3096479bcfbc9aee49417688a0a2554f8d95389419", "c6e9758160083ac604ef90e712ce6e75d7797590744e0cf060f013739c" },
94 { "ddf7784fee099612c40700862189d0397fcc4cc4b3cc02b5456b3a97d1186173", "a9a04491e7bf00c3ca91ac7c2d38a777d88993a7047dfcc4", "2f289d371f6f0abc3cb60d11d9b7b29adf6bc5ad843e8493e928448d" },
95 { "3d12800e7b014e88d68a73f0a95b04b435719936feba60473f02a9e61ae60682", "56bed2599eac99fb27ebf4ffcb770a64772dec4d5849ea2d", "a2c3c1406f33c054a92760a8e0666b84f84fa3a618f0" },
96 { "5f5763ff9a30c95da5c9f2a8dfd7cc6efd9dfb431812c075aa3e4f32e04f53e4", "a5fa890efa3b9a034d377926ce0e08ee6d7faccaee41b771", "8a1a5ba898bdbcff602b1036e469a18a5e45789d0e8d9837d81a2388a52b0b6a0f51891528f424c4a7f492a8dd7bce8bac19fbdbe1fb379ac0" },
97 { "eadc0e27f77113b5241f8ca9d6f9a5e7f09eee68d8a5cf30700563bf01060b4e", "a171a4ef3fde7c4794c5b86170dc5a099b478f1b852f7b64", "23839f61795c3cdbcee2c749a92543baeeea3cbb721402aa42e6cae140447575f2916c5d71108e3b13357eaf86f060cb" },
98 { "91319c9545c7c804ba6b712e22294c386fe31c4ff3d278827637b959d3dbaab2", "410e854b2a911f174aaf1a56540fc3855851f41c65967a4e", "cbe7d24177119b7fdfa8b06ee04dade4256ba7d35ffda6b89f014e479faef6" },
99 { "6a6d3f412fc86c4450fc31f89f64ed46baa3256ffcf8616e8c23a06c422842b6", "6b7773fce3c2546a5db4829f53a9165f41b08faae2fb72d5", "8b23e35b3cdd5f3f75525fc37960ec2b68918e8c046d8a832b9838f1546be662e54feb1203e2" },
100 { "d45e56368ebc7ba9be7c55cfd2da0feb633c1d86cab67cd5627514fd20c2b391", "fd37da2db31e0c738754463edadc7dafb0833bd45da497fc", "47950efa8217e3dec437454bd6b6a80a287e2570f0a48b3fa1ea3eb868be3d486f6516606d85e5643becc473b370871ab9ef8e2a728f73b92bd98e6e26ea7c8ff96ec5a9e8de95e1eee9300c" },
101 { "aface41a64a9a40cbc604d42bd363523bd762eb717f3e08fe2e0b4611eb4dcf3", "6906e0383b895ab9f1cf3803f42f27c79ad47b681c552c63", "a5fa7c0190792ee17675d52ad7570f1fb0892239c76d6e802c26b5b3544d13151e67513b8aaa1ac5af2d7fd0d5e4216964324838" },
102 { "9d23bd4149cb979ccf3c5c94dd217e9808cb0e50cd0f67812235eaaf601d6232", "c047548266b7c370d33566a2425cbf30d82d1eaf5294109e", "a21209096594de8c5667b1d13ad93f744106d054df210e4782cd396fec692d3515a20bf351eec011a92c367888bc464c32f0807acd6c203a247e0db854148468e9f96bee4cf718d68d5f637cbd5a376457788e6fae90fc31097cfc" },
103 };
104 const XChaCha20TV *tv;
105 char *hex;
106 unsigned char *key;
107 unsigned char *nonce;
108 unsigned char *out;
109 unsigned char *out2;
110 size_t out_len;
111 size_t i;
112
113 key = (unsigned char *) sodium_malloc(crypto_stream_xchacha20_KEYBYTES);
114 nonce = (unsigned char *) sodium_malloc(crypto_stream_xchacha20_NONCEBYTES);
115 out = (unsigned char *) sodium_malloc(XCHACHA20_OUT_MAX);
116 for (i = 0; i < (sizeof tvs) / (sizeof tvs[0]); i++) {
117 tv = &tvs[i];
118
119 sodium_hex2bin(key, crypto_stream_xchacha20_KEYBYTES,
120 tv->key, strlen(tv->key), NULL, NULL, NULL);
121 sodium_hex2bin(nonce, crypto_stream_xchacha20_NONCEBYTES,
122 tv->nonce, strlen(tv->nonce), NULL, NULL, NULL);
123 sodium_hex2bin(out, XCHACHA20_OUT_MAX,
124 tv->out, strlen(tv->out), NULL, &out_len, NULL);
125 out2 = (unsigned char *) sodium_malloc(out_len);
126 crypto_stream_xchacha20(out2, out_len, nonce, key);
127 assert(memcmp(out, out2, out_len) == 0);
128 crypto_stream_xchacha20_xor(out2, out, out_len, nonce, key);
129 assert(sodium_is_zero(out2, out_len));
130 crypto_stream_xchacha20_xor_ic(out2, out, out_len, nonce, 0, key);
131 assert(sodium_is_zero(out2, out_len));
132 crypto_stream_xchacha20_xor_ic(out2, out, out_len, nonce, 1, key);
133 assert(!sodium_is_zero(out2, out_len));
134 crypto_stream_xchacha20_xor(out, out, out_len, nonce, key);
135 assert(sodium_is_zero(out, out_len));
136 sodium_free(out2);
137 }
138
139 out2 = (unsigned char *) sodium_malloc(0);
140 crypto_stream_xchacha20(out2, 0, nonce, key);
141 crypto_stream_xchacha20_xor(out2, out2, 0, nonce, key);
142 crypto_stream_xchacha20_xor_ic(out2, out2, 0, nonce, 1, key);
143 sodium_free(out2);
144 sodium_free(out);
145
146 out = (unsigned char *) sodium_malloc(64);
147 out2 = (unsigned char *) sodium_malloc(128);
148 randombytes_buf(out, 64);
149 randombytes_buf(out2, 64);
150 memcpy(out2 + 64, out, 64);
151 crypto_stream_xchacha20_xor_ic(out, out, 64, nonce, 1, key);
152 crypto_stream_xchacha20_xor(out2, out2, 128, nonce, key);
153 assert(memcmp(out, out2 + 64, 64) == 0);
154 sodium_free(out);
155 sodium_free(out2);
156
157 out = (unsigned char *) sodium_malloc(192);
158 out2 = (unsigned char *) sodium_malloc(192);
159 memset(out, 0, 192);
160 memset(out2, 0, 192);
161 crypto_stream_xchacha20_xor_ic(out2, out2, 192, nonce,
162 (1ULL << 32) - 1ULL, key);
163 crypto_stream_xchacha20_xor_ic(out, out, 64, nonce,
164 (1ULL << 32) - 1ULL, key);
165 crypto_stream_xchacha20_xor_ic(out + 64, out + 64, 64, nonce,
166 (1ULL << 32), key);
167 crypto_stream_xchacha20_xor_ic(out + 128, out + 128, 64, nonce,
168 (1ULL << 32) + 1, key);
169 assert(memcmp(out, out2, 192) == 0);
170 hex = (char *) sodium_malloc(192 * 2 + 1);
171 sodium_bin2hex(hex, 192 * 2 + 1, out, 192);
172 printf("%s\n", hex);
173
174 memset(key, 0, crypto_stream_xchacha20_KEYBYTES);
175 crypto_stream_xchacha20_keygen(key);
176 assert(sodium_is_zero(key, crypto_stream_xchacha20_KEYBYTES) == 0);
177
178 sodium_free(hex);
179 sodium_free(out);
180 sodium_free(out2);
181
182 sodium_free(nonce);
183 sodium_free(key);
184
185 assert(crypto_stream_xchacha20_keybytes() == crypto_stream_xchacha20_KEYBYTES);
186 assert(crypto_stream_xchacha20_noncebytes() == crypto_stream_xchacha20_NONCEBYTES);
187 assert(crypto_stream_xchacha20_messagebytes_max() == crypto_stream_xchacha20_MESSAGEBYTES_MAX);
188
189 printf("tv_stream_xchacha20: ok\n");
190 }
191
192 typedef struct XChaCha20Poly1305TV_ {
193 const char key[crypto_secretbox_xchacha20poly1305_KEYBYTES * 2 + 1];
194 const char nonce[crypto_secretbox_xchacha20poly1305_NONCEBYTES * 2 + 1];
195 const char *m;
196 const char *out;
197 } XChaCha20Poly1305TV;
198
199 static void
tv_secretbox_xchacha20poly1305(void)200 tv_secretbox_xchacha20poly1305(void)
201 {
202 static const XChaCha20Poly1305TV tvs[] = {
203 { "065ff46a9dddb1ab047ee5914d6d575a828b8cc1f454b24e8cd0f57efdc49a34", "f83262646ce01293b9923a65a073df78c54b2e799cd6c4e5", "", "4c72340416339dcdea01b760db5adaf7" },
204 { "d3c71d54e6b13506e07aa2e7b412a17a7a1f34df3d3148cd3f45b91ccaa5f4d9", "943b454a853aa514c63cf99b1e197bbb99da24b2e2d93e47", "76bd706e07741e713d90efdb34ad202067263f984942aae8bda159f30dfccc72200f8093520b85c5ad124ff7c8b2d920946e5cfff4b819abf84c7b35a6205ca72c9f8747c3044dd73fb4bebda1b476", "0384276f1cfa5c82c3e58f0f2acc1f821c6f526d2c19557cf8bd270fcde43fba1d88890663f7b2f5c6b1d7deccf5c91b4df5865dc55cc7e04d6793fc2db8f9e3b418f95cb796d67a7f3f7e097150cb607c435dacf82eac3d669866e5092ace" },
205 { "9498fdb922e0596e32af7f8108def2068f5a32a5ac70bd33ade371701f3d98d0", "a0056f24be0d20106fe750e2ee3684d4457cbdcb3a74e566", "b1bc9cfedb340fb06a37eba80439189e48aa0cfd37020eec0afa09165af12864671b3fbddbbb20ac18f586f2f66d13b3ca40c9a7e21c4513a5d87a95319f8ca3c2151e2a1b8b86a35653e77f90b9e63d2a84be9b9603876a89d60fd708edcd64b41be1064b8ad1046553aaeb51dc70b8112c9915d94f2a5dad1e14e7009db6c703c843a4f64b77d44b179b9579ac497dac2d33", "4918790d46893fa3dca74d8abc57eef7fca2c6393d1beef5efa845ac20475db38d1a068debf4c5dbd8614eb072877c565dc52bd40941f0b590d2079a5028e426bf50bcbaadcbebf278bddceedc578a5e31379523dee15026ec82d34e56f2871fdf13255db199ac48f163d5ee7e4f4e09a39451356959d9242a39aea33990ab960a4c25346e3d9397fc5e7cb6266c2476411cd331f2bcb4486750c746947ec6401865d5" },
206 { "fa2d915e044d0519248150e7c815b01f0f2a691c626f8d22c3ef61e7f16eea47", "c946065dc8befa9cc9f292ea2cf28f0256285565051792b7", "d5be1a24c7872115dc5c5b4234dbee35a6f89ae3a91b3e33d75249a0aecfed252341295f49296f7ee14d64de1ea6355cb8facd065052d869aeb1763cda7e418a7e33b6f7a81327181df6cd4de3a126d9df1b5e8b0b1a6b281e63f2", "6d32e3571afec58b0acabb54a287118b3ed6691f56cc8ead12d735352c9a050c2ca173c78b6092f9ad4b7c21c36fb0ce18560956395bab3099c54760a743051ac6a898a0b0034b5e953340c975cf7a873c56b27e66bca2bff1dd977addefc7935bb7550753dd13d1f1a43d" },
207 { "6f149c2ec27af45176030c8dd7ab0e1e488f5803f26f75045d7a56f59a587a85", "952aff2f39bc70016f04ac7fb8b55fd22764ba16b56e255d", "8fde598c4bde5786abdc6ab83fce66d59782b6ce36afe028c447ad4086a748764afa88a520e837a9d56d0b7693b0476649f24c2aa44b94615a1efc75", "9bccf07974836fa4609d32d9527d928d184d9c6c0823af2f703e0e257a162d26d3678fa15ab1c4db76ac42084d32cefca8efaf77814c199b310999e327a3e3daa2e235b175979504ede87b58" },
208 { "b964b7fdf442efbcc2cd3e4cd596035bdfb05ed7d44f7fd4dce2d5614af5c8c4", "2886fbfa4b35b68f28d31df6243a4fbc56475b69e24820a4", "", "b83fbdd112bf0f7d62eff96c9faa8850" },
209 { "10c0ad4054b48d7d1de1d9ab6f782ca883d886573e9d18c1d47b6ee6b5208189", "977edf57428d0e0247a3c88c9a9ec321bbaae1a4da8353b5", "518e4a27949812424b2a381c3efea6055ee5e75eff", "0c801a037c2ed0500d6ef68e8d195eceb05a15f8edb68b35773e81ac2aca18e9be53416f9a" },
210 { "7db0a81d01699c86f47a3ec76d46aa32660adad7f9ac72cf8396419f789f6bb1", "e7cb57132ce954e28f4470cca1dbda20b534cdf32fbe3658", "ee6511d403539e611ab312205f0c3b8f36a33d36f1dc44bb33d6836f0ab93b9f1747167bf0150f045fcd12a39479641d8bdde6fe01475196e8fe2c435e834e30a59f6aaa01ebcd", "ae8b1d4df4f982b2702626feca07590fedd0dfa7ae34e6a098372a1aa32f9fbf0ce2a88b5c16a571ef48f3c9fda689ce8ebb9947c9e2a28e01b1191efc81ad2ce0ed6e6fc7c164b1fc7f3d50b7f5e47a895db3c1fc46c0" },
211 { "7b043dd27476cf5a2baf2907541d8241ecd8b97d38d08911737e69b0846732fb", "74706a2855f946ed600e9b453c1ac372520b6a76a3c48a76", "dbf165bb8352d6823991b99f3981ba9c8153635e5695477cba54e96a2a8c4dc5f9dbe817887d7340e3f48a", "ce57261afba90a9598de15481c43f26f7b8c8cb2806c7c977752dba898dc51b92a3f1a62ebf696747bfccf72e0edda97f2ccd6d496f55aefbb3ec2" },
212 { "e588e418d658df1b2b1583122e26f74ca3506b425087bea895d81021168f8164", "4f4d0ffd699268cd841ce4f603fe0cd27b8069fcf8215fbb", "f91bcdcf4d08ba8598407ba8ef661e66c59ca9d89f3c0a3542e47246c777091e4864e63e1e3911dc01257255e551527a53a34481be", "22dc88de7cacd4d9ce73359f7d6e16e74caeaa7b0d1ef2bb10fda4e79c3d5a9aa04b8b03575fd27bc970c9ed0dc80346162469e0547030ddccb8cdc95981400907c87c9442" }
213 };
214 const XChaCha20Poly1305TV *tv;
215 unsigned char *m;
216 unsigned char *nonce;
217 unsigned char *key;
218 unsigned char *out;
219 unsigned char *out2;
220 size_t m_len;
221 size_t n;
222 size_t i;
223
224 key = (unsigned char *) sodium_malloc
225 (crypto_secretbox_xchacha20poly1305_KEYBYTES);
226 nonce = (unsigned char *) sodium_malloc
227 (crypto_secretbox_xchacha20poly1305_NONCEBYTES);
228 for (i = 0; i < (sizeof tvs) / (sizeof tvs[0]); i++) {
229 tv = &tvs[i];
230 m_len = strlen(tv->m) / 2;
231 m = (unsigned char *) sodium_malloc(m_len);
232 sodium_hex2bin(key, crypto_secretbox_xchacha20poly1305_KEYBYTES,
233 tv->key, strlen(tv->key), NULL, NULL, NULL);
234 sodium_hex2bin(nonce, crypto_secretbox_xchacha20poly1305_NONCEBYTES,
235 tv->nonce, strlen(tv->nonce), NULL, NULL, NULL);
236 sodium_hex2bin(m, m_len, tv->m, strlen(tv->m), NULL, NULL, NULL);
237 out = (unsigned char *) sodium_malloc
238 (crypto_secretbox_xchacha20poly1305_MACBYTES + m_len);
239 out2 = (unsigned char *) sodium_malloc
240 (crypto_secretbox_xchacha20poly1305_MACBYTES + m_len);
241 sodium_hex2bin(out, crypto_secretbox_xchacha20poly1305_MACBYTES + m_len,
242 tv->out, strlen(tv->out), NULL, NULL, NULL);
243 assert(crypto_secretbox_xchacha20poly1305_easy(out2, m, 0, nonce, key) == 0);
244 assert(crypto_secretbox_xchacha20poly1305_easy(out2, m, m_len, nonce, key) == 0);
245 assert(memcmp(out, out2,
246 crypto_secretbox_xchacha20poly1305_MACBYTES + m_len) == 0);
247 n = randombytes_uniform(crypto_secretbox_xchacha20poly1305_MACBYTES + (uint32_t) m_len);
248 assert(crypto_secretbox_xchacha20poly1305_open_easy
249 (out2, out2, crypto_secretbox_xchacha20poly1305_MACBYTES - 1,
250 nonce, key) == -1);
251 assert(crypto_secretbox_xchacha20poly1305_open_easy
252 (out2, out2, 0,
253 nonce, key) == -1);
254 out2[n]++;
255 assert(crypto_secretbox_xchacha20poly1305_open_easy
256 (out2, out2, crypto_secretbox_xchacha20poly1305_MACBYTES + m_len,
257 nonce, key) == -1);
258 out2[n]--;
259 nonce[0]++;
260 assert(crypto_secretbox_xchacha20poly1305_open_easy
261 (out2, out2, crypto_secretbox_xchacha20poly1305_MACBYTES + m_len,
262 nonce, key) == -1);
263 nonce[0]--;
264 assert(crypto_secretbox_xchacha20poly1305_open_easy
265 (out2, out2, crypto_secretbox_xchacha20poly1305_MACBYTES + m_len,
266 nonce, key) == 0);
267 assert(crypto_secretbox_xchacha20poly1305_open_easy
268 (out2, out2, crypto_secretbox_xchacha20poly1305_MACBYTES - 1,
269 nonce, key) == -1);
270 assert(crypto_secretbox_xchacha20poly1305_open_easy
271 (out2, out2, 0, nonce, key) == -1);
272 assert(memcmp(m, out2, m_len) == 0);
273 assert(crypto_secretbox_xchacha20poly1305_open_detached
274 (out2, out + crypto_secretbox_xchacha20poly1305_MACBYTES, out,
275 m_len, nonce, key) == 0);
276 assert(crypto_secretbox_xchacha20poly1305_open_detached
277 (NULL, out + crypto_secretbox_xchacha20poly1305_MACBYTES, out,
278 m_len, nonce, key) == 0);
279 crypto_secretbox_xchacha20poly1305_detached
280 (out2 + crypto_secretbox_xchacha20poly1305_MACBYTES, out2, m,
281 m_len, nonce, key);
282 assert(memcmp(out, out2,
283 crypto_secretbox_xchacha20poly1305_MACBYTES + m_len) == 0);
284 sodium_free(out);
285 sodium_free(out2);
286 sodium_free(m);
287 }
288 sodium_free(nonce);
289 sodium_free(key);
290
291 assert(crypto_secretbox_xchacha20poly1305_keybytes() == crypto_secretbox_xchacha20poly1305_KEYBYTES);
292 assert(crypto_secretbox_xchacha20poly1305_noncebytes() == crypto_secretbox_xchacha20poly1305_NONCEBYTES);
293 assert(crypto_secretbox_xchacha20poly1305_macbytes() == crypto_secretbox_xchacha20poly1305_MACBYTES);
294 assert(crypto_secretbox_xchacha20poly1305_messagebytes_max() == crypto_secretbox_xchacha20poly1305_MESSAGEBYTES_MAX);
295
296 printf("tv_secretbox_xchacha20: ok\n");
297 }
298
299 static void
tv_box_xchacha20poly1305(void)300 tv_box_xchacha20poly1305(void)
301 {
302 char hex[65];
303 unsigned char *pk;
304 unsigned char *sk;
305 unsigned char *m;
306 unsigned char *m2;
307 unsigned char *mac;
308 unsigned char *nonce;
309 unsigned char *out;
310 unsigned char *pc;
311 unsigned char *seed;
312 size_t m_len;
313 int i;
314
315 pk = (unsigned char *) sodium_malloc(crypto_box_curve25519xchacha20poly1305_PUBLICKEYBYTES);
316 sk = (unsigned char *) sodium_malloc(crypto_box_curve25519xchacha20poly1305_SECRETKEYBYTES);
317 nonce = (unsigned char *) sodium_malloc(crypto_box_curve25519xchacha20poly1305_NONCEBYTES);
318 mac = (unsigned char *) sodium_malloc(crypto_box_curve25519xchacha20poly1305_MACBYTES);
319 pc = (unsigned char *) sodium_malloc(crypto_box_curve25519xchacha20poly1305_BEFORENMBYTES);
320 for (i = 0; i < 10; i++) {
321 m_len = (i == 0) ? 0 : randombytes_uniform(150);
322 m = (unsigned char *) sodium_malloc(m_len);
323 m2 = (unsigned char *) sodium_malloc(m_len);
324
325 out = (unsigned char *) sodium_malloc
326 (crypto_box_curve25519xchacha20poly1305_MACBYTES + m_len);
327 randombytes_buf(nonce, crypto_box_curve25519xchacha20poly1305_NONCEBYTES);
328 randombytes_buf(m, m_len);
329 assert(crypto_box_curve25519xchacha20poly1305_keypair(pk, sk) == 0);
330 assert(crypto_box_curve25519xchacha20poly1305_easy(out, m, 0, nonce,
331 pk, sk) == 0);
332 assert(crypto_box_curve25519xchacha20poly1305_easy(out, m, m_len, nonce,
333 pk, sk) == 0);
334 assert(crypto_box_curve25519xchacha20poly1305_open_easy
335 (m2, out, crypto_box_curve25519xchacha20poly1305_MACBYTES + m_len,
336 nonce, small_order_p, sk) == -1);
337 assert(crypto_box_curve25519xchacha20poly1305_open_easy
338 (m2, out, crypto_box_curve25519xchacha20poly1305_MACBYTES - 1,
339 nonce, pk, sk) == -1);
340 assert(crypto_box_curve25519xchacha20poly1305_open_easy
341 (m2, out, 0, nonce, pk, sk) == -1);
342 assert(crypto_box_curve25519xchacha20poly1305_open_easy
343 (m2, out, crypto_box_curve25519xchacha20poly1305_MACBYTES + m_len,
344 nonce, pk, sk) == 0);
345 assert(memcmp(m2, m, m_len) == 0);
346 sodium_free(out);
347
348 out = (unsigned char *) sodium_malloc
349 (crypto_box_curve25519xchacha20poly1305_MACBYTES + m_len);
350 assert(crypto_box_curve25519xchacha20poly1305_beforenm(pc, small_order_p, sk) == -1);
351 assert(crypto_box_curve25519xchacha20poly1305_beforenm(pc, pk, sk) == 0);
352 assert(crypto_box_curve25519xchacha20poly1305_easy_afternm
353 (out, m, 0, nonce, pc) == 0);
354 assert(crypto_box_curve25519xchacha20poly1305_easy_afternm
355 (out, m, m_len, nonce, pc) == 0);
356 assert(crypto_box_curve25519xchacha20poly1305_open_easy_afternm
357 (m2, out, crypto_box_curve25519xchacha20poly1305_MACBYTES - 1,
358 nonce, pc) == -1);
359 assert(crypto_box_curve25519xchacha20poly1305_open_easy_afternm
360 (m2, out, 0,
361 nonce, pc) == -1);
362 assert(crypto_box_curve25519xchacha20poly1305_open_easy_afternm
363 (m2, out, crypto_box_curve25519xchacha20poly1305_MACBYTES + m_len,
364 nonce, pc) == 0);
365 assert(memcmp(m2, m, m_len) == 0);
366 sodium_free(out);
367
368 out = (unsigned char *) sodium_malloc(m_len);
369 assert(crypto_box_curve25519xchacha20poly1305_detached(out, mac, m, m_len,
370 nonce, small_order_p, sk) == -1);
371 assert(crypto_box_curve25519xchacha20poly1305_detached(out, mac, m, m_len,
372 nonce, pk, sk) == 0);
373 assert(crypto_box_curve25519xchacha20poly1305_open_detached
374 (m2, out, mac, m_len, nonce, small_order_p, sk) == -1);
375 assert(crypto_box_curve25519xchacha20poly1305_open_detached
376 (m2, out, mac, m_len, nonce, pk, sk) == 0);
377 sodium_free(out);
378
379 out = (unsigned char *) sodium_malloc(m_len);
380 assert(crypto_box_curve25519xchacha20poly1305_detached_afternm
381 (out, mac, m, m_len, nonce, pc) == 0);
382 assert(crypto_box_curve25519xchacha20poly1305_open_detached_afternm
383 (m2, out, mac, m_len, nonce, pc) == 0);
384 sodium_free(out);
385
386 sodium_free(m2);
387 sodium_free(m);
388 }
389 sodium_free(pc);
390 sodium_free(mac);
391 sodium_free(nonce);
392
393 seed = (unsigned char *) sodium_malloc
394 (crypto_box_curve25519xchacha20poly1305_SEEDBYTES);
395 for (i = 0; i <(int) crypto_box_curve25519xchacha20poly1305_SEEDBYTES; i++) {
396 seed[i] = (unsigned char) i;
397 }
398 crypto_box_curve25519xchacha20poly1305_seed_keypair(pk, sk, seed);
399 sodium_bin2hex(hex, sizeof hex, pk, crypto_box_curve25519xchacha20poly1305_PUBLICKEYBYTES);
400 assert(strcmp(hex, "4701d08488451f545a409fb58ae3e58581ca40ac3f7f114698cd71deac73ca01") == 0);
401 sodium_bin2hex(hex, sizeof hex, sk, crypto_box_curve25519xchacha20poly1305_SECRETKEYBYTES);
402 assert(strcmp(hex, "3d94eea49c580aef816935762be049559d6d1440dede12e6a125f1841fff8e6f") == 0);
403 sodium_free(seed);
404
405 sodium_free(sk);
406 sodium_free(pk);
407
408 assert(crypto_box_curve25519xchacha20poly1305_seedbytes() == crypto_box_curve25519xchacha20poly1305_SEEDBYTES);
409 assert(crypto_box_curve25519xchacha20poly1305_publickeybytes() == crypto_box_curve25519xchacha20poly1305_PUBLICKEYBYTES);
410 assert(crypto_box_curve25519xchacha20poly1305_secretkeybytes() == crypto_box_curve25519xchacha20poly1305_SECRETKEYBYTES);
411 assert(crypto_box_curve25519xchacha20poly1305_beforenmbytes() == crypto_box_curve25519xchacha20poly1305_BEFORENMBYTES);
412 assert(crypto_box_curve25519xchacha20poly1305_noncebytes() == crypto_box_curve25519xchacha20poly1305_NONCEBYTES);
413 assert(crypto_box_curve25519xchacha20poly1305_macbytes() == crypto_box_curve25519xchacha20poly1305_MACBYTES);
414 assert(crypto_box_curve25519xchacha20poly1305_messagebytes_max() == crypto_box_curve25519xchacha20poly1305_MESSAGEBYTES_MAX);
415
416 printf("tv_box_xchacha20poly1305: ok\n");
417 }
418
419 int
main(void)420 main(void)
421 {
422 tv_hchacha20();
423 tv_stream_xchacha20();
424 tv_secretbox_xchacha20poly1305();
425 tv_box_xchacha20poly1305();
426
427 return 0;
428 }
429