package tezos-sapling
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module F : Cstubs.FOREIGN

Signature

val codeunit : Unsigned.uint8 Ctypes.typ
val init_zksnark_params : (bytes Ctypes_static.ocaml -> Unsigned.size_t -> string Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> Unsigned.size_t -> string Ctypes_static.ocaml -> Unsigned.uchar Ctypes_static.ptr -> Unsigned.size_t -> string Ctypes_static.ocaml -> unit F.return) F.result
val nsk_to_nk : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val ask_to_ak : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val crh_ivk : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val check_diversifier : (bytes Ctypes_static.ocaml -> bool F.return) F.result
val ivk_to_pkd : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val sapling_generate_r : (bytes Ctypes_static.ocaml -> unit F.return) F.result
val sapling_compute_nf : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val sapling_compute_cm : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val sapling_ka_agree : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val sapling_ka_derivepublic : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val sapling_spend_sig : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val merkle_hash : (Unsigned.size_t -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val to_scalar : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val zip32_xsk_master : (bytes Ctypes_static.ocaml -> Unsigned.size_t -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val zip32_xfvk_address : (bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val zip32_xsk_derive : (bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> unit F.return) F.result
val zip32_xfvk_derive : (bytes Ctypes_static.ocaml -> Unsigned.uint32 -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val proving_ctx_init : (unit -> unit Ctypes_static.ptr F.return) F.result
val proving_ctx_free : (unit Ctypes_static.ptr -> unit F.return) F.result
val sapling_spend_proof : (unit Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val sapling_binding_sig : (unit Ctypes_static.ptr -> int64 -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val sapling_output_proof : (unit Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> Unsigned.uint64 -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val verification_ctx_init : (unit -> unit Ctypes_static.ptr F.return) F.result
val verification_ctx_free : (unit Ctypes_static.ptr -> unit F.return) F.result
val sapling_check_spend : (unit Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val sapling_check_output : (unit Ctypes_static.ptr -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result
val sapling_final_check : (unit Ctypes_static.ptr -> int64 -> bytes Ctypes_static.ocaml -> bytes Ctypes_static.ocaml -> bool F.return) F.result