package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains multiple base libraries used by the Octez suite

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/src/octez-libs.tezos-sapling/rustzcash_ctypes_stubs.ml.html

Source file `rustzcash_ctypes_stubs.ml`

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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
module CI = Cstubs_internals

external _1_librustzcash_init_zksnark_params
  : bytes CI.ocaml -> Unsigned.size_t -> bytes CI.ocaml -> Unsigned.size_t ->
    _ CI.fatptr -> Unsigned.size_t -> unit
  =
  "_1_librustzcash_init_zksnark_params_byte6" "_1_librustzcash_init_zksnark_params"
  

external _2_librustzcash_nsk_to_nk : bytes CI.ocaml -> bytes CI.ocaml -> unit
  = "_2_librustzcash_nsk_to_nk" 

external _3_librustzcash_ask_to_ak : bytes CI.ocaml -> bytes CI.ocaml -> unit
  = "_3_librustzcash_ask_to_ak" 

external _4_librustzcash_crh_ivk
  : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> unit
  = "_4_librustzcash_crh_ivk" 

external _5_librustzcash_check_diversifier : bytes CI.ocaml -> bool
  = "_5_librustzcash_check_diversifier" 

external _6_librustzcash_ivk_to_pkd
  : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
  = "_6_librustzcash_ivk_to_pkd" 

external _7_librustzcash_sapling_generate_r : bytes CI.ocaml -> unit
  = "_7_librustzcash_sapling_generate_r" 

external _8_librustzcash_sapling_compute_nf
  : bytes CI.ocaml -> bytes CI.ocaml -> Unsigned.uint64 -> bytes CI.ocaml ->
    bytes CI.ocaml -> bytes CI.ocaml -> Unsigned.uint64 -> bytes CI.ocaml ->
    bool
  =
  "_8_librustzcash_sapling_compute_nf_byte8" "_8_librustzcash_sapling_compute_nf"
  

external _9_librustzcash_sapling_compute_cmu
  : bool -> bytes CI.ocaml -> bytes CI.ocaml -> Unsigned.uint64 ->
    bytes CI.ocaml -> bytes CI.ocaml -> bool
  =
  "_9_librustzcash_sapling_compute_cmu_byte6" "_9_librustzcash_sapling_compute_cmu"
  

external _10_librustzcash_sapling_ka_agree
  : bool -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
  = "_10_librustzcash_sapling_ka_agree" 

external _11_librustzcash_sapling_ka_derivepublic
  : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bool
  = "_11_librustzcash_sapling_ka_derivepublic" 

external _12_librustzcash_sapling_spend_sig
  : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml ->
    bool = "_12_librustzcash_sapling_spend_sig" 

external _13_librustzcash_merkle_hash
  : Unsigned.size_t -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml ->
    unit = "_13_librustzcash_merkle_hash" 

external _14_librustzcash_to_scalar
  : bytes CI.ocaml -> bytes CI.ocaml -> unit = "_14_librustzcash_to_scalar" 

external _15_librustzcash_zip32_sapling_xsk_master
  : bytes CI.ocaml -> Unsigned.size_t -> bytes CI.ocaml -> unit
  = "_15_librustzcash_zip32_sapling_xsk_master" 

external _16_librustzcash_zip32_find_sapling_address
  : bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml ->
    bytes CI.ocaml -> bool = "_16_librustzcash_zip32_find_sapling_address" 

external _17_librustzcash_zip32_sapling_xsk_derive
  : bytes CI.ocaml -> Unsigned.uint32 -> bytes CI.ocaml -> unit
  = "_17_librustzcash_zip32_sapling_xsk_derive" 

external _18_librustzcash_zip32_sapling_xfvk_derive
  : bytes CI.ocaml -> Unsigned.uint32 -> bytes CI.ocaml -> bool
  = "_18_librustzcash_zip32_sapling_xfvk_derive" 

external _19_librustzcash_sapling_proving_ctx_init : unit -> CI.voidp
  = "_19_librustzcash_sapling_proving_ctx_init" 

external _20_librustzcash_sapling_proving_ctx_free : _ CI.fatptr -> unit
  = "_20_librustzcash_sapling_proving_ctx_free" 

external _21_librustzcash_sapling_spend_proof
  : _ CI.fatptr -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml ->
    bytes CI.ocaml -> bytes CI.ocaml -> Unsigned.uint64 -> bytes CI.ocaml ->
    bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml ->
    bool
  =
  "_21_librustzcash_sapling_spend_proof_byte12" "_21_librustzcash_sapling_spend_proof"
  

external _22_librustzcash_sapling_binding_sig
  : _ CI.fatptr -> int64 -> bytes CI.ocaml -> bytes CI.ocaml -> bool
  = "_22_librustzcash_sapling_binding_sig" 

external _23_librustzcash_sapling_output_proof
  : _ CI.fatptr -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml ->
    Unsigned.uint64 -> bytes CI.ocaml -> bytes CI.ocaml -> bool
  =
  "_23_librustzcash_sapling_output_proof_byte7" "_23_librustzcash_sapling_output_proof"
  

external _24_librustzcash_sapling_verification_ctx_init : bool -> CI.voidp
  = "_24_librustzcash_sapling_verification_ctx_init" 

external _25_librustzcash_sapling_verification_ctx_free : _ CI.fatptr -> unit
  = "_25_librustzcash_sapling_verification_ctx_free" 

external _26_librustzcash_sapling_check_spend
  : _ CI.fatptr -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml ->
    bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml ->
    bool
  =
  "_26_librustzcash_sapling_check_spend_byte8" "_26_librustzcash_sapling_check_spend"
  

external _27_librustzcash_sapling_check_output
  : _ CI.fatptr -> bytes CI.ocaml -> bytes CI.ocaml -> bytes CI.ocaml ->
    bytes CI.ocaml -> bool = "_27_librustzcash_sapling_check_output" 

external _28_librustzcash_sapling_final_check
  : _ CI.fatptr -> int64 -> bytes CI.ocaml -> bytes CI.ocaml -> bool
  = "_28_librustzcash_sapling_final_check" 

type 'a result = 'a
type 'a return = 'a
type 'a fn =
 | Returns  : 'a CI.typ   -> 'a return fn
 | Function : 'a CI.typ * 'b fn  -> ('a -> 'b) fn
let map_result f x = f x
let returning t = Returns t
let (@->) f p = Function (f, p)
let foreign : type a b. string -> (a -> b) fn -> (a -> b) =
  fun name t -> match t, name with
| Function
    (CI.Pointer _,
     Function
       (CI.Primitive CI.Int64_t,
        Function
          (CI.OCaml CI.Bytes,
           Function (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool))))),
  "librustzcash_sapling_final_check" ->
  (fun x1 x3 x4 x5 ->
    let CI.CPointer x2 = x1 in
    _28_librustzcash_sapling_final_check x2 x3 x4 x5)
| Function
    (CI.Pointer _,
     Function
       (CI.OCaml CI.Bytes,
        Function
          (CI.OCaml CI.Bytes,
           Function
             (CI.OCaml CI.Bytes,
              Function (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool)))))),
  "librustzcash_sapling_check_output" ->
  (fun x6 x8 x9 x10 x11 ->
    let CI.CPointer x7 = x6 in
    _27_librustzcash_sapling_check_output x7 x8 x9 x10 x11)
| Function
    (CI.Pointer _,
     Function
       (CI.OCaml CI.Bytes,
        Function
          (CI.OCaml CI.Bytes,
           Function
             (CI.OCaml CI.Bytes,
              Function
                (CI.OCaml CI.Bytes,
                 Function
                   (CI.OCaml CI.Bytes,
                    Function
                      (CI.OCaml CI.Bytes,
                       Function
                         (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool))))))))),
  "librustzcash_sapling_check_spend" ->
  (fun x12 x14 x15 x16 x17 x18 x19 x20 ->
    let CI.CPointer x13 = x12 in
    _26_librustzcash_sapling_check_spend x13 x14 x15 x16 x17 x18 x19 x20)
| Function (CI.Pointer _, Returns CI.Void),
  "librustzcash_sapling_verification_ctx_free" ->
  (fun x21 ->
    let CI.CPointer x22 = x21 in
    _25_librustzcash_sapling_verification_ctx_free x22)
| Function (CI.Primitive CI.Bool, Returns (CI.Pointer x24)),
  "librustzcash_sapling_verification_ctx_init" ->
  (fun x23 ->
    CI.make_ptr x24 (_24_librustzcash_sapling_verification_ctx_init x23))
| Function
    (CI.Pointer _,
     Function
       (CI.OCaml CI.Bytes,
        Function
          (CI.OCaml CI.Bytes,
           Function
             (CI.OCaml CI.Bytes,
              Function
                (CI.Primitive CI.Uint64_t,
                 Function
                   (CI.OCaml CI.Bytes,
                    Function
                      (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool)))))))),
  "librustzcash_sapling_output_proof" ->
  (fun x25 x27 x28 x29 x30 x31 x32 ->
    let CI.CPointer x26 = x25 in
    _23_librustzcash_sapling_output_proof x26 x27 x28 x29 x30 x31 x32)
| Function
    (CI.Pointer _,
     Function
       (CI.Primitive CI.Int64_t,
        Function
          (CI.OCaml CI.Bytes,
           Function (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool))))),
  "librustzcash_sapling_binding_sig" ->
  (fun x33 x35 x36 x37 ->
    let CI.CPointer x34 = x33 in
    _22_librustzcash_sapling_binding_sig x34 x35 x36 x37)
| Function
    (CI.Pointer _,
     Function
       (CI.OCaml CI.Bytes,
        Function
          (CI.OCaml CI.Bytes,
           Function
             (CI.OCaml CI.Bytes,
              Function
                (CI.OCaml CI.Bytes,
                 Function
                   (CI.OCaml CI.Bytes,
                    Function
                      (CI.Primitive CI.Uint64_t,
                       Function
                         (CI.OCaml CI.Bytes,
                          Function
                            (CI.OCaml CI.Bytes,
                             Function
                               (CI.OCaml CI.Bytes,
                                Function
                                  (CI.OCaml CI.Bytes,
                                   Function
                                     (CI.OCaml CI.Bytes,
                                      Returns (CI.Primitive CI.Bool))))))))))))),
  "librustzcash_sapling_spend_proof" ->
  (fun x38 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 ->
    let CI.CPointer x39 = x38 in
    _21_librustzcash_sapling_spend_proof x39 x40 x41 x42 x43 x44 x45 x46 x47
    x48 x49 x50)
| Function (CI.Pointer _, Returns CI.Void),
  "librustzcash_sapling_proving_ctx_free" ->
  (fun x51 ->
    let CI.CPointer x52 = x51 in
    _20_librustzcash_sapling_proving_ctx_free x52)
| Function (CI.Void, Returns (CI.Pointer x54)),
  "librustzcash_sapling_proving_ctx_init" ->
  (fun x53 ->
    CI.make_ptr x54 (_19_librustzcash_sapling_proving_ctx_init x53))
| Function
    (CI.OCaml CI.Bytes,
     Function
       (CI.Primitive CI.Uint32_t,
        Function (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool)))),
  "librustzcash_zip32_sapling_xfvk_derive" ->
  _18_librustzcash_zip32_sapling_xfvk_derive
| Function
    (CI.OCaml CI.Bytes,
     Function
       (CI.Primitive CI.Uint32_t,
        Function (CI.OCaml CI.Bytes, Returns CI.Void))),
  "librustzcash_zip32_sapling_xsk_derive" ->
  _17_librustzcash_zip32_sapling_xsk_derive
| Function
    (CI.OCaml CI.Bytes,
     Function
       (CI.OCaml CI.Bytes,
        Function
          (CI.OCaml CI.Bytes,
           Function
             (CI.OCaml CI.Bytes,
              Function (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool)))))),
  "librustzcash_zip32_find_sapling_address" ->
  _16_librustzcash_zip32_find_sapling_address
| Function
    (CI.OCaml CI.Bytes,
     Function
       (CI.Primitive CI.Size_t,
        Function (CI.OCaml CI.Bytes, Returns CI.Void))),
  "librustzcash_zip32_sapling_xsk_master" ->
  _15_librustzcash_zip32_sapling_xsk_master
| Function (CI.OCaml CI.Bytes, Function (CI.OCaml CI.Bytes, Returns CI.Void)),
  "librustzcash_to_scalar" -> _14_librustzcash_to_scalar
| Function
    (CI.Primitive CI.Size_t,
     Function
       (CI.OCaml CI.Bytes,
        Function
          (CI.OCaml CI.Bytes, Function (CI.OCaml CI.Bytes, Returns CI.Void)))),
  "librustzcash_merkle_hash" -> _13_librustzcash_merkle_hash
| Function
    (CI.OCaml CI.Bytes,
     Function
       (CI.OCaml CI.Bytes,
        Function
          (CI.OCaml CI.Bytes,
           Function (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool))))),
  "librustzcash_sapling_spend_sig" -> _12_librustzcash_sapling_spend_sig
| Function
    (CI.OCaml CI.Bytes,
     Function
       (CI.OCaml CI.Bytes,
        Function (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool)))),
  "librustzcash_sapling_ka_derivepublic" ->
  _11_librustzcash_sapling_ka_derivepublic
| Function
    (CI.Primitive CI.Bool,
     Function
       (CI.OCaml CI.Bytes,
        Function
          (CI.OCaml CI.Bytes,
           Function (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool))))),
  "librustzcash_sapling_ka_agree" -> _10_librustzcash_sapling_ka_agree
| Function
    (CI.Primitive CI.Bool,
     Function
       (CI.OCaml CI.Bytes,
        Function
          (CI.OCaml CI.Bytes,
           Function
             (CI.Primitive CI.Uint64_t,
              Function
                (CI.OCaml CI.Bytes,
                 Function (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool))))))),
  "librustzcash_sapling_compute_cmu" -> _9_librustzcash_sapling_compute_cmu
| Function
    (CI.OCaml CI.Bytes,
     Function
       (CI.OCaml CI.Bytes,
        Function
          (CI.Primitive CI.Uint64_t,
           Function
             (CI.OCaml CI.Bytes,
              Function
                (CI.OCaml CI.Bytes,
                 Function
                   (CI.OCaml CI.Bytes,
                    Function
                      (CI.Primitive CI.Uint64_t,
                       Function
                         (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool))))))))),
  "librustzcash_sapling_compute_nf" -> _8_librustzcash_sapling_compute_nf
| Function (CI.OCaml CI.Bytes, Returns CI.Void),
  "librustzcash_sapling_generate_r" -> _7_librustzcash_sapling_generate_r
| Function
    (CI.OCaml CI.Bytes,
     Function
       (CI.OCaml CI.Bytes,
        Function (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool)))),
  "librustzcash_ivk_to_pkd" -> _6_librustzcash_ivk_to_pkd
| Function (CI.OCaml CI.Bytes, Returns (CI.Primitive CI.Bool)),
  "librustzcash_check_diversifier" -> _5_librustzcash_check_diversifier
| Function
    (CI.OCaml CI.Bytes,
     Function
       (CI.OCaml CI.Bytes, Function (CI.OCaml CI.Bytes, Returns CI.Void))),
  "librustzcash_crh_ivk" -> _4_librustzcash_crh_ivk
| Function (CI.OCaml CI.Bytes, Function (CI.OCaml CI.Bytes, Returns CI.Void)),
  "librustzcash_ask_to_ak" -> _3_librustzcash_ask_to_ak
| Function (CI.OCaml CI.Bytes, Function (CI.OCaml CI.Bytes, Returns CI.Void)),
  "librustzcash_nsk_to_nk" -> _2_librustzcash_nsk_to_nk
| Function
    (CI.OCaml CI.Bytes,
     Function
       (CI.Primitive CI.Size_t,
        Function
          (CI.OCaml CI.Bytes,
           Function
             (CI.Primitive CI.Size_t,
              Function
                (CI.Pointer _,
                 Function (CI.Primitive CI.Size_t, Returns CI.Void)))))),
  "librustzcash_init_zksnark_params" ->
  (fun x112 x113 x114 x115 x116 x118 ->
    let CI.CPointer x117 = x116 in
    _1_librustzcash_init_zksnark_params x112 x113 x114 x115 x117 x118)
| _, s ->  Printf.ksprintf failwith "No match for %s" s


let foreign_value : type a. string -> a Ctypes.typ -> a Ctypes.ptr =
  fun name t -> match t, name with
| _, s ->  Printf.ksprintf failwith "No match for %s" s