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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
#include "mirage_crypto.h"
/* Microsoft compiler does not support 128-bit integers. Drop down to
* 32-bit for MSVC.
*/
#if defined(ARCH_64BIT) && !defined(_MSC_VER)
#include "np256_64.h"
#define LIMBS 4
#define WORD uint64_t
#define WORDSIZE 64
#else
#include "np256_32.h"
#define LIMBS 8
#define WORD uint32_t
#define WORDSIZE 32
#endif
#define LEN_PRIME 256
#define CURVE_DESCRIPTION fiat_np256
#include "inversion_template.h"
#include <caml/memory.h>
CAMLprim value mc_np256_inv(value out, value in)
{
CAMLparam2(out, in);
inversion((WORD*)Bytes_val(out), (const WORD*)String_val(in));
CAMLreturn(Val_unit);
}
CAMLprim value mc_np256_mul(value out, value a, value b)
{
CAMLparam3(out, a, b);
fiat_np256_mul((WORD*)Bytes_val(out), (const WORD*)String_val(a), (const WORD*)String_val(b));
CAMLreturn(Val_unit);
}
CAMLprim value mc_np256_add(value out, value a, value b)
{
CAMLparam3(out, a, b);
fiat_np256_add((WORD*)Bytes_val(out), (const WORD*)String_val(a), (const WORD*)String_val(b));
CAMLreturn(Val_unit);
}
CAMLprim value mc_np256_one(value out)
{
CAMLparam1(out);
fiat_np256_set_one((WORD*)Bytes_val(out));
CAMLreturn(Val_unit);
}
CAMLprim value mc_np256_from_bytes(value out, value in)
{
CAMLparam2(out, in);
fiat_np256_from_bytes((WORD*)Bytes_val(out), _st_uint8(in));
CAMLreturn(Val_unit);
}
CAMLprim value mc_np256_to_bytes(value out, value in)
{
CAMLparam2(out, in);
fiat_np256_to_bytes(Bytes_val(out), (const WORD*)String_val(in));
CAMLreturn(Val_unit);
}
CAMLprim value mc_np256_from_montgomery(value out, value in)
{
CAMLparam2(out, in);
fiat_np256_from_montgomery((WORD*)Bytes_val(out), (const WORD*)String_val(in));
CAMLreturn(Val_unit);
}
CAMLprim value mc_np256_to_montgomery(value out, value in)
{
CAMLparam2(out, in);
fiat_np256_to_montgomery((WORD*)Bytes_val(out), (const WORD*)String_val(in));
CAMLreturn(Val_unit);
}
|
