libjade-sys 0.0.1

Rust bindings for libjade, a formally verified cryptographic library written in jasmin.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

#ifndef JADE_STREAM_CHACHA_CHACHA20_IETF_AMD64_REF_API_H
#define JADE_STREAM_CHACHA_CHACHA20_IETF_AMD64_REF_API_H

#define JADE_STREAM_CHACHA_CHACHA20_IETF_AMD64_REF_KEYBYTES 32
#define JADE_STREAM_CHACHA_CHACHA20_IETF_AMD64_REF_NONCEBYTES 12
#define JADE_STREAM_CHACHA_CHACHA20_IETF_AMD64_REF_ALGNAME "ChaCha20-ietf"

#include <stdint.h>

int jade_stream_chacha_chacha20_ietf_amd64_ref_xor(
 uint8_t *ciphertext,
 uint8_t *plaintext,
 uint64_t length,
 uint8_t *nonce, /*NONCEBYTES*/
 uint8_t *key /*KEYBYTES*/
);

int jade_stream_chacha_chacha20_ietf_amd64_ref(
 uint8_t *stream,
 uint64_t length,
 uint8_t *nonce, /*NONCEBYTES*/
 uint8_t *key /*KEYBYTES*/
);

#endif