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

#ifndef JADE_HASH_SHA3_512_AMD64_REF_API_H
#define JADE_HASH_SHA3_512_AMD64_REF_API_H

#define JADE_HASH_SHA3_512_AMD64_REF_BYTES 64
#define JADE_HASH_SHA3_512_AMD64_REF_ALGNAME "SHA3-512"

#include <stdint.h>

int jade_hash_sha3_512_amd64_ref(
 uint8_t *out,
 uint8_t *in,
 uint64_t length
);

#endif