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
26
27
28
29
30
31
32

#ifndef JADE_SCALARMULT_CURVE25519_AMD64_REF5_API_H
#define JADE_SCALARMULT_CURVE25519_AMD64_REF5_API_H

#define JADE_SCALARMULT_CURVE25519_AMD64_REF5_BYTES 32
#define JADE_SCALARMULT_CURVE25519_AMD64_REF5_SCALARBYTES 32
#define JADE_SCALARMULT_CURVE25519_AMD64_REF5_ALGNAME "Curve25519"

#include <stdint.h>

int jade_scalarmult_curve25519_amd64_ref5(
 uint8_t *r,
 uint8_t *k,
 uint8_t *u
);

int jade_scalarmult_curve25519_amd64_ref5_base(
 uint8_t *r,
 uint8_t *k
);

// TODO : to be replaced for opt. Jasmin implementation
int jade_scalarmult_curve25519_amd64_ref5_base(
 uint8_t *r,
 uint8_t *k
)
{
  uint8_t basepoint[32] = {9};
  int res = jade_scalarmult_curve25519_amd64_ref5(r,k,basepoint);
  return res;
}

#endif