1
2#define TEST_NAME "xchacha20"
3#include "cmptest.h"
4
5typedef 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
11static 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
17static void
18tv_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
83typedef 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
89static void
90tv_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
192typedef 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
199static void
200tv_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
299static void
300tv_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
419int
420main(void)
421{
422    tv_hchacha20();
423    tv_stream_xchacha20();
424    tv_secretbox_xchacha20poly1305();
425    tv_box_xchacha20poly1305();
426
427    return 0;
428}
429