$(CC) $(CFLAGS) -o $@ $^ $(C_SODIUM_FLAGS) $(LD_SODIUM_FLAGS)
# Speed benchmark
-speed: tests/speed.c bin/rename_monocypher.o bin/rename_sha512.o
+speed: tests/speed.c bin/rename_monocypher.o bin/rename_sha512.o tweetnacl.o
$(CC) $(CFLAGS) -o $@ $^ $(C_SODIUM_FLAGS) $(LD_SODIUM_FLAGS)
+tweetnacl.o: tests/tweetnacl/tweetnacl.c tests/tweetnacl/tweetnacl.h
+ $(CC) $(CFLAGS) -o $@ -c $<
+
# Test edDSA/blake2b by comparing with the donna implementation
# Note: we're using Blake2b, the default hash for monocypher edDSA
donna: tests/donna.c bin/classic_monocypher.o bin/donna.o
#include <string.h>
#include <sodium.h>
#include "rename_monocypher.h"
+#include "rename_sha512.h"
+#include "tweetnacl/tweetnacl.h"
#define FOR(i, start, end) for (size_t (i) = (start); (i) < (end); (i)++)
typedef uint8_t u8;
typedef uint64_t u64;
typedef struct timespec timespec;
-#define SIZE (1024 * 1024 * 4)
+#define SIZE (1024 * 1024)
// Deterministic "random" number generator, so we can make "random", yet
// reproducible tests. To change the random stream, change the seed.
return (100 * ref_u) / t_u; // assuming t_u is never zero
}
+static void print(const char *name, int result, const char *lib_name)
+{
+ printf("%s: ", name);
+ if (result == 100) {
+ printf("As fast as %s\n", lib_name);
+ } else if (result < 100) {
+ printf("%3d%% slower than %s\n", 100 - result, lib_name);
+ }
+ else {
+ printf("%3d%% faster than %s\n", result - 100, lib_name);
+ }
+}
+
#define TIMESTAMP(t) \
timespec t; \
clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &t)
-#define TIMING_START(duration) \
- timespec duration; duration.tv_sec = 3600 * 24; \
- FOR (i, 0, 10) { \
- TIMESTAMP(start)
+#define TIMING_START(duration) \
+ timespec duration; \
+ duration.tv_sec = 3600 * 24; \
+ duration.tv_nsec = 0; \
+ FOR (i, 0, 10) { \
+ TIMESTAMP(start);
#define TIMING_END(duration) \
TIMESTAMP(end); \
duration = min(diff(start, end), duration); \
- } \
+ }
#define TIMING_RESULT(name, result_size) \
if (rename_memcmp(mono, sodium, result_size) != 0) { \
static u8 mono [SIZE];
static u8 sodium[SIZE];
- TIMING_START(monocypher);
- rename_chacha_ctx ctx;
- rename_chacha20_init(&ctx, key, nonce);
- rename_chacha20_encrypt(&ctx, mono, in, SIZE);
- TIMING_END(monocypher);
-
- TIMING_START(libsodium);
- crypto_stream_chacha20_xor(sodium, in, SIZE, nonce, key);
- TIMING_END(libsodium);
+ TIMING_START(monocypher) {
+ rename_chacha_ctx ctx;
+ rename_chacha20_init(&ctx, key, nonce);
+ rename_chacha20_encrypt(&ctx, mono, in, SIZE);
+ } TIMING_END(monocypher);
+ TIMING_START(libsodium) {
+ crypto_stream_chacha20_xor(sodium, in, SIZE, nonce, key);
+ } TIMING_END(libsodium);
TIMING_RESULT("Chacha20", SIZE);
}
static u8 mono [ 16];
static u8 sodium[ 16];
- TIMING_START(monocypher);
- rename_poly1305_auth(mono, in, SIZE, key);
+ TIMING_START(monocypher) {
+ rename_poly1305_auth(mono, in, SIZE, key);
+ }
TIMING_END(monocypher);
-
- TIMING_START(libsodium);
- crypto_onetimeauth(sodium, in, SIZE, key);
+ TIMING_START(libsodium) {
+ crypto_onetimeauth(sodium, in, SIZE, key);
+ }
TIMING_END(libsodium);
TIMING_RESULT("Poly1305", 16);
static u8 mono [ 64];
static u8 sodium[ 64];
- TIMING_START(monocypher);
- rename_blake2b_general(mono, 64, key, 32, in, SIZE);
+ TIMING_START(monocypher) {
+ rename_blake2b_general(mono, 64, key, 32, in, SIZE);
+ }
TIMING_END(monocypher);
-
- TIMING_START(libsodium);
- crypto_generichash(sodium, 64, in, SIZE, key, 32);
+ TIMING_START(libsodium) {
+ crypto_generichash(sodium, 64, in, SIZE, key, 32);
+ }
TIMING_END(libsodium);
TIMING_RESULT("Blake2b", 64);
static u8 mono [ 32];
static u8 sodium [ 32];
- TIMING_START(monocypher);
- rename_argon2i(mono, 32, work_area, nb_blocks, 3,
- password, 16, salt, 16, 0, 0, 0, 0);
+ TIMING_START(monocypher) {
+ rename_argon2i(mono, 32, work_area, nb_blocks, 3,
+ password, 16, salt, 16, 0, 0, 0, 0);
+ }
TIMING_END(monocypher);
- TIMING_START(libsodium);
- if (crypto_pwhash(sodium, 32, (char*)password, 16, salt,
- 3, nb_blocks * 1024, crypto_pwhash_ALG_DEFAULT)) {
- printf("Libsodium Argon2i failed to execute\n");
+ TIMING_START(libsodium) {
+ if (crypto_pwhash(sodium, 32, (char*)password, 16, salt,
+ 3, nb_blocks * 1024, crypto_pwhash_ALG_DEFAULT)) {
+ printf("Libsodium Argon2i failed to execute\n");
+ }
}
TIMING_END(libsodium);
u8 sodium_in[32] = {9};
u8 sodium [32] = {9};
- TIMING_START(monocypher);
- FOR (i, 0, 250) {
- u8 tmp[32];
- if (rename_x25519(tmp, mono, mono_in)) {
+ TIMING_START(monocypher) {
+ if (rename_x25519(mono, mono, mono_in)) {
printf("Monocypher x25519 rejected public key\n");
}
- FOR (i, 0, 32) { mono_in[i] = mono[i]; }
- FOR (i, 0, 32) { mono [i] = tmp [i]; }
}
TIMING_END(monocypher);
-
- TIMING_START(libsodium);
- FOR (i, 0, 250) {
- u8 tmp[32];
- if (crypto_scalarmult(tmp, sodium, sodium_in)) {
+ TIMING_START(libsodium) {
+ if (crypto_scalarmult(sodium, sodium, sodium_in)) {
printf("Libsodium x25519 rejected public key\n");
}
- FOR (i, 0, 32) { sodium_in[i] = sodium[i]; }
- FOR (i, 0, 32) { sodium [i] = tmp [i]; }
}
TIMING_END(libsodium);
TIMING_RESULT("x25519", 32);
}
-static int ed25519(void)
+static void ed25519(void)
{
u8 sk [32]; p_random(sk, 32);
u8 sk_sodium[64];
u8 pk [64];
crypto_sign_seed_keypair(pk, sk_sodium, sk);
- u8 mono_in [64] = {9};
- u8 sodium_in[64] = {9};
- u8 mono [64];
- u8 sodium [64];
+ u8 message [64]; p_random(message, 64);
+ u8 mono_sig [64];
+ u8 sodium_sig[64];
+
+ // Testing signature speed
+ TIMING_START(monocypher_sig) {
+ rename_sign(mono_sig, sk, pk, message, 64);
+ }
+ TIMING_END(monocypher_sig);
+ TIMING_START(libsodium_sig) {
+ crypto_sign_detached(sodium_sig, 0, message, 64, sk_sodium);
+ }
+ TIMING_END(libsodium_sig);
+
+
+ // testing verification speed (for correct signatures)
+ TIMING_START(monocypher_chk) {
+ if (rename_check(mono_sig, pk, message, 64)) {
+ printf("Monocypher verification failed\n");
+ }
+ }
+ TIMING_END(monocypher_chk);
+ TIMING_START(libsodium_chk) {
+ if (crypto_sign_verify_detached(sodium_sig, message, 64, pk)) {
+ printf("Libsodium verification failed\n");
+ }
+ }
+ TIMING_END(libsodium_chk);
+
+
+ if (rename_memcmp(mono_sig, sodium_sig, 64) != 0) {
+ printf("ed25519 benchmark failed (different results)\n");
+ }
+ print("ed25519(sig)", speed(libsodium_sig, monocypher_sig), "Libsodium");
+ print("ed25519(chk)", speed(libsodium_chk, monocypher_chk), "Libsodium");
+}
+
+#define T_TIMING_RESULT(name, result_size) \
+ printf(rename_memcmp(mono, sodium, result_size) != 0 ? "! " : " "); \
+ return speed(libsodium, monocypher)
+
+static int t_chacha20(void)
+{
+ static u8 in [SIZE]; p_random(in , SIZE);
+ static u8 key [ 32]; p_random(key , 32);
+ static u8 nonce [ 8]; p_random(nonce, 8);
+ static u8 mono [SIZE];
+ static u8 sodium[SIZE];
- TIMING_START(monocypher);
- FOR (i, 0, 250) {
- rename_sign(mono, sk, pk, mono_in, 64);
- FOR (i, 0, 64) { mono_in[i] = mono[i]; }
+ TIMING_START(monocypher) {
+ rename_chacha_ctx ctx;
+ rename_chacha20_init(&ctx, key, nonce);
+ rename_chacha20_encrypt(&ctx, mono, in, SIZE);
}
TIMING_END(monocypher);
+ TIMING_START(libsodium) {
+ tweet_stream_salsa20_crypto_xor(sodium , in, SIZE, nonce, key);
+ }
+ TIMING_END(libsodium);
+
+ T_TIMING_RESULT("Chacha20", SIZE);
+}
+
+static int t_poly1305(void)
+{
+ static u8 in [SIZE]; p_random(in , SIZE);
+ static u8 key [ 32]; p_random(key , 32);
+ static u8 mono [ 16];
+ static u8 sodium[ 16];
- TIMING_START(libsodium);
- FOR (i, 0, 250) {
- crypto_sign_detached(sodium, 0, sodium_in, 64, sk_sodium);
- FOR (i, 0, 64) { sodium_in[i] = sodium[i]; }
+ TIMING_START(monocypher) {
+ rename_poly1305_auth(mono, in, SIZE, key);
+ }
+ TIMING_END(monocypher);
+ TIMING_START(libsodium) {
+ tweet_onetimeauth_poly1305_crypto(sodium , in, SIZE, key);
}
TIMING_END(libsodium);
- TIMING_RESULT("ed25519", 64);
+ T_TIMING_RESULT("Poly1305", 16);
}
-static int ed_check(void)
+static int t_blake2b(void)
{
- u8 sk [32]; p_random(sk, 32);
- u8 sk_sodium[64];
- u8 pk [64];
- crypto_sign_seed_keypair(pk, sk_sodium, sk);
+ static u8 in [SIZE]; p_random(in , SIZE);
+ static u8 key [ 32]; p_random(key, 32);
+ static u8 mono [ 64];
+ static u8 sodium[ 64];
+
+ TIMING_START(monocypher) {
+ rename_blake2b_general(mono, 64, key, 32, in, SIZE);
+ }
+ TIMING_END(monocypher);
- u8 input [64]; p_random(input, 32);
- u8 mono [1] = {0};
- u8 sodium [1] = {0};
+ TIMING_START(libsodium) {
+ tweet_hash_sha512_crypto(sodium, in, SIZE);
+ }
+ TIMING_END(libsodium);
+
+ T_TIMING_RESULT("Blake2b", 64);
+}
+
+static int t_sha512(void)
+{
+ static u8 in [SIZE]; p_random(in , SIZE);
+ static u8 key [ 32]; p_random(key, 32);
+ static u8 mono [ 64];
+ static u8 sodium[ 64];
+
+ TIMING_START(monocypher) {
+ rename_sha512(mono, in, SIZE);
+ }
+ TIMING_END(monocypher);
+
+ TIMING_START(libsodium) {
+ tweet_hash_sha512_crypto(sodium, in, SIZE);
+ }
+ TIMING_END(libsodium);
+
+ T_TIMING_RESULT("Blake2b", 64);
+}
+
+
+static int t_x25519(void)
+{
+ u8 mono_in [32] = {9};
+ u8 mono [32] = {9};
+ u8 sodium_in[32] = {9};
+ u8 sodium [32] = {9};
- TIMING_START(monocypher);
- FOR (i, 0, 250) {
- if (rename_check(input, pk, input, 64)) {
- mono[0]++;
+ TIMING_START(monocypher) {
+ if (rename_x25519(mono, mono, mono_in)) {
+ printf("Monocypher x25519 rejected public key\n");
}
}
TIMING_END(monocypher);
- TIMING_START(libsodium);
- FOR (i, 0, 250) {
- if (crypto_sign_verify_detached(input, input, 64, pk)) {
- sodium[0]++;
+ TIMING_START(libsodium) {
+ if (tweet_scalarmult_curve25519_crypto(sodium, sodium, sodium_in)) {
+ printf("Libsodium x25519 rejected public key\n");
}
}
TIMING_END(libsodium);
- TIMING_RESULT("ed_check", 1);
+ T_TIMING_RESULT("x25519", 32);
}
-static void print(const char *name, int result)
+static void t_ed25519(void)
{
- printf("%s: ", name);
- if (result == 100) {
- printf("As fast as Libsodium\n");
- } else if (result < 100) {
- printf("%d%% slower than Libsodium\n" , 100 - result);
+ u8 sk [32]; p_random(sk, 32);
+ u8 sk_sodium[64];
+ u8 pk [64];
+ crypto_sign_seed_keypair(pk, sk_sodium, sk);
+
+ u8 message [ 64]; p_random(message , 64);
+ u8 mono_sig [ 64];
+ u8 sodium_sig[128];
+
+ // Testing signature speed
+ TIMING_START(monocypher_sig) {
+ rename_sign(mono_sig, sk, pk, message, 64);
}
- else {
- printf("%d%% FASTER than Libsodium!!\n", result - 100);
+ TIMING_END(monocypher_sig);
+
+ TIMING_START(libsodium_sig) {
+ long long unsigned sm_len;
+ tweet_sign(sodium_sig, &sm_len, message, 64, sk_sodium);
}
-}
+ TIMING_END(libsodium_sig);
+
+ if (rename_memcmp(mono_sig, sodium_sig, 64) != 0) {
+ printf("ed25519 benchmark failed (different results)\n");
+ }
+ if (rename_memcmp(message, sodium_sig + 64, 64) != 0) {
+ printf("ed25519 benchmark failed (message not copied)\n");
+ }
+
+ // testing verification speed (for correct signatures)
+ TIMING_START(monocypher_chk) {
+ if (rename_check(mono_sig, pk, message, 64)) {
+ printf("Monocypher verification failed\n");
+ }
+ }
+ TIMING_END(monocypher_chk);
+
+ int tweet_fail = 0;
+ TIMING_START(libsodium_chk) {
+ u8 m[64];
+ long long unsigned m_len;
+ tweet_fail |= tweet_sign_open(m, &m_len, sodium_sig, 128, pk);
+ }
+ TIMING_END(libsodium_chk);
+ print(" ed25519(sig)", speed(libsodium_sig, monocypher_sig), "TweetNaCl");
+ print(" ed25519(chk)", speed(libsodium_chk, monocypher_chk), "TweetNaCl");
+
+ if (tweet_fail) {
+ printf("Note: TweetNaCl rejected its own signature, I don't know why\n");
+ }
+}
int main()
{
- print("Chacha20", chacha20());
- print("Poly1305", poly1305());
- print("Blake2b ", blake2b ());
- print("Argon2i ", argon2i ());
- print("x25519 ", x25519 ());
- print("ed25519 ", ed25519 ());
- print("ed_check", ed_check());
+ printf("\nComparing with Libsodium\n");
+ printf("------------------------\n");
+ print("Chacha20 ", chacha20(), "Libsodium");
+ print("Poly1305 ", poly1305(), "Libsodium");
+ print("Blake2b ", blake2b (), "Libsodium");
+ print("Argon2i ", argon2i (), "Libsodium");
+ print("x25519 ", x25519 (), "Libsodium");
+ ed25519();
+
+ printf("\nComparing with TweetNaCl "
+ "(apple to orange comparisons are marked with a '!')\n");
+ printf("------------------------\n");
+ print("Chacha20 ", t_chacha20(), "TweetNaCl's Salsa20");
+ print("Poly1305 ", t_poly1305(), "TweetNaCl");
+ print("Blake2b ", t_blake2b (), "TweetNaCl's Sha512");
+ print("Sha512 ", t_sha512 (), "TweetNaCl");
+ print("x25519 ", t_x25519 (), "TweetNaCl");
+ t_ed25519 ();
+
+ printf("\n");
return 0;
}
--- /dev/null
+#include "tweetnacl.h"
+#define FOR(i,n) for (i = 0;i < n;++i)
+#define sv static void
+
+typedef unsigned char u8;
+typedef unsigned long u32;
+typedef unsigned long long u64;
+typedef long long i64;
+typedef i64 gf[16];
+extern void randombytes(u8 *,u64);
+
+static const u8
+ _0[16],
+ _9[32] = {9};
+static const gf
+ gf0,
+ gf1 = {1},
+ _121665 = {0xDB41,1},
+ D = {0x78a3, 0x1359, 0x4dca, 0x75eb, 0xd8ab, 0x4141, 0x0a4d, 0x0070, 0xe898, 0x7779, 0x4079, 0x8cc7, 0xfe73, 0x2b6f, 0x6cee, 0x5203},
+ D2 = {0xf159, 0x26b2, 0x9b94, 0xebd6, 0xb156, 0x8283, 0x149a, 0x00e0, 0xd130, 0xeef3, 0x80f2, 0x198e, 0xfce7, 0x56df, 0xd9dc, 0x2406},
+ X = {0xd51a, 0x8f25, 0x2d60, 0xc956, 0xa7b2, 0x9525, 0xc760, 0x692c, 0xdc5c, 0xfdd6, 0xe231, 0xc0a4, 0x53fe, 0xcd6e, 0x36d3, 0x2169},
+ Y = {0x6658, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666, 0x6666},
+ I = {0xa0b0, 0x4a0e, 0x1b27, 0xc4ee, 0xe478, 0xad2f, 0x1806, 0x2f43, 0xd7a7, 0x3dfb, 0x0099, 0x2b4d, 0xdf0b, 0x4fc1, 0x2480, 0x2b83};
+
+static u32 L32(u32 x,int c) { return (x << c) | ((x&0xffffffff) >> (32 - c)); }
+
+static u32 ld32(const u8 *x)
+{
+ u32 u = x[3];
+ u = (u<<8)|x[2];
+ u = (u<<8)|x[1];
+ return (u<<8)|x[0];
+}
+
+static u64 dl64(const u8 *x)
+{
+ u64 i,u=0;
+ FOR(i,8) u=(u<<8)|x[i];
+ return u;
+}
+
+sv st32(u8 *x,u32 u)
+{
+ int i;
+ FOR(i,4) { x[i] = u; u >>= 8; }
+}
+
+sv ts64(u8 *x,u64 u)
+{
+ int i;
+ for (i = 7;i >= 0;--i) { x[i] = u; u >>= 8; }
+}
+
+static int vn(const u8 *x,const u8 *y,int n)
+{
+ int i;
+ u32 d = 0;
+ FOR(i,n) d |= x[i]^y[i];
+ return (1 & ((d - 1) >> 8)) - 1;
+}
+
+int tweet_verify_16(const u8 *x,const u8 *y)
+{
+ return vn(x,y,16);
+}
+
+int tweet_verify_32(const u8 *x,const u8 *y)
+{
+ return vn(x,y,32);
+}
+
+sv core(u8 *out,const u8 *in,const u8 *k,const u8 *c,int h)
+{
+ u32 w[16],x[16],y[16],t[4];
+ int i,j,m;
+
+ FOR(i,4) {
+ x[5*i] = ld32(c+4*i);
+ x[1+i] = ld32(k+4*i);
+ x[6+i] = ld32(in+4*i);
+ x[11+i] = ld32(k+16+4*i);
+ }
+
+ FOR(i,16) y[i] = x[i];
+
+ FOR(i,20) {
+ FOR(j,4) {
+ FOR(m,4) t[m] = x[(5*j+4*m)%16];
+ t[1] ^= L32(t[0]+t[3], 7);
+ t[2] ^= L32(t[1]+t[0], 9);
+ t[3] ^= L32(t[2]+t[1],13);
+ t[0] ^= L32(t[3]+t[2],18);
+ FOR(m,4) w[4*j+(j+m)%4] = t[m];
+ }
+ FOR(m,16) x[m] = w[m];
+ }
+
+ if (h) {
+ FOR(i,16) x[i] += y[i];
+ FOR(i,4) {
+ x[5*i] -= ld32(c+4*i);
+ x[6+i] -= ld32(in+4*i);
+ }
+ FOR(i,4) {
+ st32(out+4*i,x[5*i]);
+ st32(out+16+4*i,x[6+i]);
+ }
+ } else
+ FOR(i,16) st32(out + 4 * i,x[i] + y[i]);
+}
+
+int tweet_core_salsa20(u8 *out,const u8 *in,const u8 *k,const u8 *c)
+{
+ core(out,in,k,c,0);
+ return 0;
+}
+
+int tweet_core_hsalsa20(u8 *out,const u8 *in,const u8 *k,const u8 *c)
+{
+ core(out,in,k,c,1);
+ return 0;
+}
+
+static const u8 sigma[16] = "expand 32-byte k";
+
+int tweet_stream_salsa20_xor(u8 *c,const u8 *m,u64 b,const u8 *n,const u8 *k)
+{
+ u8 z[16],x[64];
+ u32 u,i;
+ if (!b) return 0;
+ FOR(i,16) z[i] = 0;
+ FOR(i,8) z[i] = n[i];
+ while (b >= 64) {
+ tweet_core_salsa20(x,z,k,sigma);
+ FOR(i,64) c[i] = (m?m[i]:0) ^ x[i];
+ u = 1;
+ for (i = 8;i < 16;++i) {
+ u += (u32) z[i];
+ z[i] = u;
+ u >>= 8;
+ }
+ b -= 64;
+ c += 64;
+ if (m) m += 64;
+ }
+ if (b) {
+ tweet_core_salsa20(x,z,k,sigma);
+ FOR(i,b) c[i] = (m?m[i]:0) ^ x[i];
+ }
+ return 0;
+}
+
+int tweet_stream_salsa20(u8 *c,u64 d,const u8 *n,const u8 *k)
+{
+ return tweet_stream_salsa20_xor(c,0,d,n,k);
+}
+
+int tweet_stream(u8 *c,u64 d,const u8 *n,const u8 *k)
+{
+ u8 s[32];
+ tweet_core_hsalsa20(s,n,k,sigma);
+ return tweet_stream_salsa20(c,d,n+16,s);
+}
+
+int tweet_stream_xor(u8 *c,const u8 *m,u64 d,const u8 *n,const u8 *k)
+{
+ u8 s[32];
+ tweet_core_hsalsa20(s,n,k,sigma);
+ return tweet_stream_salsa20_xor(c,m,d,n+16,s);
+}
+
+sv add1305(u32 *h,const u32 *c)
+{
+ u32 j,u = 0;
+ FOR(j,17) {
+ u += h[j] + c[j];
+ h[j] = u & 255;
+ u >>= 8;
+ }
+}
+
+static const u32 minusp[17] = {
+ 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 252
+} ;
+
+int tweet_onetimeauth(u8 *out,const u8 *m,u64 n,const u8 *k)
+{
+ u32 s,i,j,u,x[17],r[17],h[17],c[17],g[17];
+
+ FOR(j,17) r[j]=h[j]=0;
+ FOR(j,16) r[j]=k[j];
+ r[3]&=15;
+ r[4]&=252;
+ r[7]&=15;
+ r[8]&=252;
+ r[11]&=15;
+ r[12]&=252;
+ r[15]&=15;
+
+ while (n > 0) {
+ FOR(j,17) c[j] = 0;
+ for (j = 0;(j < 16) && (j < n);++j) c[j] = m[j];
+ c[j] = 1;
+ m += j; n -= j;
+ add1305(h,c);
+ FOR(i,17) {
+ x[i] = 0;
+ FOR(j,17) x[i] += h[j] * ((j <= i) ? r[i - j] : 320 * r[i + 17 - j]);
+ }
+ FOR(i,17) h[i] = x[i];
+ u = 0;
+ FOR(j,16) {
+ u += h[j];
+ h[j] = u & 255;
+ u >>= 8;
+ }
+ u += h[16]; h[16] = u & 3;
+ u = 5 * (u >> 2);
+ FOR(j,16) {
+ u += h[j];
+ h[j] = u & 255;
+ u >>= 8;
+ }
+ u += h[16]; h[16] = u;
+ }
+
+ FOR(j,17) g[j] = h[j];
+ add1305(h,minusp);
+ s = -(h[16] >> 7);
+ FOR(j,17) h[j] ^= s & (g[j] ^ h[j]);
+
+ FOR(j,16) c[j] = k[j + 16];
+ c[16] = 0;
+ add1305(h,c);
+ FOR(j,16) out[j] = h[j];
+ return 0;
+}
+
+int tweet_onetimeauth_verify(const u8 *h,const u8 *m,u64 n,const u8 *k)
+{
+ u8 x[16];
+ tweet_onetimeauth(x,m,n,k);
+ return tweet_verify_16(h,x);
+}
+
+int tweet_secretbox(u8 *c,const u8 *m,u64 d,const u8 *n,const u8 *k)
+{
+ int i;
+ if (d < 32) return -1;
+ tweet_stream_xor(c,m,d,n,k);
+ tweet_onetimeauth(c + 16,c + 32,d - 32,c);
+ FOR(i,16) c[i] = 0;
+ return 0;
+}
+
+int tweet_secretbox_open(u8 *m,const u8 *c,u64 d,const u8 *n,const u8 *k)
+{
+ int i;
+ u8 x[32];
+ if (d < 32) return -1;
+ tweet_stream(x,32,n,k);
+ if (tweet_onetimeauth_verify(c + 16,c + 32,d - 32,x) != 0) return -1;
+ tweet_stream_xor(m,c,d,n,k);
+ FOR(i,32) m[i] = 0;
+ return 0;
+}
+
+sv set25519(gf r, const gf a)
+{
+ int i;
+ FOR(i,16) r[i]=a[i];
+}
+
+sv car25519(gf o)
+{
+ int i;
+ i64 c;
+ FOR(i,16) {
+ o[i]+=(1LL<<16);
+ c=o[i]>>16;
+ o[(i+1)*(i<15)]+=c-1+37*(c-1)*(i==15);
+ o[i]-=c<<16;
+ }
+}
+
+sv sel25519(gf p,gf q,int b)
+{
+ i64 t,i,c=~(b-1);
+ FOR(i,16) {
+ t= c&(p[i]^q[i]);
+ p[i]^=t;
+ q[i]^=t;
+ }
+}
+
+sv pack25519(u8 *o,const gf n)
+{
+ int i,j,b;
+ gf m,t;
+ FOR(i,16) t[i]=n[i];
+ car25519(t);
+ car25519(t);
+ car25519(t);
+ FOR(j,2) {
+ m[0]=t[0]-0xffed;
+ for(i=1;i<15;i++) {
+ m[i]=t[i]-0xffff-((m[i-1]>>16)&1);
+ m[i-1]&=0xffff;
+ }
+ m[15]=t[15]-0x7fff-((m[14]>>16)&1);
+ b=(m[15]>>16)&1;
+ m[14]&=0xffff;
+ sel25519(t,m,1-b);
+ }
+ FOR(i,16) {
+ o[2*i]=t[i]&0xff;
+ o[2*i+1]=t[i]>>8;
+ }
+}
+
+static int neq25519(const gf a, const gf b)
+{
+ u8 c[32],d[32];
+ pack25519(c,a);
+ pack25519(d,b);
+ return tweet_verify_32(c,d);
+}
+
+static u8 par25519(const gf a)
+{
+ u8 d[32];
+ pack25519(d,a);
+ return d[0]&1;
+}
+
+sv unpack25519(gf o, const u8 *n)
+{
+ int i;
+ FOR(i,16) o[i]=n[2*i]+((i64)n[2*i+1]<<8);
+ o[15]&=0x7fff;
+}
+
+sv A(gf o,const gf a,const gf b)
+{
+ int i;
+ FOR(i,16) o[i]=a[i]+b[i];
+}
+
+sv Z(gf o,const gf a,const gf b)
+{
+ int i;
+ FOR(i,16) o[i]=a[i]-b[i];
+}
+
+sv M(gf o,const gf a,const gf b)
+{
+ i64 i,j,t[31];
+ FOR(i,31) t[i]=0;
+ FOR(i,16) FOR(j,16) t[i+j]+=a[i]*b[j];
+ FOR(i,15) t[i]+=38*t[i+16];
+ FOR(i,16) o[i]=t[i];
+ car25519(o);
+ car25519(o);
+}
+
+sv S(gf o,const gf a)
+{
+ M(o,a,a);
+}
+
+sv inv25519(gf o,const gf i)
+{
+ gf c;
+ int a;
+ FOR(a,16) c[a]=i[a];
+ for(a=253;a>=0;a--) {
+ S(c,c);
+ if(a!=2&&a!=4) M(c,c,i);
+ }
+ FOR(a,16) o[a]=c[a];
+}
+
+sv pow2523(gf o,const gf i)
+{
+ gf c;
+ int a;
+ FOR(a,16) c[a]=i[a];
+ for(a=250;a>=0;a--) {
+ S(c,c);
+ if(a!=1) M(c,c,i);
+ }
+ FOR(a,16) o[a]=c[a];
+}
+
+int tweet_scalarmult(u8 *q,const u8 *n,const u8 *p)
+{
+ u8 z[32];
+ i64 x[80],r,i;
+ gf a,b,c,d,e,f;
+ FOR(i,31) z[i]=n[i];
+ z[31]=(n[31]&127)|64;
+ z[0]&=248;
+ unpack25519(x,p);
+ FOR(i,16) {
+ b[i]=x[i];
+ d[i]=a[i]=c[i]=0;
+ }
+ a[0]=d[0]=1;
+ for(i=254;i>=0;--i) {
+ r=(z[i>>3]>>(i&7))&1;
+ sel25519(a,b,r);
+ sel25519(c,d,r);
+ A(e,a,c);
+ Z(a,a,c);
+ A(c,b,d);
+ Z(b,b,d);
+ S(d,e);
+ S(f,a);
+ M(a,c,a);
+ M(c,b,e);
+ A(e,a,c);
+ Z(a,a,c);
+ S(b,a);
+ Z(c,d,f);
+ M(a,c,_121665);
+ A(a,a,d);
+ M(c,c,a);
+ M(a,d,f);
+ M(d,b,x);
+ S(b,e);
+ sel25519(a,b,r);
+ sel25519(c,d,r);
+ }
+ FOR(i,16) {
+ x[i+16]=a[i];
+ x[i+32]=c[i];
+ x[i+48]=b[i];
+ x[i+64]=d[i];
+ }
+ inv25519(x+32,x+32);
+ M(x+16,x+16,x+32);
+ pack25519(q,x+16);
+ return 0;
+}
+
+int tweet_scalarmult_base(u8 *q,const u8 *n)
+{
+ return tweet_scalarmult(q,n,_9);
+}
+
+int tweet_box_keypair(u8 *y,u8 *x)
+{
+ randombytes(x,32);
+ return tweet_scalarmult_base(y,x);
+}
+
+int tweet_box_beforenm(u8 *k,const u8 *y,const u8 *x)
+{
+ u8 s[32];
+ tweet_scalarmult(s,x,y);
+ return tweet_core_hsalsa20(k,_0,s,sigma);
+}
+
+int tweet_box_afternm(u8 *c,const u8 *m,u64 d,const u8 *n,const u8 *k)
+{
+ return tweet_secretbox(c,m,d,n,k);
+}
+
+int tweet_box_open_afternm(u8 *m,const u8 *c,u64 d,const u8 *n,const u8 *k)
+{
+ return tweet_secretbox_open(m,c,d,n,k);
+}
+
+int tweet_box(u8 *c,const u8 *m,u64 d,const u8 *n,const u8 *y,const u8 *x)
+{
+ u8 k[32];
+ tweet_box_beforenm(k,y,x);
+ return tweet_box_afternm(c,m,d,n,k);
+}
+
+int tweet_box_open(u8 *m,const u8 *c,u64 d,const u8 *n,const u8 *y,const u8 *x)
+{
+ u8 k[32];
+ tweet_box_beforenm(k,y,x);
+ return tweet_box_open_afternm(m,c,d,n,k);
+}
+
+static u64 R(u64 x,int c) { return (x >> c) | (x << (64 - c)); }
+static u64 Ch(u64 x,u64 y,u64 z) { return (x & y) ^ (~x & z); }
+static u64 Maj(u64 x,u64 y,u64 z) { return (x & y) ^ (x & z) ^ (y & z); }
+static u64 Sigma0(u64 x) { return R(x,28) ^ R(x,34) ^ R(x,39); }
+static u64 Sigma1(u64 x) { return R(x,14) ^ R(x,18) ^ R(x,41); }
+static u64 sigma0(u64 x) { return R(x, 1) ^ R(x, 8) ^ (x >> 7); }
+static u64 sigma1(u64 x) { return R(x,19) ^ R(x,61) ^ (x >> 6); }
+
+static const u64 K[80] =
+{
+ 0x428a2f98d728ae22ULL, 0x7137449123ef65cdULL, 0xb5c0fbcfec4d3b2fULL, 0xe9b5dba58189dbbcULL,
+ 0x3956c25bf348b538ULL, 0x59f111f1b605d019ULL, 0x923f82a4af194f9bULL, 0xab1c5ed5da6d8118ULL,
+ 0xd807aa98a3030242ULL, 0x12835b0145706fbeULL, 0x243185be4ee4b28cULL, 0x550c7dc3d5ffb4e2ULL,
+ 0x72be5d74f27b896fULL, 0x80deb1fe3b1696b1ULL, 0x9bdc06a725c71235ULL, 0xc19bf174cf692694ULL,
+ 0xe49b69c19ef14ad2ULL, 0xefbe4786384f25e3ULL, 0x0fc19dc68b8cd5b5ULL, 0x240ca1cc77ac9c65ULL,
+ 0x2de92c6f592b0275ULL, 0x4a7484aa6ea6e483ULL, 0x5cb0a9dcbd41fbd4ULL, 0x76f988da831153b5ULL,
+ 0x983e5152ee66dfabULL, 0xa831c66d2db43210ULL, 0xb00327c898fb213fULL, 0xbf597fc7beef0ee4ULL,
+ 0xc6e00bf33da88fc2ULL, 0xd5a79147930aa725ULL, 0x06ca6351e003826fULL, 0x142929670a0e6e70ULL,
+ 0x27b70a8546d22ffcULL, 0x2e1b21385c26c926ULL, 0x4d2c6dfc5ac42aedULL, 0x53380d139d95b3dfULL,
+ 0x650a73548baf63deULL, 0x766a0abb3c77b2a8ULL, 0x81c2c92e47edaee6ULL, 0x92722c851482353bULL,
+ 0xa2bfe8a14cf10364ULL, 0xa81a664bbc423001ULL, 0xc24b8b70d0f89791ULL, 0xc76c51a30654be30ULL,
+ 0xd192e819d6ef5218ULL, 0xd69906245565a910ULL, 0xf40e35855771202aULL, 0x106aa07032bbd1b8ULL,
+ 0x19a4c116b8d2d0c8ULL, 0x1e376c085141ab53ULL, 0x2748774cdf8eeb99ULL, 0x34b0bcb5e19b48a8ULL,
+ 0x391c0cb3c5c95a63ULL, 0x4ed8aa4ae3418acbULL, 0x5b9cca4f7763e373ULL, 0x682e6ff3d6b2b8a3ULL,
+ 0x748f82ee5defb2fcULL, 0x78a5636f43172f60ULL, 0x84c87814a1f0ab72ULL, 0x8cc702081a6439ecULL,
+ 0x90befffa23631e28ULL, 0xa4506cebde82bde9ULL, 0xbef9a3f7b2c67915ULL, 0xc67178f2e372532bULL,
+ 0xca273eceea26619cULL, 0xd186b8c721c0c207ULL, 0xeada7dd6cde0eb1eULL, 0xf57d4f7fee6ed178ULL,
+ 0x06f067aa72176fbaULL, 0x0a637dc5a2c898a6ULL, 0x113f9804bef90daeULL, 0x1b710b35131c471bULL,
+ 0x28db77f523047d84ULL, 0x32caab7b40c72493ULL, 0x3c9ebe0a15c9bebcULL, 0x431d67c49c100d4cULL,
+ 0x4cc5d4becb3e42b6ULL, 0x597f299cfc657e2aULL, 0x5fcb6fab3ad6faecULL, 0x6c44198c4a475817ULL
+};
+
+int tweet_hashblocks(u8 *x,const u8 *m,u64 n)
+{
+ u64 z[8],b[8],a[8],w[16],t;
+ int i,j;
+
+ FOR(i,8) z[i] = a[i] = dl64(x + 8 * i);
+
+ while (n >= 128) {
+ FOR(i,16) w[i] = dl64(m + 8 * i);
+
+ FOR(i,80) {
+ FOR(j,8) b[j] = a[j];
+ t = a[7] + Sigma1(a[4]) + Ch(a[4],a[5],a[6]) + K[i] + w[i%16];
+ b[7] = t + Sigma0(a[0]) + Maj(a[0],a[1],a[2]);
+ b[3] += t;
+ FOR(j,8) a[(j+1)%8] = b[j];
+ if (i%16 == 15)
+ FOR(j,16)
+ w[j] += w[(j+9)%16] + sigma0(w[(j+1)%16]) + sigma1(w[(j+14)%16]);
+ }
+
+ FOR(i,8) { a[i] += z[i]; z[i] = a[i]; }
+
+ m += 128;
+ n -= 128;
+ }
+
+ FOR(i,8) ts64(x+8*i,z[i]);
+
+ return n;
+}
+
+static const u8 iv[64] = {
+ 0x6a,0x09,0xe6,0x67,0xf3,0xbc,0xc9,0x08,
+ 0xbb,0x67,0xae,0x85,0x84,0xca,0xa7,0x3b,
+ 0x3c,0x6e,0xf3,0x72,0xfe,0x94,0xf8,0x2b,
+ 0xa5,0x4f,0xf5,0x3a,0x5f,0x1d,0x36,0xf1,
+ 0x51,0x0e,0x52,0x7f,0xad,0xe6,0x82,0xd1,
+ 0x9b,0x05,0x68,0x8c,0x2b,0x3e,0x6c,0x1f,
+ 0x1f,0x83,0xd9,0xab,0xfb,0x41,0xbd,0x6b,
+ 0x5b,0xe0,0xcd,0x19,0x13,0x7e,0x21,0x79
+} ;
+
+int tweet_hash(u8 *out,const u8 *m,u64 n)
+{
+ u8 h[64],x[256];
+ u64 i,b = n;
+
+ FOR(i,64) h[i] = iv[i];
+
+ tweet_hashblocks(h,m,n);
+ m += n;
+ n &= 127;
+ m -= n;
+
+ FOR(i,256) x[i] = 0;
+ FOR(i,n) x[i] = m[i];
+ x[n] = 128;
+
+ n = 256-128*(n<112);
+ x[n-9] = b >> 61;
+ ts64(x+n-8,b<<3);
+ tweet_hashblocks(h,x,n);
+
+ FOR(i,64) out[i] = h[i];
+
+ return 0;
+}
+
+sv add(gf p[4],gf q[4])
+{
+ gf a,b,c,d,t,e,f,g,h;
+
+ Z(a, p[1], p[0]);
+ Z(t, q[1], q[0]);
+ M(a, a, t);
+ A(b, p[0], p[1]);
+ A(t, q[0], q[1]);
+ M(b, b, t);
+ M(c, p[3], q[3]);
+ M(c, c, D2);
+ M(d, p[2], q[2]);
+ A(d, d, d);
+ Z(e, b, a);
+ Z(f, d, c);
+ A(g, d, c);
+ A(h, b, a);
+
+ M(p[0], e, f);
+ M(p[1], h, g);
+ M(p[2], g, f);
+ M(p[3], e, h);
+}
+
+sv cswap(gf p[4],gf q[4],u8 b)
+{
+ int i;
+ FOR(i,4)
+ sel25519(p[i],q[i],b);
+}
+
+sv pack(u8 *r,gf p[4])
+{
+ gf tx, ty, zi;
+ inv25519(zi, p[2]);
+ M(tx, p[0], zi);
+ M(ty, p[1], zi);
+ pack25519(r, ty);
+ r[31] ^= par25519(tx) << 7;
+}
+
+sv scalarmult(gf p[4],gf q[4],const u8 *s)
+{
+ int i;
+ set25519(p[0],gf0);
+ set25519(p[1],gf1);
+ set25519(p[2],gf1);
+ set25519(p[3],gf0);
+ for (i = 255;i >= 0;--i) {
+ u8 b = (s[i/8]>>(i&7))&1;
+ cswap(p,q,b);
+ add(q,p);
+ add(p,p);
+ cswap(p,q,b);
+ }
+}
+
+sv scalarbase(gf p[4],const u8 *s)
+{
+ gf q[4];
+ set25519(q[0],X);
+ set25519(q[1],Y);
+ set25519(q[2],gf1);
+ M(q[3],X,Y);
+ scalarmult(p,q,s);
+}
+
+int tweet_sign_keypair(u8 *pk, u8 *sk)
+{
+ u8 d[64];
+ gf p[4];
+ int i;
+
+ randombytes(sk, 32);
+ tweet_hash(d, sk, 32);
+ d[0] &= 248;
+ d[31] &= 127;
+ d[31] |= 64;
+
+ scalarbase(p,d);
+ pack(pk,p);
+
+ FOR(i,32) sk[32 + i] = pk[i];
+ return 0;
+}
+
+static const u64 L[32] = {0xed, 0xd3, 0xf5, 0x5c, 0x1a, 0x63, 0x12, 0x58, 0xd6, 0x9c, 0xf7, 0xa2, 0xde, 0xf9, 0xde, 0x14, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0x10};
+
+sv modL(u8 *r,i64 x[64])
+{
+ i64 carry,i,j;
+ for (i = 63;i >= 32;--i) {
+ carry = 0;
+ for (j = i - 32;j < i - 12;++j) {
+ x[j] += carry - 16 * x[i] * L[j - (i - 32)];
+ carry = (x[j] + 128) >> 8;
+ x[j] -= carry << 8;
+ }
+ x[j] += carry;
+ x[i] = 0;
+ }
+ carry = 0;
+ FOR(j,32) {
+ x[j] += carry - (x[31] >> 4) * L[j];
+ carry = x[j] >> 8;
+ x[j] &= 255;
+ }
+ FOR(j,32) x[j] -= carry * L[j];
+ FOR(i,32) {
+ x[i+1] += x[i] >> 8;
+ r[i] = x[i] & 255;
+ }
+}
+
+sv reduce(u8 *r)
+{
+ i64 x[64],i;
+ FOR(i,64) x[i] = (u64) r[i];
+ FOR(i,64) r[i] = 0;
+ modL(r,x);
+}
+
+int tweet_sign(u8 *sm,u64 *smlen,const u8 *m,u64 n,const u8 *sk)
+{
+ u8 d[64],h[64],r[64];
+ u64 i;
+ i64 j,x[64];
+ gf p[4];
+
+ tweet_hash(d, sk, 32);
+ d[0] &= 248;
+ d[31] &= 127;
+ d[31] |= 64;
+
+ *smlen = n+64;
+ FOR(i,n) sm[64 + i] = m[i];
+ FOR(i,32) sm[32 + i] = d[32 + i];
+
+ tweet_hash(r, sm+32, n+32);
+ reduce(r);
+ scalarbase(p,r);
+ pack(sm,p);
+
+ FOR(i,32) sm[i+32] = sk[i+32];
+ tweet_hash(h,sm,n + 64);
+ reduce(h);
+
+ FOR(i,64) x[i] = 0;
+ FOR(i,32) x[i] = (u64) r[i];
+ FOR(i,32) FOR(j,32) x[i+j] += h[i] * (u64) d[j];
+ modL(sm + 32,x);
+
+ return 0;
+}
+
+static int unpackneg(gf r[4],const u8 p[32])
+{
+ gf t, chk, num, den, den2, den4, den6;
+ set25519(r[2],gf1);
+ unpack25519(r[1],p);
+ S(num,r[1]);
+ M(den,num,D);
+ Z(num,num,r[2]);
+ A(den,r[2],den);
+
+ S(den2,den);
+ S(den4,den2);
+ M(den6,den4,den2);
+ M(t,den6,num);
+ M(t,t,den);
+
+ pow2523(t,t);
+ M(t,t,num);
+ M(t,t,den);
+ M(t,t,den);
+ M(r[0],t,den);
+
+ S(chk,r[0]);
+ M(chk,chk,den);
+ if (neq25519(chk, num)) M(r[0],r[0],I);
+
+ S(chk,r[0]);
+ M(chk,chk,den);
+ if (neq25519(chk, num)) return -1;
+
+ if (par25519(r[0]) == (p[31]>>7)) Z(r[0],gf0,r[0]);
+
+ M(r[3],r[0],r[1]);
+ return 0;
+}
+
+int tweet_sign_open(u8 *m,u64 *mlen,const u8 *sm,u64 n,const u8 *pk)
+{
+ u64 i;
+ u8 t[32],h[64];
+ gf p[4],q[4];
+
+ *mlen = -1;
+ if (n < 64) return -1;
+ if (unpackneg(q,pk)) return -1;
+
+ FOR(i,n) m[i] = sm[i];
+ FOR(i,32) m[i+32] = pk[i];
+ tweet_hash(h,m,n);
+ reduce(h);
+ scalarmult(p,q,h);
+
+ scalarbase(q,sm + 32);
+ add(p,q);
+ pack(t,p);
+
+ n -= 64;
+ if (tweet_verify_32(sm, t)) {
+ FOR(i,n) m[i] = 0;
+ return -1;
+ }
+
+ FOR(i,n) m[i] = sm[i + 64];
+ *mlen = n;
+ return 0;
+}
--- /dev/null
+#ifndef TWEETNACL_H
+#define TWEETNACL_H
+#define tweet_auth_PRIMITIVE "hmacsha512256"
+#define tweet_auth tweet_auth_hmacsha512256
+#define tweet_auth_verify tweet_auth_hmacsha512256_verify
+#define tweet_auth_BYTES tweet_auth_hmacsha512256_BYTES
+#define tweet_auth_KEYBYTES tweet_auth_hmacsha512256_KEYBYTES
+#define tweet_auth_IMPLEMENTATION tweet_auth_hmacsha512256_IMPLEMENTATION
+#define tweet_auth_VERSION tweet_auth_hmacsha512256_VERSION
+#define tweet_auth_hmacsha512256_crypto_BYTES 32
+#define tweet_auth_hmacsha512256_crypto_KEYBYTES 32
+extern int tweet_auth_hmacsha512256_crypto(unsigned char *,const unsigned char *,unsigned long long,const unsigned char *);
+extern int tweet_auth_hmacsha512256_crypto_verify(const unsigned char *,const unsigned char *,unsigned long long,const unsigned char *);
+#define tweet_auth_hmacsha512256_crypto_VERSION "-"
+#define tweet_auth_hmacsha512256 tweet_auth_hmacsha512256_crypto
+#define tweet_auth_hmacsha512256_verify tweet_auth_hmacsha512256_crypto_verify
+#define tweet_auth_hmacsha512256_BYTES tweet_auth_hmacsha512256_crypto_BYTES
+#define tweet_auth_hmacsha512256_KEYBYTES tweet_auth_hmacsha512256_crypto_KEYBYTES
+#define tweet_auth_hmacsha512256_VERSION tweet_auth_hmacsha512256_crypto_VERSION
+#define tweet_auth_hmacsha512256_IMPLEMENTATION "tweet_auth/hmacsha512256/tweet"
+#define tweet_box_PRIMITIVE "curve25519xsalsa20poly1305"
+#define tweet_box tweet_box_curve25519xsalsa20poly1305
+#define tweet_box_open tweet_box_curve25519xsalsa20poly1305_open
+#define tweet_box_keypair tweet_box_curve25519xsalsa20poly1305_keypair
+#define tweet_box_beforenm tweet_box_curve25519xsalsa20poly1305_beforenm
+#define tweet_box_afternm tweet_box_curve25519xsalsa20poly1305_afternm
+#define tweet_box_open_afternm tweet_box_curve25519xsalsa20poly1305_open_afternm
+#define tweet_box_PUBLICKEYBYTES tweet_box_curve25519xsalsa20poly1305_PUBLICKEYBYTES
+#define tweet_box_SECRETKEYBYTES tweet_box_curve25519xsalsa20poly1305_SECRETKEYBYTES
+#define tweet_box_BEFORENMBYTES tweet_box_curve25519xsalsa20poly1305_BEFORENMBYTES
+#define tweet_box_NONCEBYTES tweet_box_curve25519xsalsa20poly1305_NONCEBYTES
+#define tweet_box_ZEROBYTES tweet_box_curve25519xsalsa20poly1305_ZEROBYTES
+#define tweet_box_BOXZEROBYTES tweet_box_curve25519xsalsa20poly1305_BOXZEROBYTES
+#define tweet_box_IMPLEMENTATION tweet_box_curve25519xsalsa20poly1305_IMPLEMENTATION
+#define tweet_box_VERSION tweet_box_curve25519xsalsa20poly1305_VERSION
+#define tweet_box_curve25519xsalsa20poly1305_crypto_PUBLICKEYBYTES 32
+#define tweet_box_curve25519xsalsa20poly1305_crypto_SECRETKEYBYTES 32
+#define tweet_box_curve25519xsalsa20poly1305_crypto_BEFORENMBYTES 32
+#define tweet_box_curve25519xsalsa20poly1305_crypto_NONCEBYTES 24
+#define tweet_box_curve25519xsalsa20poly1305_crypto_ZEROBYTES 32
+#define tweet_box_curve25519xsalsa20poly1305_crypto_BOXZEROBYTES 16
+extern int tweet_box_curve25519xsalsa20poly1305_crypto(unsigned char *,const unsigned char *,unsigned long long,const unsigned char *,const unsigned char *,const unsigned char *);
+extern int tweet_box_curve25519xsalsa20poly1305_crypto_open(unsigned char *,const unsigned char *,unsigned long long,const unsigned char *,const unsigned char *,const unsigned char *);
+extern int tweet_box_curve25519xsalsa20poly1305_crypto_keypair(unsigned char *,unsigned char *);
+extern int tweet_box_curve25519xsalsa20poly1305_crypto_beforenm(unsigned char *,const unsigned char *,const unsigned char *);
+extern int tweet_box_curve25519xsalsa20poly1305_crypto_afternm(unsigned char *,const unsigned char *,unsigned long long,const unsigned char *,const unsigned char *);
+extern int tweet_box_curve25519xsalsa20poly1305_crypto_open_afternm(unsigned char *,const unsigned char *,unsigned long long,const unsigned char *,const unsigned char *);
+#define tweet_box_curve25519xsalsa20poly1305_crypto_VERSION "-"
+#define tweet_box_curve25519xsalsa20poly1305 tweet_box_curve25519xsalsa20poly1305_crypto
+#define tweet_box_curve25519xsalsa20poly1305_open tweet_box_curve25519xsalsa20poly1305_crypto_open
+#define tweet_box_curve25519xsalsa20poly1305_keypair tweet_box_curve25519xsalsa20poly1305_crypto_keypair
+#define tweet_box_curve25519xsalsa20poly1305_beforenm tweet_box_curve25519xsalsa20poly1305_crypto_beforenm
+#define tweet_box_curve25519xsalsa20poly1305_afternm tweet_box_curve25519xsalsa20poly1305_crypto_afternm
+#define tweet_box_curve25519xsalsa20poly1305_open_afternm tweet_box_curve25519xsalsa20poly1305_crypto_open_afternm
+#define tweet_box_curve25519xsalsa20poly1305_PUBLICKEYBYTES tweet_box_curve25519xsalsa20poly1305_crypto_PUBLICKEYBYTES
+#define tweet_box_curve25519xsalsa20poly1305_SECRETKEYBYTES tweet_box_curve25519xsalsa20poly1305_crypto_SECRETKEYBYTES
+#define tweet_box_curve25519xsalsa20poly1305_BEFORENMBYTES tweet_box_curve25519xsalsa20poly1305_crypto_BEFORENMBYTES
+#define tweet_box_curve25519xsalsa20poly1305_NONCEBYTES tweet_box_curve25519xsalsa20poly1305_crypto_NONCEBYTES
+#define tweet_box_curve25519xsalsa20poly1305_ZEROBYTES tweet_box_curve25519xsalsa20poly1305_crypto_ZEROBYTES
+#define tweet_box_curve25519xsalsa20poly1305_BOXZEROBYTES tweet_box_curve25519xsalsa20poly1305_crypto_BOXZEROBYTES
+#define tweet_box_curve25519xsalsa20poly1305_VERSION tweet_box_curve25519xsalsa20poly1305_crypto_VERSION
+#define tweet_box_curve25519xsalsa20poly1305_IMPLEMENTATION "tweet_box/curve25519xsalsa20poly1305/tweet"
+#define tweet_core_PRIMITIVE "salsa20"
+#define tweet_core tweet_core_salsa20
+#define tweet_core_OUTPUTBYTES tweet_core_salsa20_OUTPUTBYTES
+#define tweet_core_INPUTBYTES tweet_core_salsa20_INPUTBYTES
+#define tweet_core_KEYBYTES tweet_core_salsa20_KEYBYTES
+#define tweet_core_CONSTBYTES tweet_core_salsa20_CONSTBYTES
+#define tweet_core_IMPLEMENTATION tweet_core_salsa20_IMPLEMENTATION
+#define tweet_core_VERSION tweet_core_salsa20_VERSION
+#define tweet_core_salsa20_crypto_OUTPUTBYTES 64
+#define tweet_core_salsa20_crypto_INPUTBYTES 16
+#define tweet_core_salsa20_crypto_KEYBYTES 32
+#define tweet_core_salsa20_crypto_CONSTBYTES 16
+extern int tweet_core_salsa20_crypto(unsigned char *,const unsigned char *,const unsigned char *,const unsigned char *);
+#define tweet_core_salsa20_crypto_VERSION "-"
+#define tweet_core_salsa20 tweet_core_salsa20_crypto
+#define tweet_core_salsa20_OUTPUTBYTES tweet_core_salsa20_crypto_OUTPUTBYTES
+#define tweet_core_salsa20_INPUTBYTES tweet_core_salsa20_crypto_INPUTBYTES
+#define tweet_core_salsa20_KEYBYTES tweet_core_salsa20_crypto_KEYBYTES
+#define tweet_core_salsa20_CONSTBYTES tweet_core_salsa20_crypto_CONSTBYTES
+#define tweet_core_salsa20_VERSION tweet_core_salsa20_crypto_VERSION
+#define tweet_core_salsa20_IMPLEMENTATION "tweet_core/salsa20/tweet"
+#define tweet_core_hsalsa20_crypto_OUTPUTBYTES 32
+#define tweet_core_hsalsa20_crypto_INPUTBYTES 16
+#define tweet_core_hsalsa20_crypto_KEYBYTES 32
+#define tweet_core_hsalsa20_crypto_CONSTBYTES 16
+extern int tweet_core_hsalsa20_crypto(unsigned char *,const unsigned char *,const unsigned char *,const unsigned char *);
+#define tweet_core_hsalsa20_crypto_VERSION "-"
+#define tweet_core_hsalsa20 tweet_core_hsalsa20_crypto
+#define tweet_core_hsalsa20_OUTPUTBYTES tweet_core_hsalsa20_crypto_OUTPUTBYTES
+#define tweet_core_hsalsa20_INPUTBYTES tweet_core_hsalsa20_crypto_INPUTBYTES
+#define tweet_core_hsalsa20_KEYBYTES tweet_core_hsalsa20_crypto_KEYBYTES
+#define tweet_core_hsalsa20_CONSTBYTES tweet_core_hsalsa20_crypto_CONSTBYTES
+#define tweet_core_hsalsa20_VERSION tweet_core_hsalsa20_crypto_VERSION
+#define tweet_core_hsalsa20_IMPLEMENTATION "tweet_core/hsalsa20/tweet"
+#define tweet_hashblocks_PRIMITIVE "sha512"
+#define tweet_hashblocks tweet_hashblocks_sha512
+#define tweet_hashblocks_STATEBYTES tweet_hashblocks_sha512_STATEBYTES
+#define tweet_hashblocks_BLOCKBYTES tweet_hashblocks_sha512_BLOCKBYTES
+#define tweet_hashblocks_IMPLEMENTATION tweet_hashblocks_sha512_IMPLEMENTATION
+#define tweet_hashblocks_VERSION tweet_hashblocks_sha512_VERSION
+#define tweet_hashblocks_sha512_crypto_STATEBYTES 64
+#define tweet_hashblocks_sha512_crypto_BLOCKBYTES 128
+extern int tweet_hashblocks_sha512_crypto(unsigned char *,const unsigned char *,unsigned long long);
+#define tweet_hashblocks_sha512_crypto_VERSION "-"
+#define tweet_hashblocks_sha512 tweet_hashblocks_sha512_crypto
+#define tweet_hashblocks_sha512_STATEBYTES tweet_hashblocks_sha512_crypto_STATEBYTES
+#define tweet_hashblocks_sha512_BLOCKBYTES tweet_hashblocks_sha512_crypto_BLOCKBYTES
+#define tweet_hashblocks_sha512_VERSION tweet_hashblocks_sha512_crypto_VERSION
+#define tweet_hashblocks_sha512_IMPLEMENTATION "tweet_hashblocks/sha512/tweet"
+#define tweet_hashblocks_sha256_crypto_STATEBYTES 32
+#define tweet_hashblocks_sha256_crypto_BLOCKBYTES 64
+extern int tweet_hashblocks_sha256_crypto(unsigned char *,const unsigned char *,unsigned long long);
+#define tweet_hashblocks_sha256_crypto_VERSION "-"
+#define tweet_hashblocks_sha256 tweet_hashblocks_sha256_crypto
+#define tweet_hashblocks_sha256_STATEBYTES tweet_hashblocks_sha256_crypto_STATEBYTES
+#define tweet_hashblocks_sha256_BLOCKBYTES tweet_hashblocks_sha256_crypto_BLOCKBYTES
+#define tweet_hashblocks_sha256_VERSION tweet_hashblocks_sha256_crypto_VERSION
+#define tweet_hashblocks_sha256_IMPLEMENTATION "tweet_hashblocks/sha256/tweet"
+#define tweet_hash_PRIMITIVE "sha512"
+#define tweet_hash tweet_hash_sha512
+#define tweet_hash_BYTES tweet_hash_sha512_BYTES
+#define tweet_hash_IMPLEMENTATION tweet_hash_sha512_IMPLEMENTATION
+#define tweet_hash_VERSION tweet_hash_sha512_VERSION
+#define tweet_hash_sha512_crypto_BYTES 64
+extern int tweet_hash_sha512_crypto(unsigned char *,const unsigned char *,unsigned long long);
+#define tweet_hash_sha512_crypto_VERSION "-"
+#define tweet_hash_sha512 tweet_hash_sha512_crypto
+#define tweet_hash_sha512_BYTES tweet_hash_sha512_crypto_BYTES
+#define tweet_hash_sha512_VERSION tweet_hash_sha512_crypto_VERSION
+#define tweet_hash_sha512_IMPLEMENTATION "tweet_hash/sha512/tweet"
+#define tweet_hash_sha256_crypto_BYTES 32
+extern int tweet_hash_sha256_crypto(unsigned char *,const unsigned char *,unsigned long long);
+#define tweet_hash_sha256_crypto_VERSION "-"
+#define tweet_hash_sha256 tweet_hash_sha256_crypto
+#define tweet_hash_sha256_BYTES tweet_hash_sha256_crypto_BYTES
+#define tweet_hash_sha256_VERSION tweet_hash_sha256_crypto_VERSION
+#define tweet_hash_sha256_IMPLEMENTATION "tweet_hash/sha256/tweet"
+#define tweet_onetimeauth_PRIMITIVE "poly1305"
+#define tweet_onetimeauth tweet_onetimeauth_poly1305
+#define tweet_onetimeauth_verify tweet_onetimeauth_poly1305_verify
+#define tweet_onetimeauth_BYTES tweet_onetimeauth_poly1305_BYTES
+#define tweet_onetimeauth_KEYBYTES tweet_onetimeauth_poly1305_KEYBYTES
+#define tweet_onetimeauth_IMPLEMENTATION tweet_onetimeauth_poly1305_IMPLEMENTATION
+#define tweet_onetimeauth_VERSION tweet_onetimeauth_poly1305_VERSION
+#define tweet_onetimeauth_poly1305_crypto_BYTES 16
+#define tweet_onetimeauth_poly1305_crypto_KEYBYTES 32
+extern int tweet_onetimeauth_poly1305_crypto(unsigned char *,const unsigned char *,unsigned long long,const unsigned char *);
+extern int tweet_onetimeauth_poly1305_crypto_verify(const unsigned char *,const unsigned char *,unsigned long long,const unsigned char *);
+#define tweet_onetimeauth_poly1305_crypto_VERSION "-"
+#define tweet_onetimeauth_poly1305 tweet_onetimeauth_poly1305_crypto
+#define tweet_onetimeauth_poly1305_verify tweet_onetimeauth_poly1305_crypto_verify
+#define tweet_onetimeauth_poly1305_BYTES tweet_onetimeauth_poly1305_crypto_BYTES
+#define tweet_onetimeauth_poly1305_KEYBYTES tweet_onetimeauth_poly1305_crypto_KEYBYTES
+#define tweet_onetimeauth_poly1305_VERSION tweet_onetimeauth_poly1305_crypto_VERSION
+#define tweet_onetimeauth_poly1305_IMPLEMENTATION "tweet_onetimeauth/poly1305/tweet"
+#define tweet_scalarmult_PRIMITIVE "curve25519"
+#define tweet_scalarmult tweet_scalarmult_curve25519
+#define tweet_scalarmult_base tweet_scalarmult_curve25519_base
+#define tweet_scalarmult_BYTES tweet_scalarmult_curve25519_BYTES
+#define tweet_scalarmult_SCALARBYTES tweet_scalarmult_curve25519_SCALARBYTES
+#define tweet_scalarmult_IMPLEMENTATION tweet_scalarmult_curve25519_IMPLEMENTATION
+#define tweet_scalarmult_VERSION tweet_scalarmult_curve25519_VERSION
+#define tweet_scalarmult_curve25519_crypto_BYTES 32
+#define tweet_scalarmult_curve25519_crypto_SCALARBYTES 32
+extern int tweet_scalarmult_curve25519_crypto(unsigned char *,const unsigned char *,const unsigned char *);
+extern int tweet_scalarmult_curve25519_crypto_base(unsigned char *,const unsigned char *);
+#define tweet_scalarmult_curve25519_crypto_VERSION "-"
+#define tweet_scalarmult_curve25519 tweet_scalarmult_curve25519_crypto
+#define tweet_scalarmult_curve25519_base tweet_scalarmult_curve25519_crypto_base
+#define tweet_scalarmult_curve25519_BYTES tweet_scalarmult_curve25519_crypto_BYTES
+#define tweet_scalarmult_curve25519_SCALARBYTES tweet_scalarmult_curve25519_crypto_SCALARBYTES
+#define tweet_scalarmult_curve25519_VERSION tweet_scalarmult_curve25519_crypto_VERSION
+#define tweet_scalarmult_curve25519_IMPLEMENTATION "tweet_scalarmult/curve25519/tweet"
+#define tweet_secretbox_PRIMITIVE "xsalsa20poly1305"
+#define tweet_secretbox tweet_secretbox_xsalsa20poly1305
+#define tweet_secretbox_open tweet_secretbox_xsalsa20poly1305_open
+#define tweet_secretbox_KEYBYTES tweet_secretbox_xsalsa20poly1305_KEYBYTES
+#define tweet_secretbox_NONCEBYTES tweet_secretbox_xsalsa20poly1305_NONCEBYTES
+#define tweet_secretbox_ZEROBYTES tweet_secretbox_xsalsa20poly1305_ZEROBYTES
+#define tweet_secretbox_BOXZEROBYTES tweet_secretbox_xsalsa20poly1305_BOXZEROBYTES
+#define tweet_secretbox_IMPLEMENTATION tweet_secretbox_xsalsa20poly1305_IMPLEMENTATION
+#define tweet_secretbox_VERSION tweet_secretbox_xsalsa20poly1305_VERSION
+#define tweet_secretbox_xsalsa20poly1305_crypto_KEYBYTES 32
+#define tweet_secretbox_xsalsa20poly1305_crypto_NONCEBYTES 24
+#define tweet_secretbox_xsalsa20poly1305_crypto_ZEROBYTES 32
+#define tweet_secretbox_xsalsa20poly1305_crypto_BOXZEROBYTES 16
+extern int tweet_secretbox_xsalsa20poly1305_crypto(unsigned char *,const unsigned char *,unsigned long long,const unsigned char *,const unsigned char *);
+extern int tweet_secretbox_xsalsa20poly1305_crypto_open(unsigned char *,const unsigned char *,unsigned long long,const unsigned char *,const unsigned char *);
+#define tweet_secretbox_xsalsa20poly1305_crypto_VERSION "-"
+#define tweet_secretbox_xsalsa20poly1305 tweet_secretbox_xsalsa20poly1305_crypto
+#define tweet_secretbox_xsalsa20poly1305_open tweet_secretbox_xsalsa20poly1305_crypto_open
+#define tweet_secretbox_xsalsa20poly1305_KEYBYTES tweet_secretbox_xsalsa20poly1305_crypto_KEYBYTES
+#define tweet_secretbox_xsalsa20poly1305_NONCEBYTES tweet_secretbox_xsalsa20poly1305_crypto_NONCEBYTES
+#define tweet_secretbox_xsalsa20poly1305_ZEROBYTES tweet_secretbox_xsalsa20poly1305_crypto_ZEROBYTES
+#define tweet_secretbox_xsalsa20poly1305_BOXZEROBYTES tweet_secretbox_xsalsa20poly1305_crypto_BOXZEROBYTES
+#define tweet_secretbox_xsalsa20poly1305_VERSION tweet_secretbox_xsalsa20poly1305_crypto_VERSION
+#define tweet_secretbox_xsalsa20poly1305_IMPLEMENTATION "tweet_secretbox/xsalsa20poly1305/tweet"
+#define tweet_sign_PRIMITIVE "ed25519"
+#define tweet_sign tweet_sign_ed25519
+#define tweet_sign_open tweet_sign_ed25519_open
+#define tweet_sign_keypair tweet_sign_ed25519_keypair
+#define tweet_sign_BYTES tweet_sign_ed25519_BYTES
+#define tweet_sign_PUBLICKEYBYTES tweet_sign_ed25519_PUBLICKEYBYTES
+#define tweet_sign_SECRETKEYBYTES tweet_sign_ed25519_SECRETKEYBYTES
+#define tweet_sign_IMPLEMENTATION tweet_sign_ed25519_IMPLEMENTATION
+#define tweet_sign_VERSION tweet_sign_ed25519_VERSION
+#define tweet_sign_ed25519_crypto_BYTES 64
+#define tweet_sign_ed25519_crypto_PUBLICKEYBYTES 32
+#define tweet_sign_ed25519_crypto_SECRETKEYBYTES 64
+extern int tweet_sign_ed25519_crypto(unsigned char *,unsigned long long *,const unsigned char *,unsigned long long,const unsigned char *);
+extern int tweet_sign_ed25519_crypto_open(unsigned char *,unsigned long long *,const unsigned char *,unsigned long long,const unsigned char *);
+extern int tweet_sign_ed25519_crypto_keypair(unsigned char *,unsigned char *);
+#define tweet_sign_ed25519_crypto_VERSION "-"
+#define tweet_sign_ed25519 tweet_sign_ed25519_crypto
+#define tweet_sign_ed25519_open tweet_sign_ed25519_crypto_open
+#define tweet_sign_ed25519_keypair tweet_sign_ed25519_crypto_keypair
+#define tweet_sign_ed25519_BYTES tweet_sign_ed25519_crypto_BYTES
+#define tweet_sign_ed25519_PUBLICKEYBYTES tweet_sign_ed25519_crypto_PUBLICKEYBYTES
+#define tweet_sign_ed25519_SECRETKEYBYTES tweet_sign_ed25519_crypto_SECRETKEYBYTES
+#define tweet_sign_ed25519_VERSION tweet_sign_ed25519_crypto_VERSION
+#define tweet_sign_ed25519_IMPLEMENTATION "tweet_sign/ed25519/tweet"
+#define tweet_stream_PRIMITIVE "xsalsa20"
+#define tweet_stream tweet_stream_xsalsa20
+#define tweet_stream_xor tweet_stream_xsalsa20_xor
+#define tweet_stream_KEYBYTES tweet_stream_xsalsa20_KEYBYTES
+#define tweet_stream_NONCEBYTES tweet_stream_xsalsa20_NONCEBYTES
+#define tweet_stream_IMPLEMENTATION tweet_stream_xsalsa20_IMPLEMENTATION
+#define tweet_stream_VERSION tweet_stream_xsalsa20_VERSION
+#define tweet_stream_xsalsa20_crypto_KEYBYTES 32
+#define tweet_stream_xsalsa20_crypto_NONCEBYTES 24
+extern int tweet_stream_xsalsa20_crypto(unsigned char *,unsigned long long,const unsigned char *,const unsigned char *);
+extern int tweet_stream_xsalsa20_crypto_xor(unsigned char *,const unsigned char *,unsigned long long,const unsigned char *,const unsigned char *);
+#define tweet_stream_xsalsa20_crypto_VERSION "-"
+#define tweet_stream_xsalsa20 tweet_stream_xsalsa20_crypto
+#define tweet_stream_xsalsa20_xor tweet_stream_xsalsa20_crypto_xor
+#define tweet_stream_xsalsa20_KEYBYTES tweet_stream_xsalsa20_crypto_KEYBYTES
+#define tweet_stream_xsalsa20_NONCEBYTES tweet_stream_xsalsa20_crypto_NONCEBYTES
+#define tweet_stream_xsalsa20_VERSION tweet_stream_xsalsa20_crypto_VERSION
+#define tweet_stream_xsalsa20_IMPLEMENTATION "tweet_stream/xsalsa20/tweet"
+#define tweet_stream_salsa20_crypto_KEYBYTES 32
+#define tweet_stream_salsa20_crypto_NONCEBYTES 8
+extern int tweet_stream_salsa20_crypto(unsigned char *,unsigned long long,const unsigned char *,const unsigned char *);
+extern int tweet_stream_salsa20_crypto_xor(unsigned char *,const unsigned char *,unsigned long long,const unsigned char *,const unsigned char *);
+#define tweet_stream_salsa20_crypto_VERSION "-"
+#define tweet_stream_salsa20 tweet_stream_salsa20_crypto
+#define tweet_stream_salsa20_xor tweet_stream_salsa20_crypto_xor
+#define tweet_stream_salsa20_KEYBYTES tweet_stream_salsa20_crypto_KEYBYTES
+#define tweet_stream_salsa20_NONCEBYTES tweet_stream_salsa20_crypto_NONCEBYTES
+#define tweet_stream_salsa20_VERSION tweet_stream_salsa20_crypto_VERSION
+#define tweet_stream_salsa20_IMPLEMENTATION "tweet_stream/salsa20/tweet"
+#define tweet_verify_PRIMITIVE "16"
+#define tweet_verify tweet_verify_16
+#define tweet_verify_BYTES tweet_verify_16_BYTES
+#define tweet_verify_IMPLEMENTATION tweet_verify_16_IMPLEMENTATION
+#define tweet_verify_VERSION tweet_verify_16_VERSION
+#define tweet_verify_16_crypto_BYTES 16
+extern int tweet_verify_16_crypto(const unsigned char *,const unsigned char *);
+#define tweet_verify_16_crypto_VERSION "-"
+#define tweet_verify_16 tweet_verify_16_crypto
+#define tweet_verify_16_BYTES tweet_verify_16_crypto_BYTES
+#define tweet_verify_16_VERSION tweet_verify_16_crypto_VERSION
+#define tweet_verify_16_IMPLEMENTATION "tweet_verify/16/tweet"
+#define tweet_verify_32_crypto_BYTES 32
+extern int tweet_verify_32_crypto(const unsigned char *,const unsigned char *);
+#define tweet_verify_32_crypto_VERSION "-"
+#define tweet_verify_32 tweet_verify_32_crypto
+#define tweet_verify_32_BYTES tweet_verify_32_crypto_BYTES
+#define tweet_verify_32_VERSION tweet_verify_32_crypto_VERSION
+#define tweet_verify_32_IMPLEMENTATION "tweet_verify/32/tweet"
+#endif