     uchar* n, uchar* k )
 FUNCTION: void crypto_secretbox_keygen (
     uchar k[crypto_secretbox_keybytes] )
+
+! crypto_box_H
+FUNCTION: size_t crypto_box_seedbytes ( )
+FUNCTION: size_t crypto_box_publickeybytes ( )
+FUNCTION: size_t crypto_box_secretkeybytes ( )
+FUNCTION: size_t crypto_box_noncebytes ( )
+FUNCTION: size_t crypto_box_macbytes ( )
+FUNCTION: size_t crypto_box_messagebytes_max ( )
+FUNCTION: char* crypto_box_primitive ( )
+FUNCTION: int crypto_box_seed_keypair (
+    uchar* pk, uchar* sk, uchar* seed )
+FUNCTION: int crypto_box_keypair ( uchar* pk, uchar* sk )
+FUNCTION: int crypto_box_easy (
+    uchar* c, uchar* m, ulonglong mlen, uchar* n,
+    uchar* pk, uchar* sk )
+FUNCTION: int crypto_box_open_easy (
+    uchar* m, uchar* c, ulonglong clen, uchar* n,
+    uchar* pk, uchar* sk )
+FUNCTION: int crypto_box_detached (
+    uchar* c, uchar* mac, uchar* m, ulonglong mlen, uchar* n,
+    uchar* pk, uchar* sk )
+FUNCTION: int crypto_box_open_detached (
+    uchar* m, uchar* c, uchar* mac, ulonglong clen, uchar* n,
+    uchar* pk, uchar* sk )
+FUNCTION: size_t crypto_box_beforenmbytes ( )
+FUNCTION: int crypto_box_beforenm (
+    uchar* k, uchar* pk, uchar* sk )
+FUNCTION: int crypto_box_easy_afternm (
+    uchar* c, uchar* m, ulonglong mlen, uchar* n, uchar* k )
+FUNCTION: int crypto_box_open_easy_afternm (
+    uchar* m, uchar* c, ulonglong clen, uchar* n, uchar* k )
+FUNCTION: int crypto_box_detached_afternm (
+    uchar* c, uchar* mac, uchar* m, ulonglong mlen, uchar* n, uchar* k )
+FUNCTION: int crypto_box_open_detached_afternm (
+    uchar* m, uchar* c, uchar* mac, ulonglong clen, uchar* n, uchar* k )
+FUNCTION: size_t crypto_box_sealbytes ( )
+FUNCTION: int crypto_box_seal (
+    uchar* c, uchar* m, ulonglong mlen, uchar* pk )
+FUNCTION: int crypto_box_seal_open (
+    uchar* m, uchar* c, ulonglong clen, uchar* pk, uchar* sk )
+
+! crypto_auth_H
+FUNCTION: size_t crypto_auth_bytes ( )
+FUNCTION: size_t crypto_auth_keybytes ( )
+FUNCTION: char* crypto_auth_primitive ( )
+FUNCTION: int crypto_auth (
+    uchar* out, uchar* in, ulonglong inlen, uchar* k )
+FUNCTION: int crypto_auth_verify (
+    uchar* h, uchar* in, ulonglong inlen, uchar* k )
+FUNCTION: void crypto_auth_keygen ( uchar k[crypto_auth_keybytes] )
+
+! crypto_kdf_H
+FUNCTION: size_t crypto_kdf_bytes_min ( )
+FUNCTION: size_t crypto_kdf_bytes_max ( )
+FUNCTION: size_t crypto_kdf_contextbytes ( )
+FUNCTION: size_t crypto_kdf_keybytes ( )
+FUNCTION: char* crypto_kdf_primitive ( )
+FUNCTION: int crypto_kdf_derive_from_key (
+    uchar* subkey, size_t subkey_len,
+    uint64_t subkey_id,
+    char ctx[crypto_kdf_contextbytes],
+    uchar key[crypto_kdf_keybytes] )
+FUNCTION: void crypto_kdf_keygen ( uchar k[crypto_kdf_keybytes] )
+
+! crypto_kx_H
+FUNCTION: size_t crypto_kx_publickeybytes ( )
+FUNCTION: size_t crypto_kx_secretkeybytes ( )
+FUNCTION: size_t crypto_kx_seedbytes ( )
+FUNCTION: size_t crypto_kx_sessionkeybytes ( )
+FUNCTION: char* crypto_kx_primitive ( )
+FUNCTION: int crypto_kx_seed_keypair (
+    uchar pk[crypto_kx_publickeybytes],
+    uchar sk[crypto_kx_secretkeybytes],
+    uchar seed[crypto_kx_seedbytes] )
+FUNCTION: int crypto_kx_keypair (
+    uchar pk[crypto_kx_publickeybytes],
+    uchar sk[crypto_kx_secretkeybytes] )
+FUNCTION: int crypto_kx_client_session_keys (
+    uchar rx[crypto_kx_sessionkeybytes],
+    uchar tx[crypto_kx_sessionkeybytes],
+    uchar client_pk[crypto_kx_publickeybytes],
+    uchar client_sk[crypto_kx_secretkeybytes],
+    uchar server_pk[crypto_kx_publickeybytes] )
+FUNCTION: int crypto_kx_server_session_keys (
+    uchar rx[crypto_kx_sessionkeybytes],
+    uchar tx[crypto_kx_sessionkeybytes],
+    uchar server_pk[crypto_kx_publickeybytes],
+    uchar server_sk[crypto_kx_secretkeybytes],
+    uchar client_pk[crypto_kx_publickeybytes] )
+
+! crypto_onetimeauth_H
+STRUCT: crypto_onetimeauth_state
+    { opaque uchar[256] }
+;
+FUNCTION: size_t crypto_onetimeauth_statebytes ( )
+FUNCTION: size_t crypto_onetimeauth_bytes ( )
+FUNCTION: size_t crypto_onetimeauth_keybytes ( )
+FUNCTION: char* crypto_onetimeauth_primitive ( )
+FUNCTION: int crypto_onetimeauth (
+    uchar* out, uchar* in, ulonglong inlen, uchar* k )
+FUNCTION: int crypto_onetimeauth_verify (
+    uchar* h, uchar* in, ulonglong inlen, uchar* k )
+FUNCTION: int crypto_onetimeauth_init (
+    crypto_onetimeauth_state *state, uchar* key )
+FUNCTION: int crypto_onetimeauth_update (
+    crypto_onetimeauth_state *state, uchar* in, ulonglong inlen )
+FUNCTION: int crypto_onetimeauth_final (
+    crypto_onetimeauth_state *state, uchar* out )
+FUNCTION: void crypto_onetimeauth_keygen (
+    uchar k[crypto_onetimeauth_keybytes] )
+
+! crypto_sign_H
+STRUCT: crypto_hash_sha512_state
+    { state uint64_t[8] }
+    { count uint64_t[2] }
+    { buf uint8_t[128] }
+;
+STRUCT: crypto_sign_state
+    { hs crypto_hash_sha512_state }
+;
+FUNCTION: size_t crypto_sign_statebytes ( )
+FUNCTION: size_t crypto_sign_bytes ( )
+FUNCTION: size_t crypto_sign_seedbytes ( )
+FUNCTION: size_t crypto_sign_publickeybytes ( )
+FUNCTION: size_t crypto_sign_secretkeybytes ( )
+FUNCTION: size_t crypto_sign_messagebytes_max ( )
+FUNCTION: char* crypto_sign_primitive ( )
+FUNCTION: int crypto_sign_seed_keypair (
+    uchar* pk, uchar* sk, uchar* seed )
+FUNCTION: int crypto_sign_keypair ( uchar* pk, uchar* sk )
+FUNCTION: int crypto_sign (
+    uchar* sm, ulonglong *smlen_p,
+    uchar* m, ulonglong mlen,
+    uchar* sk )
+FUNCTION: int crypto_sign_open (
+    uchar* m, ulonglong *mlen_p,
+    uchar* sm, ulonglong smlen,
+    uchar* pk )
+FUNCTION: int crypto_sign_detached (
+    uchar* sig, ulonglong *siglen_p,
+    uchar* m, ulonglong mlen,
+    uchar* sk )
+FUNCTION: int crypto_sign_verify_detached (
+    uchar* sig, uchar* m, ulonglong mlen, uchar* pk )
+FUNCTION: int crypto_sign_init ( crypto_sign_state *state )
+FUNCTION: int crypto_sign_update (
+    crypto_sign_state *state, uchar* m, ulonglong mlen )
+FUNCTION: int crypto_sign_final_create (
+    crypto_sign_state *state, uchar* sig, ulonglong *siglen_p, uchar* sk )
+FUNCTION: int crypto_sign_final_verify (
+    crypto_sign_state *state, uchar* sig, uchar* pk )
+
+! crypto_aead_xchacha20poly1305_H
+FUNCTION: size_t crypto_aead_xchacha20poly1305_ietf_keybytes ( )
+FUNCTION: size_t crypto_aead_xchacha20poly1305_ietf_nsecbytes ( )
+FUNCTION: size_t crypto_aead_xchacha20poly1305_ietf_npubbytes ( )
+FUNCTION: size_t crypto_aead_xchacha20poly1305_ietf_abytes ( )
+FUNCTION: size_t crypto_aead_xchacha20poly1305_ietf_messagebytes_max ( )
+FUNCTION: int crypto_aead_xchacha20poly1305_ietf_encrypt (
+    uchar* c, ulonglong* clen_p,
+    uchar* m, ulonglong mlen,
+    uchar* ad, ulonglong adlen,
+    uchar* nsec, uchar* npub, uchar* k )
+FUNCTION: int crypto_aead_xchacha20poly1305_ietf_decrypt (
+    uchar* m, ulonglong* mlen_p, uchar* nsec,
+    uchar* c, ulonglong clen,
+    uchar* ad, ulonglong adlen,
+    uchar* npub, uchar* k )
+FUNCTION: int crypto_aead_xchacha20poly1305_ietf_encrypt_detached (
+    uchar* c, uchar* mac, ulonglong* maclen_p,
+    uchar* m, ulonglong mlen,
+    uchar* ad, ulonglong adlen,
+    uchar* nsec, uchar* npub, uchar* k )
+FUNCTION: int crypto_aead_xchacha20poly1305_ietf_decrypt_detached (
+    uchar* m, uchar* nsec,
+    uchar* c, ulonglong clen,
+    uchar* mac,
+    uchar* ad, ulonglong adlen,
+    uchar* npub, uchar* k )
+FUNCTION: void crypto_aead_xchacha20poly1305_ietf_keygen (
+    uchar k[crypto_aead_xchacha20poly1305_ietf_keybytes] )
+
+! crypto_secretstream_xchacha20poly1305_H
+FUNCTION: size_t crypto_secretstream_xchacha20poly1305_abytes ( )
+FUNCTION: size_t crypto_secretstream_xchacha20poly1305_headerbytes ( )
+FUNCTION: size_t crypto_secretstream_xchacha20poly1305_keybytes ( )
+FUNCTION: size_t crypto_secretstream_xchacha20poly1305_messagebytes_max ( )
+FUNCTION: uchar crypto_secretstream_xchacha20poly1305_tag_message ( )
+FUNCTION: uchar crypto_secretstream_xchacha20poly1305_tag_push ( )
+FUNCTION: uchar crypto_secretstream_xchacha20poly1305_tag_rekey ( )
+FUNCTION: uchar crypto_secretstream_xchacha20poly1305_tag_final ( )
+CONSTANT: crypto_stream_chacha20_ietf_KEYBYTES 32
+CONSTANT: crypto_stream_chacha20_ietf_NONCEBYTES 12
+STRUCT: crypto_secretstream_xchacha20poly1305_state
+    { k uchar[crypto_stream_chacha20_ietf_KEYBYTES] }
+    { nonce uchar[crypto_stream_chacha20_ietf_NONCEBYTES] }
+    { _pad uchar[8] }
+;
+FUNCTION: size_t crypto_secretstream_xchacha20poly1305_statebytes ( )
+FUNCTION: void crypto_secretstream_xchacha20poly1305_keygen (
+    uchar k[crypto_secretstream_xchacha20poly1305_keybytes] )
+FUNCTION: int crypto_secretstream_xchacha20poly1305_init_push (
+    crypto_secretstream_xchacha20poly1305_state* state,
+    uchar header[crypto_secretstream_xchacha20poly1305_headerbytes],
+    uchar k[crypto_secretstream_xchacha20poly1305_keybytes] )
+FUNCTION: int crypto_secretstream_xchacha20poly1305_push (
+    crypto_secretstream_xchacha20poly1305_state* state,
+    uchar* c, ulonglong* clen_p,
+    uchar* m, ulonglong mlen,
+    uchar* ad, ulonglong adlen, uchar tag )
+FUNCTION: int crypto_secretstream_xchacha20poly1305_init_pull (
+    crypto_secretstream_xchacha20poly1305_state* state,
+    uchar header[crypto_secretstream_xchacha20poly1305_headerbytes],
+    uchar k[crypto_secretstream_xchacha20poly1305_keybytes] )
+FUNCTION: int crypto_secretstream_xchacha20poly1305_pull (
+    crypto_secretstream_xchacha20poly1305_state* state,
+    uchar* m, ulonglong* mlen_p, uchar* tag_p,
+    uchar* c, ulonglong clen,
+    uchar* ad, ulonglong adlen )
+FUNCTION: void crypto_secretstream_xchacha20poly1305_rekey (
+     crypto_secretstream_xchacha20poly1305_state* state )
+
+! sodium_runtime_H
+FUNCTION: int sodium_runtime_has_neon ( )
+FUNCTION: int sodium_runtime_has_sse2 ( )
+FUNCTION: int sodium_runtime_has_sse3 ( )
+FUNCTION: int sodium_runtime_has_ssse3 ( )
+FUNCTION: int sodium_runtime_has_sse41 ( )
+FUNCTION: int sodium_runtime_has_avx ( )
+FUNCTION: int sodium_runtime_has_avx2 ( )
+FUNCTION: int sodium_runtime_has_avx512f ( )
+FUNCTION: int sodium_runtime_has_pclmul ( )
+FUNCTION: int sodium_runtime_has_aesni ( )
+FUNCTION: int sodium_runtime_has_rdrand ( )

! Copyright (C) 2017, 2018 Alexander Ilin.
! See http://factorcode.org/license.txt for BSD license.
USING: alien alien.c-types alien.libraries alien.syntax
combinators system ;
IN: sodium.ffi

<< "sodium" {

FUNCTION: char* crypto_pwhash_primitive ( )

! sodium_utils_H
FUNCTION: void sodium_memzero ( void* pnt, size_t len )
FUNCTION: void sodium_stackzero ( size_t len )
FUNCTION: int sodium_memcmp (
    void* b1_, void* b2_, size_t len )
FUNCTION: int sodium_compare (
    uchar* b1_, uchar* b2_, size_t len )
FUNCTION: int sodium_is_zero ( uchar* n, size_t nlen )
FUNCTION: void sodium_increment ( uchar* n, size_t nlen )
FUNCTION: void sodium_add ( uchar* a, uchar* b, size_t len )
FUNCTION: char* sodium_bin2hex (
    char* hex, size_t hex_maxlen,
    uchar* bin, size_t bin_len )
FUNCTION: int sodium_hex2bin (
    uchar* bin, size_t bin_maxlen,
    char* hex, size_t hex_len,
    char* ignore, size_t* bin_len,
    char** hex_end )
CONSTANT: sodium_base64_VARIANT_ORIGINAL            1
CONSTANT: sodium_base64_VARIANT_ORIGINAL_NO_PADDING 3
CONSTANT: sodium_base64_VARIANT_URLSAFE             5
CONSTANT: sodium_base64_VARIANT_URLSAFE_NO_PADDING  7
FUNCTION: size_t sodium_base64_encoded_len ( size_t bin_len, int variant )
FUNCTION: char* sodium_bin2base64 (
    char* b64, size_t b64_maxlen,
    uchar* bin, size_t bin_len,
    int variant )
FUNCTION: int sodium_base642bin (
    uchar* bin, size_t bin_maxlen,
    char* b64, size_t b64_len,
    char* ignore, size_t* bin_len,
    char** b64_end, int variant )
FUNCTION: int sodium_mlock ( void* addr, size_t len )
FUNCTION: int sodium_munlock ( void* addr, size_t len )
FUNCTION: void* sodium_malloc ( size_t size )
FUNCTION: void* sodium_allocarray ( size_t count, size_t size )
FUNCTION: void sodium_free ( void* ptr )
FUNCTION: int sodium_mprotect_noaccess ( void* ptr )
FUNCTION: int sodium_mprotect_readonly ( void* ptr )
FUNCTION: int sodium_mprotect_readwrite ( void* ptr )
FUNCTION: int sodium_pad (
    size_t* padded_buflen_p, uchar* buf,
    size_t unpadded_buflen, size_t blocksize, size_t max_buflen )
FUNCTION: int sodium_unpad (
    size_t* unpadded_buflen_p, uchar* buf,
    size_t padded_buflen, size_t blocksize )

! crypto_generichash_H
TYPEDEF: void* crypto_generichash_state
