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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
#[allow(non_camel_case_types)]
pub type fiat_25519_uint1 = ::std::os::raw::c_uchar;
#[allow(non_camel_case_types)]
pub type fiat_25519_int1 = ::std::os::raw::c_schar;
#[allow(non_camel_case_types)]
pub type fiat_25519_int128 = [u64; 2];
#[allow(non_camel_case_types)]
pub type fiat_25519_uint128 = [u64; 2];
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_addcarryx_u51(
out1: *mut u64,
out2: *mut fiat_25519_uint1,
arg1: fiat_25519_uint1,
arg2: u64,
arg3: u64,
);
}
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_subborrowx_u51(
out1: *mut u64,
out2: *mut fiat_25519_uint1,
arg1: fiat_25519_uint1,
arg2: u64,
arg3: u64,
);
}
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_cmovznz_u64(out1: *mut u64, arg1: fiat_25519_uint1, arg2: u64, arg3: u64);
}
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_carry_mul(out1: *mut u64, arg1: *const u64, arg2: *const u64);
}
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_carry_square(out1: *mut u64, arg1: *const u64);
}
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_carry_scmul_121666(out1: *mut u64, arg1: *const u64);
}
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_carry(out1: *mut u64, arg1: *const u64);
}
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_add(out1: *mut u64, arg1: *const u64, arg2: *const u64);
}
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_sub(out1: *mut u64, arg1: *const u64, arg2: *const u64);
}
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_opp(out1: *mut u64, arg1: *const u64);
}
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_selectznz(
out1: *mut u64,
arg1: fiat_25519_uint1,
arg2: *const u64,
arg3: *const u64,
);
}
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_to_bytes(out1: *mut u8, arg1: *const u64);
}
#[link(name = "curve25519_fiat_sys", kind = "static")]
extern "C" {
pub fn fiat_25519_from_bytes(out1: *mut u64, arg1: *const u8);
}