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

#ifndef JADE_ONETIMEAUTH_POLY1305_AMD64_REF_API_H
#define JADE_ONETIMEAUTH_POLY1305_AMD64_REF_API_H
#define JADE_ONETIMEAUTH_POLY1305_AMD64_REF_BYTES 16
#define JADE_ONETIMEAUTH_POLY1305_AMD64_REF_KEYBYTES 32
#define JADE_ONETIMEAUTH_POLY1305_AMD64_REF_ALGNAME "Poly1305"

#include <stdint.h>

int jade_onetimeauth_poly1305_amd64_ref(
 uint8_t *out, /*BYTES*/
 uint8_t *in,
 uint64_t inlen,
 uint8_t *key /*KEYBYTES*/
);

int jade_onetimeauth_poly1305_amd64_ref_verify(
 uint8_t *h, /*BYTES*/
 uint8_t *in,
 uint64_t inlen,
 uint8_t *key /*KEYBYTES*/
);

#endif